niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

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 7d | Dec 19, 2024, 10:10:09 PM


Login to add comment

Other posts in this group

Subprocess: Don't close all file descriptors by default (close_fds=False)
Subprocess: Don't close all file descriptors by default (close_fds=False)

Article URL: https://bugs.python.org/issue42738

Comments URL: https://news.ycombinat

Dec 26, 2024, 6:40:15 PM | Hacker news
Startups Begin Geoengineering the Sea
Startups Begin Geoengineering the Sea

Article URL: https://spectrum.ieee.org/ocean-carbon-removal

Comments URL:

Dec 26, 2024, 6:40:11 PM | Hacker news
I've made a Monte-Carlo raytracer for glTF scenes in WebGPU
I've made a Monte-Carlo raytracer for glTF scenes in WebGPU

Article URL: https://github.com/lisyarus/webgpu-raytracer

Comments URL: ht

Dec 26, 2024, 6:40:10 PM | Hacker news
Ocular AI (YC W24) Is Hiring
Ocular AI (YC W24) Is Hiring

Article URL: https://www.ycombinator.com/companies/ocular-ai/jobs/BFBHWQd

Dec 26, 2024, 6:40:08 PM | Hacker news
Gondwanaland: The search for a land before (human) time
Gondwanaland: The search for a land before (human) time

Article URL: https://www.australiangeographic.com.au/topics/history-culture/2024/09/gondwanaland/

Dec 26, 2024, 6:40:06 PM | Hacker news
Unorm and SNORM to float, hardware edition
Unorm and SNORM to float, hardware edition

Article URL: https://fgiesen.wordpress.com/2024/12/24/unorm-and-snorm-to-float-hardware-edition/

Dec 26, 2024, 4:20:09 PM | Hacker news
Thruster – HTTP/2 proxy for Rails apps with built-in Let's Encrypt and caching
Thruster – HTTP/2 proxy for Rails apps with built-in Let's Encrypt and caching

Article URL: https://github.com/basecamp/thruster

Comments URL: https://news.ycomb

Dec 26, 2024, 4:20:08 PM | Hacker news
Techie
Techie