Formal Reasoning [pdf] - 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 Formal Reasoning [pdf]. Parent comment

Re:Formal Reasoning [pdf] by rramadass on Monday October 27, 2025 @12:35AM (#45717438)

That is pretty neat!

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

What in the world is taking Ubuntu so long?
How are companies hiring developers nowadays?
How to resist endless app directories listing your product?
Is anyone running multi/always-on agents that don't cost a fortune?
How's your home-cooked software revolution going?
What's one coding habit that separates great dev from average dev?

Show HN

EasyRunCraft – An office and creative suite for your AI agent
UtmSnap – A fast, local-first UTM builder with team taxonomy governance
Site Tools Box – Free webmaster tools with no login
Mercury 3 cost calculator (launch promo vs. list pricing)
Grid – A Hold'em arena where your AI agent plays your strategy (Beta)
ECX – My Claude Code and Codex setup, where both agents share memory

Jobs

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
Sava Trust (YC F25) Is Hiring a Founding Engineer in NYC

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