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

Re:Try Idris by bjz_ on Tuesday April 15, 2014 @12:23PM (#7592719)

Ah neat. Does it have regions?

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

How you guys setup multi-models agentic workflow
Are AI-written reviews a safety risk? Evidence from ICLR2027 scores
Banned for Reddit Inauthentic Ads?
How did you do your Clickwrap agreement?
What have the past 12 months taught you?
Can anyone run frontier AI models at usable speeds?

Show HN

We tested our prompt injection filter in public
S3mail – Serverless personal email on AWS with JMAP
Promptcheckup – pass/fail check for prompt changes, with 95% intervals
Did prediction markets do any predicting this midterms?
Backwords – Let AI teach you how to speak in reverse
Roomzine – turn a photo of your room into a redesign magazine

Jobs

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
Ashby (YC W19) Is Hiring EMs

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