Hazel: A live functional programming environment with typed holes

73•azhenley•6mo ago

Comments

Awtem•6mo ago

i love it. That being said, please show some examples and screenshots on the homepage and github's Readme.

disconcision•6mo 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•6mo ago

Ok, but those are excellent screenshots-- better than most projects' official screenshot lists!

malcolmgreaves•6mo ago

Unfortunately no one can see these unless they log in to Twitter :(

disconcision•6mo ago

this might work https://nitter.space/disconcision/search?q=from%3Adisconcisi...

bitbasher•6mo ago

Hazel is also the name of Cherno's game engine.[1]

1: https://hazelengine.com/

eterps•6mo ago

It would be incredibly interesting to see how LLM code generation would hook into this.

gregtc•6mo ago

This is a paper about Chat LLMs in Hazel: https://arxiv.org/abs/2409.00921

disconcision•6mo 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

dub_gui•6mo ago

The live demo is super cool! https://hazel.org/build/dev/

pjmlp•6mo ago

Yes, especially the interactivity that it offers, while clicking around the code.

dang•6mo 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)

burnt-resistor•6mo ago

Missed opportunity to call it "Donut". ;o)

andsoitis•6mo ago

> typed-hole-driven development.

every hole has a type

drive the type, drive the hole

the bigger the hole, the bigger the type

Asraelite•6mo ago

I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript?

7h3kk1d•6mo ago

Never in TypeScript is the equivalent of "bottom" where a value can never appear. The type holes in hazel are for incomplete types (during development) and work more like the any type in typescript where they are consistent with every value.

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

The Waymo World Model

How we made geo joins 400× faster with H3 indexes

A century of hair samples proves leaded gas ban worked

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Dark Alley Mathematics

Show HN: I spent 4 years building a UI design tool with only the features I use

Microsoft open-sources LiteBox, a security-focused library OS

Show HN: If you lose your memory, how to regain access to your computer?

Sheldon Brown's Bicycle Technical Info

Hackers (1995) Animated Experience

Show HN: ARM64 Android Dev Kit

PC Floppy Copy Protection: Vault Prolok

An Update on Heroku

Female Asian Elephant Calf Born at the Smithsonian National Zoo

Delimited Continuations vs. Lwt for Threads

Show HN: R3forth, a ColorForth-inspired language with a tiny VM

How to effectively write quality code with AI

Introducing the Developer Knowledge API and MCP Server

I spent 5 years in DevOps – Solutions engineering gave me what I was missing

Learning from context is harder than we thought

Understanding Neural Network, Visually

I now assume that all ads on Apple news are scams

FORTH? Really!?

I'm going to cure my girlfriend's brain tumor

Evaluating and mitigating the growing risk of LLM-discovered 0-days

WebView performance significantly slower than PWA

How virtual textures work

Show HN: Smooth CLI – Token-efficient browser for AI agents

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

The Waymo World Model

How we made geo joins 400× faster with H3 indexes

A century of hair samples proves leaded gas ban worked

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Dark Alley Mathematics

Show HN: I spent 4 years building a UI design tool with only the features I use

Microsoft open-sources LiteBox, a security-focused library OS

Show HN: If you lose your memory, how to regain access to your computer?

Sheldon Brown's Bicycle Technical Info

Hackers (1995) Animated Experience

Show HN: ARM64 Android Dev Kit

PC Floppy Copy Protection: Vault Prolok

An Update on Heroku

Female Asian Elephant Calf Born at the Smithsonian National Zoo

Delimited Continuations vs. Lwt for Threads

Show HN: R3forth, a ColorForth-inspired language with a tiny VM

How to effectively write quality code with AI

Introducing the Developer Knowledge API and MCP Server

I spent 5 years in DevOps – Solutions engineering gave me what I was missing

Learning from context is harder than we thought

Understanding Neural Network, Visually

I now assume that all ads on Apple news are scams

FORTH? Really!?

I'm going to cure my girlfriend's brain tumor

Evaluating and mitigating the growing risk of LLM-discovered 0-days

WebView performance significantly slower than PWA

How virtual textures work

Show HN: Smooth CLI – Token-efficient browser for AI agents

Hazel: A live functional programming environment with typed holes

Comments