hoogle
sourcegraph
Our great sponsors
hoogle | sourcegraph | |
---|---|---|
60 | 69 | |
720 | 9,726 | |
- | 2.3% | |
6.3 | 10.0 | |
3 months ago | 1 day ago | |
Haskell | Go | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hoogle
- The Hunt for the Missing Data Type
- SQL Join Flavors
-
What Is Dimensional Analysis?
Dimensions behave somewhat like a "type system" for math. These dimensional-analysis tricks act like the trick you see in Haskell sometimes, where you can easily guess an implementation of an expression once you know it's type (or e.g. search by type signature https://hoogle.haskell.org/ )
-
Do you miss dot-completion when coding in Haskell?
Haskell Spotlight makes vscode a client for hoogle. It isn't too different than jumping into your browser and type https://hoogle.haskell.org/. The main advantage is that you have everything in one place
-
dear ZVON.org owner, please take your haskell references down
https://hackage.haskell.org/package/base and https://hoogle.haskell.org are automatically up to date and better searchable than almost any other reference of any other programming language. maintaining a redundant reference that needs to be kept up to date manually is simply stupid.
-
Java 20 Is Out
Ideally like this: https://zio.dev/reference/#concurrency
Or this: https://hoogle.haskell.org/?hoogle=fork
-
Noob Question about Symbols after Class propertys.
And yeah I get it, it's hard to Google for punctuation operators in languages because it doesn't give useful search results (but not impossible, for example, Haskell has a search engine for documentation that handles symbols/punctuation).
- uh, got it. thanks Bing
-
Haskell IDE setup
{ "customLocalFormatters.formatters": [ { "command": "make format", "languages": ["haskell"] } ], "emeraldwalk.runonsave": { "commands": [ { "match": "*.hs", "isAsync": true, "cmd": "make retag retag_file=${file}" } ] }, "ghcid.command": "make ghcid", "goto-documentation.customDocs": { "hs": "https://hoogle.haskell.org/?hoogle=${query}" } }
-
Idris: A Language for Type-Driven Development
You had a look at Hoogle?
https://hoogle.haskell.org/
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).
sourcegraph
-
Ask HN: Who is hiring? (March 2024)
Sourcegraph | REMOTE | Full-Time | Machine Learning Engineer, Developer Advocate, Enterprise Product Manager, Technical Advisor | https://sourcegraph.com
Sourcegraph is a code AI platform that makes it easy to read, write, and fix code–even in big, complex codebases.
We are building Cody, an AI coding assistant that uses code search and code intelligence to help devs quickly understand what's happening in code and generate new code that matches the best practices in your codebase. Cody supports AI-enabled autocompletion, fixing bugs, refactoring, test generation, code explanation, and answering high-level questions. You can read Steve Yegge's post on why Cody's code context engine differentiates it from the fast-moving field of AI dev tools: https://about.sourcegraph.com/blog/cheating-is-all-you-need.
Apply here: https://grnh.se/0572f98b4us
-
Architecture.md (2021)
That's pretty much what https://sourcegraph.com/ are selling, is it not?
-
Tell HN: GitHub is blocking search unless you are logged in
Despite their shitty rug-pull <https://github.com/sourcegraph/sourcegraph/pull/53345>, I do really like Sourcegraph and one doesn't (currently?!) need to be logged in to use it: https://sourcegraph.com/search and they have a handy rewrite pattern such that one can just plug the repo path into the URL for quick searching e.g. https://sourcegraph.com/github.com/JetBrains/intellij-commun...
-
My 2024 AI Predictions
- https://sourcegraph.com is pivoting and building a copilot application (named Cody). This is pretty good, since sourcegraph is great at understanding your code
-
The Curse of Docker
While a readable Dockerfile can work as documentation, there are a few caveats:
* the application needs to be designed to work outside containers (so, no hardcoded URLs, ports, or paths). Also, not directly related to containers, but it's nice if it can be easily compiled in most environments and not just on the base image.
* I still need a way to notify me of updates; if the Dockerfile just wgets a binary, this doesn't help me.
* The Dockerfiles need to be easy to find. Sourcegraph's don't seem to be referenced from the documentation, I had to look through their Github repos to find https://github.com/sourcegraph/sourcegraph/tree/main/docker-... (though most are bazel scripts instead of Dockerfiles, but serve the same purpose)
-
Building Reddit’s Design System on iOS
We use Sourcegraph, which is a tool that searches through code in repositories. We leverage this tool in order to understand the adoption curve of our components across all of Reddit. We have a dashboard for each of the platforms to compare the inclusion of RPL components over legacy components. These insights are helpful for us to make informed decisions on how we continue to drive RPL adoption. We love seeing the green line go up and the red line go down!
-
Launch HN: GitStart (YC S19) – Remote junior devs working on production PRs
SourceGraph: https://github.com/sourcegraph/sourcegraph/pulls?q=is%3Apr+a...
- Sourcegraph is no longer Open Source
What are some alternatives?
castle - A tool to manage shared cabal-install sandboxes.
opengrok - OpenGrok is a fast and usable source code search and cross reference engine, written in Java
ghci-ng
tree-sitter - An incremental parsing system for programming tools
ihaskell - A Haskell kernel for the Jupyter project.
Code-Server - VS Code in the browser
hakyll - A static website compiler library in Haskell
theia-apps - Theia applications examples - docker images, desktop apps, packagings
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
Vue Storefront - Alokai is a Frontend as a Service solution that simplifies composable commerce. It connects all the technologies needed to build and deploy fast & scalable ecommerce frontends. It guides merchants to deliver exceptional customer experiences quickly and easily.
elm-make
Atheos - A self-hosted browser-based cloud IDE, updated from Codiad IDE