Idris 1.0 - 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 Idris 1.0. Parent comment

Re:Idris 1.0 by asattarmd on Saturday April 01, 2017 @08:26AM (#14011792)

Strict by default. You can make it lazy easily.

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Do you have daily voice conversations with AI?
What apps or services do you wish existed (in the AI age)?
How do you evaluate the skills your AI agents use?
Am I the only one that thinks $100/month earns us freedom of work?
How your SEO traffic doing? Up or down?
Do you still enjoy coding in C++?

Show HN

WebGL2 GPU Liquidity Heatmap for Hyperliquid L2 Orderbooks
RicKaptcha
Wimi, a mouse-first window manager for macOS
Rollare – Bracket maker with registration and live scoring
Black Friday for Developers
STE80 Humanizer – de-AI text by writing 80% of the way to ASD-STE100

Jobs

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
Bild AI (YC W25) Is Hiring Founding Product Engineers

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