Hazel: A live functional programming environment with typed holes github.com 69 points by azhenley a day ago
dang a day ago Related. Others?Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=42004133 - Oct 2024 (86 comments)Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=24299852 - Aug 2020 (14 comments)
Awtem a day ago i love it. That being said, please show some examples and screenshots on the homepage and github's Readme. disconcision a day ago unfortunately the best source for examples and screenshots at the moment might be a search of my twitter feed: https://x.com/search?q=from%3Adisconcision%20hazel ... we need to update the website toomim a day ago Ok, but those are excellent screenshots-- better than most projects' official screenshot lists! malcolmgreaves 13 hours ago Unfortunately no one can see these unless they log in to Twitter :( disconcision 12 hours ago this might work https://nitter.space/disconcision/search?q=from%3Adisconcisi...
disconcision a day ago unfortunately the best source for examples and screenshots at the moment might be a search of my twitter feed: https://x.com/search?q=from%3Adisconcision%20hazel ... we need to update the website toomim a day ago Ok, but those are excellent screenshots-- better than most projects' official screenshot lists! malcolmgreaves 13 hours ago Unfortunately no one can see these unless they log in to Twitter :( disconcision 12 hours ago this might work https://nitter.space/disconcision/search?q=from%3Adisconcisi...
toomim a day ago Ok, but those are excellent screenshots-- better than most projects' official screenshot lists!
malcolmgreaves 13 hours ago Unfortunately no one can see these unless they log in to Twitter :( disconcision 12 hours ago this might work https://nitter.space/disconcision/search?q=from%3Adisconcisi...
disconcision 12 hours ago this might work https://nitter.space/disconcision/search?q=from%3Adisconcisi...
andsoitis a day ago > typed-hole-driven development.every hole has a typedrive the type, drive the holethe bigger the hole, the bigger the type
Asraelite a day ago I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript?
eterps a day ago It would be incredibly interesting to see how LLM code generation would hook into this. gregtc a day ago This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921 disconcision a day ago llm hole filling ala the paper is actually live in the dev version right now (if you enter an openrouter API key in the second sidebar tab). it's slow and buggy at the moment though, it's only been running at all for the last few days
gregtc a day ago This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921 disconcision a day ago llm hole filling ala the paper is actually live in the dev version right now (if you enter an openrouter API key in the second sidebar tab). it's slow and buggy at the moment though, it's only been running at all for the last few days
disconcision a day ago llm hole filling ala the paper is actually live in the dev version right now (if you enter an openrouter API key in the second sidebar tab). it's slow and buggy at the moment though, it's only been running at all for the last few days
Related. Others?
Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=42004133 - Oct 2024 (86 comments)
Hazel: A live functional programming environment featuring typed holes - https://news.ycombinator.com/item?id=24299852 - Aug 2020 (14 comments)
Hazel is also the name of Cherno's game engine.[1]
1: https://hazelengine.com/
Missed opportunity to call it "Donut". ;o)
i love it. That being said, please show some examples and screenshots on the homepage and github's Readme.
unfortunately the best source for examples and screenshots at the moment might be a search of my twitter feed: https://x.com/search?q=from%3Adisconcision%20hazel ... we need to update the website
Ok, but those are excellent screenshots-- better than most projects' official screenshot lists!
Unfortunately no one can see these unless they log in to Twitter :(
this might work https://nitter.space/disconcision/search?q=from%3Adisconcisi...
The live demo is super cool! https://hazel.org/build/dev/
> typed-hole-driven development.
every hole has a type
drive the type, drive the hole
the bigger the hole, the bigger the type
I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript?
It would be incredibly interesting to see how LLM code generation would hook into this.
This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921
llm hole filling ala the paper is actually live in the dev version right now (if you enter an openrouter API key in the second sidebar tab). it's slow and buggy at the moment though, it's only been running at all for the last few days