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 vram22 on Sunday April 02, 2017 @09:53AM (#14017166)

It was, thanks.

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

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++?
Would you retry this timed-out job?

Show HN

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
Write GitHub Actions in any language: Loopt
Face analysis tools with on-device photo processing
Every satellite that passed over any place this week, and its photos

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.