hoogle
sourcegraph
Our great sponsors
hoogle | sourcegraph | |
---|---|---|
60 | 69 | |
714 | 9,605 | |
- | 2.1% | |
6.3 | 10.0 | |
about 2 months ago | 4 days ago | |
Haskell | Go | |
GNU General Public License v3.0 or later | 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
-
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/ )
-
Java 20 Is Out
Ideally like this: https://zio.dev/reference/#concurrency
-
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?
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).
-
Haskell is the one of the most hardest code
I'm in the middle on operators. I like being able to define my own, but I understand how it's challenging to figure out what the hieroglyphics mean when you're not familiar with them. https://hoogle.haskell.org/ can be a help here
-
What’s so great about functional programming anyway?
> In something like Haskell I need to know upfront what I may do with some "object". The IDE can't help me discover the methods I need. All it can do is to show me all available functions in scope.
Sorry, but this just isn't true. Hoogle <https://hoogle.haskell.org/> searches function by type, fuzzily: ask for functions whose first parameter is the type of the object-like thing, and you'll get just what you're looking for. And it's perfectly possible to run hoogle locally and integrate it with your editor.
Now, the tooling for a language like Java have had several centuries more of aggregate development work done on them compared to Haskell's tools, and if that polish is a difference-maker for you, that's fine! But it's not a fundamental limitation, and claiming it is is just fud.
-
Type-Signature.com
In my perusals into the Haskell ecosystem, discovering Hoogle[1] was definitely a revelation on the power of a strongly-typed language. Sometimes, you know the _shape_ of the thing you are looking for, but not the name. The ability to search a repository of packages for all functions conforming to a certain type signature (e.g., (a -> Bool) -> [a] -> [a]) is a superpower.
which is quite a bit more readable. You can even search Hoogle for x -> HashMap x y -> y and find it, try it!
https://hoogle.haskell.org/?hoogle=x%20-%3E%20HashMap%20x%20...
-
What Operators Do You WISH Programming Languages Had? [Discussion]
Haskell has hoogle, which searches Hackage for functions matching names, type signatures, etc.
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?
-
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 is no longer Open Source
https://github.com/sourcegraph/sourcegraph/commit/3cd931ef54... has some additional information, but not a lot.
https://github.com/sourcegraph/sourcegraph/issues/53528#issu... appears to be a comment from someone in the project laying out why they've changed.
As a general rule with open source projects it basically depends on whether they had a contributor licence agreement.
Sourcegraph appear to have had one:
https://github.com/sourcegraph/sourcegraph/blob/main/CONTRIB...
So presumably they nailed this down.
Exactly my thoughts. I am using the Homebrew version of Sourcegraph, which I presume to be quite dead [1]. I do this because there was no packaged version of the Sourcegraph OSS. I would happily use the OSS version instead otherwise.
[1]: https://github.com/sourcegraph/sourcegraph/discussions/54589
What are some alternatives?
opengrok - OpenGrok is a fast and usable source code search and cross reference engine, written in Java
tree-sitter - An incremental parsing system for programming tools
Code-Server - VS Code in the browser
castle - A tool to manage shared cabal-install sandboxes.
theia-apps - Theia applications examples - docker images, desktop apps, packagings
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.
Atheos - A self-hosted browser-based cloud IDE, updated from Codiad IDE
ghci-ng
hakyll - A static website compiler library in Haskell
ihaskell - A Haskell kernel for the Jupyter project.
Exercism - Scala Exercises - Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
merlin - Context sensitive completion for OCaml in Vim and Emacs