How types make hard problems easy

Article URL: https://mayhul.com/posts/type-driven-design/

Comments URL: https://news.ycombinator.com/item?id=42464966

Points: 19

# Comments: 9

https://mayhul.com/posts/type-driven-design/

Created 6mo | Dec 19, 2024, 10:10:09 PM

Login to add comment

Other posts in this group

Basic Facts about GPUs

Basic Facts about GPUs

Article URL: https://damek.github.io/random/basic-facts-about-gpus/

Comments URL:

Jun 24, 2025, 3:30:18 PM | Hacker news

Fedora Linux devs discuss dropping 32-bit packages – bad news for Steam gamers

Fedora Linux devs discuss dropping 32-bit packages – bad news for Steam gamers

Article URL: https://www.gamingonlinux.com/2025/06/fedora-

Jun 24, 2025, 3:30:16 PM | Hacker news

Finding a 27-year-old easter egg in the Power Mac G3 ROM

Finding a 27-year-old easter egg in the Power Mac G3 ROM

Article URL: https://www.downtowndougbrown.com/2025/06/finding-a-27-year-old-easter-eg

Jun 24, 2025, 3:30:14 PM | Hacker news

Show HN: Oasis – an open-source, 3D-printed smart terrarium

Show HN: Oasis – an open-source, 3D-printed smart terrarium

See the website for a demo video: https://oasis-terrarium.com

This project is an enclosure for growing plants. Features include:

Jun 24, 2025, 3:30:13 PM | Hacker news

Gemini Robotics On-Device brings AI to local robotic devices

Gemini Robotics On-Device brings AI to local robotic devices

Article URL: https://deepmind.google/discover/blog/gemini-robotics-on-device-brings-ai

Jun 24, 2025, 3:30:12 PM | Hacker news

The Bitter Lesson is coming for Tokenization

The Bitter Lesson is coming for Tokenization

Article URL: https://lucalp.dev/bitter-lesson-tokenization-and-blt/

Comments URL:

Jun 24, 2025, 3:30:10 PM | Hacker news

PlasticList – Plastic Levels in Foods

PlasticList – Plastic Levels in Foods

Article URL: https://www.plasticlist.org/

Comments URL: https://news.ycombinator.com/item?

Jun 24, 2025, 3:30:09 PM | Hacker news

Techie