Phantom Types in Gleam - 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 Phantom Types in Gleam. Parent comment

Re:Phantom Types in Gleam by pd-andy on Saturday February 27, 2021 @01:49PM (#26287087)

Ha yes, very true!

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Can any computer program be secured against advanced intelligence?
Can I still earn money on ANT IPO?
Is anyone using OpenCode at home or Work?
What is holding back robots from being deployed everywhere?
Publish Open Source or Closed
Still Getting [Dead] Posts

Show HN

Armin – Modern Anki alternative with prerrequisite graphs
Lumin – Logs, metrics and uptime checks for one-person SaaS
AppPage – Embeddable community, roadmaps, and support hubs for apps
Flight Itinerary – plan multi-stop flight trips on a map
Cinnamon AI – an agent for your family
Jarvis Live – open-source voice agent that runs on your own computer

Jobs

Tinfoil (YC P25) is hiring an applied AI security engineer in San Francisco
Y/N (YC S23) Is Hiring a Growth Lead to Distribute Superhuman A.I. Storytelling
UpCodes (YC S17) is hiring SDR's to sell AI compliance software
Mbodi AI (YC P25) Is Hiring Research and Robotic Engineers

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