Untangling Mechanized Proofs - 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 Untangling Mechanized Proofs. Parent comment

Re:Untangling Mechanized Proofs by carapace on Sunday November 22, 2020 @02:29PM (#25180260)

Thanks!

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Why didn't The Bible warn/tell us about AI?
How do you share an open-source project without being treated as spam?
Would OpenCode become more powerful if 90% of it were written in Rust?
Why doesn't Ramp AI Index include OpenRouter or other aggregators?
Do you believe RSI is possible?
How do you care about a project that is predominately generated by AI?

Show HN

A small site so I stop missing AI conference deadlines
Reinwatch – a Claude Code mod that stops runaway subagents
Pots – Open-source Grok Bot alternative, used by 6 startups for a month
Ember.js, Re-Born in Rust
small WireGuard mesh VPN with no coordination server
A browser photo booth that makes print-size photo strips

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.