Semantic-source Alternatives

semantic-source reviews and mentions

• Nuanced: As AI writes more code, we need better tools to trust it
  1 project | news.ycombinator.com | 8 Jan 2025

  At Nuanced, we're building tools that make AI-generated code more reliable.

  As AI writes more code, we need better tools to trust it and technologies that ensure our human understanding keeps pace with this rapid development.

  While everyone else races to ship new features with AI, we're focused on addressing gaps in AI coding tools and ensuring those features are reliable and maintainable rather than code that works today but becomes a liability tomorrow.

  We're starting with an AI-powered Python language server that makes AI-generated code more reliable by understanding your entire system—using a deeper semantic understanding of code than LLMs have today, but also artifacts outside of code such as commit histories, configs, and team patterns.

  We're a team of ex-GitHub engineers and researchers who've scaled some of the world's largest developer platforms. I'm Ayman (https://www.aymannadeem.com/about/), and before founding Nuanced, I spent seven years at GitHub where I helped build Semantic(https://github.com/github/semantic), an open-source library for parsing and analyzing code across languages—and scaled security systems to detect anomalous code patterns across millions of repositories. Our team’s deep experience in static analysis and large-scale system design shapes our approach to the AI reliability challenge today.

  We've all been on-call at 2 AM, untangling complex service dependencies, and more recently, we've seen firsthand how AI accelerates development—both the wins and the wounds.

  If you're building an AI coding tool and any of this sounds interesting to you—we should talk!

  Read more at https://nuanced.dev/blog/the-reliability-gap

• The Meaning of Monad in MonadTrans
  2 projects | news.ycombinator.com | 13 Aug 2023

  One production example I know: GitHub code navigation is written in Haskell https://github.com/github/semantic

• Semantic: Parsing, analyzing, and comparing source code across many languages
  1 project | news.ycombinator.com | 28 May 2023
• How to Get Started with Tree-Sitter
  3 projects | news.ycombinator.com | 28 May 2023

  ah, easy. it's because support has not been added into https://github.com/github/semantic which is the tech that powers the GitHub UI. Adding support is pretty easy/mainly glue code [1] that imports the tree sitter API.

  [1] https://github.com/github/semantic/blob/793a876ae45d38a6bd17...

• Scala community now has control over the official Scala grammar for tree-sitter 🎉
  3 projects | /r/scala | 3 Jan 2023
• 2022 State of Haskell Survey
  6 projects | news.ycombinator.com | 3 Nov 2022
• 11 Companies That Use Haskell in Production
  7 projects | dev.to | 4 May 2022

  GitHub used Haskell for implementing Semantic, a command-line tool for parsing, analyzing, and comparing source code.

• What happened with GitHub's semantic project?
  3 projects | /r/haskell | 29 Jan 2022

  As far as engineering effort, you can read this GitHub comment for an overview of where we’d like to take the project in the future. The tl;dr here is that the open sum type view of the world made it very concise to fold over syntax trees (since such a view of data is ultimately unityped, recursion schemes Just Work), but the tradeoff thus associated—namely, that you have to parse a concrete syntax tree into an open-sum view (a complicated and painful-to-read process), that you can never really be sure how a given syntax tree is shaped, and that the types don’t help you nearly as much as they could—proved to be too onerous to deal with. Going forward, we’re generating syntax types from the AST once per target language, and working on an abstraction (probably via this generated code; I made five separate efforts at using Generics for this, and failed every time) that recovers at least some of the convenience of recursion schemes. It turns out that recursion schemes over a mutually recursive syntax tree—as pretty much every language’s syntax trees are, in practice—are pretty much an unsolved problem, especially when extended to languages like TypeScript, which have hundreds of different syntax nodes.

• Stack Graphs
  6 projects | news.ycombinator.com | 9 Dec 2021

  Meanwhile their Tree-Sitter-based semantic parser[1] looks abandoned. There is even rotting for years pull request[2] adding support of the same stack graphs into it.

  [1] https://github.com/github/semantic

  [2] https://github.com/github/semantic/pull/535

• Cardano relying on Haskell is not bad at all
  1 project | /r/cardano | 30 Nov 2021

  The semantic team at GitHub uses it for statically analyzing the dozens of languages that end up in GitHub repositories: https://github.com/github/semantic/blob/eaf13783838861fe5eb6cd46d59354774a8eb88d/docs/why-haskell.md

• A note from our sponsor - CodeRabbit
  coderabbit.ai | 19 Mar 2025

  Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR. Learn more →