Use Your Type System - Hackdot

Hackdot

News for hackers. Stuff that matters.

Sections

Top
Latest
Ask HN
Show HN
Jobs
Polls
Older Stuff
Search

About

Every story and comment from the Hacker News API, in a layout borrowed from 2001.

A comment on Use Your Type System. Parent comment

Re:Use Your Type System by spookie on Thursday July 24, 2025 @04:51PM (#44675954)

Well, ada is practical

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

What fun things to do with an iPhone 11?
What in the world is taking Ubuntu so long?
How are companies hiring developers nowadays?
How to resist endless app directories listing your product?
Is anyone running multi/always-on agents that don't cost a fortune?
How's your home-cooked software revolution going?

Show HN

R/place for Git – Open-source Git server sustaining 567 pushes/s
DrawDock – Annotate Windows apps from an Android tablet
Current – Change control for AI agents (Elixir)
Agentic Identity Broker, OAuth Delegation for AI Agents
A debug overlay for iPhone Duo apps that shows reserved screen areas
Pico-WAM – smallest world-action-model

Jobs

Mbodi AI (YC P25) Is Hiring Research and Robotic Engineers
Bild AI (YC W25) Is Hiring Founding Product Engineers
Ashby (YC W19) Is Hiring EMs
Sava Trust (YC F25) Is Hiring a Founding Engineer in NYC

Stories and comments come from the Hacker News API and belong to their authors. Not affiliated with Y Combinator or Slashdot.