Gabriel439

6 ms·

1.
by Gabriel439 3mo ago
Author here: those type annotations are optional in the case of TypeScript and PureScript; I only included the type annotations for clarity That said, I didn't know about Go's support for inline struct definitions like that!
2.
Show HN: Tinycloud – Claude Code for video work(tinycloud.cloudglue.dev)
12 points by Gabriel439 5mo ago|2 comments
3.
by Gabriel439 6mo ago
Author here: not only have I heard of LLMs but I built a domain-specific programming language for prompt engineering: https://github.com/Gabriella439/grace
4.
by Gabriel439 6mo ago
Author here: it's not even clear that agents can reliably permute their training data (I'm not saying that it's impossible or never happens but that it's not something we can take for granted as a reliable feature of age
5.
A sufficiently detailed spec is code(haskellforall.com)
12 points by Gabriel439 6mo ago|0 comments
6.
by Gabriel439 7mo ago
The tool now supports local models. In particular, you can pass an alternative base URL for both embeddings and completions so if you can serve a local model over an OpenAI-compatible API (e.g. using LM Studio) then you can point the tool
7.
by Gabriel439 7mo ago
Author here: yeah, this is a good point and something I think about even outside the context of agentic coding. I've also tinkered with this idea myself in the context of prompt engineering with my Grace Browser project ( https:/&
8.
by Gabriel439 7mo ago
Author here: the source code is linked in the post but it can be easy to miss: https://github.com/Gabriella439/facet-navigator It's very rough, but I plan on cleaning it up soon (the cluster labeler still needs a
9.
by Gabriel439 7mo ago
Author here: my pronouns are she/her I did not use AI to generate my blog's content nor layout. Also, the reason my blog is named "Haskell for all" is because I originally created my blog a long time ago to try to make H
10.
by Gabriel439 2y ago
you're welcome!
11.
by Gabriel439 2y ago
The post mentions this in the footnotes
12.
by Gabriel439 2y ago
Oh whoops, I misread. Never mind me, then
13.
by Gabriel439 2y ago
Author here: we didn't lay them off. They left of their own accord.
14.
by Gabriel439 3y ago
Author here. It is true that one of my goals in writing that post was to discourage people from jumping on the NeoHaskell train, but a larger goal was to educate people on what NeoHaskell actually was because there were a LOT of misconcept
15.
by Gabriel439 4y ago
You're welcome!
16.
by Gabriel439 4y ago
That's actually correct versioning in Haskell. The Haskell ecosystem uses a different versioning convention from other ecosystems where the first two components of the version number signal breaking changes. For more details, see: ht
17.
by Gabriel439 4y ago
All of the above to some degree. I can name some specific examples of each of these occurring: * For an example of "Drop B", at one point the haskell-lsp package was deprecated in favor of the lsp package, so all downstream packa
18.
by Gabriel439 5y ago
The order in which you combine overlays can sometimes matter. In other words, overlays are monoids, but not commutative monoids. That said, most of the time overlay order does not matter
19.
by Gabriel439 6y ago
The point of the post wasn't to explain that Church encoding is a replacement for the visitor pattern. The purpose of the post was to explain that the visitor pattern is essentially the same thing as Church encoding (thus the title of
20.
by Gabriel439 6y ago
Thank you for the feedback. I was conscientious of that shadowing issue when writing it, but I just wasn't sure what to change on either side to differentiate them.
21.
by Gabriel439 6y ago
You're right that there is no benefit in creating another abstraction, but the point of the post is sometimes the language doesn't have support for the original abstraction (e.g. sum types), so in some cases the other abstract
22.
by Gabriel439 6y ago
Author here: it's not changing the problem definition. I can confirm that the original motivation for writing the post was to show the theoretical underpinnings of the visitor pattern, not to encourage people to gratuitously use doubl
23.
by Gabriel439 6y ago
Author here: Go does not have support for discriminated unions. The trick is not limited to functional programming languages but it is limited to languages that support generic programming / polymorphism
24.
by Gabriel439 6y ago
Overall language popularity is only one input into how we prioritize programming languages. The best way I can summarize our prioritization process is that we prioritize in descending over: * What people are willing to spend their free time
25.
by Gabriel439 6y ago
Not native JavaScript, but the closest thing we have is PureScript (still in progress): https://github.com/MonoidMusician/dhall-purescript PureScript corresponds pretty closely to JavaScript in terms of the code it gen
26.
by Gabriel439 6y ago
Dhall now has bindings to Rust and Go and Java/Python bindings are currently in progress We also do take things seriously, including: * Creating a language server (do any other configuration languages have this?) * Soliciting donations
27.
by Gabriel439 7y ago
I just added a screenshot to the README
28.
by Gabriel439 7y ago
I just added one. Thanks for the suggestion!
29.
by Gabriel439 7y ago
Author here: commas are necessary to separate list elements in any language where function application uses whitespace (i.e. Haskell-style function application). If you're not familiar with the syntax, an expression like `f x y z` is
30.
by Gabriel439 7y ago
The static binaries for the various interpreters and conversion utilities (i.e. `dhall`/`dhall-to-yaml`/`yaml-to-dhall`) are all roughly 10 MB each The following languages natively bind to Dhall: * Haskell * Clojure * Ruby ... and

More ›