TLA+ - 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 TLA+. Parent comment

Re:TLA+ by vinay_ys on Monday March 08, 2021 @10:40AM (#26386843)

This is beautiful and satisfying.

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

Is it possible to backtest mathematical/scientific breakthroughs?
What are your advice for a CS/IT student for the future?
Specialized Agents vs. General Agents with Skills
Is anyone using Codex, Gemini or another model over Claude Code?
LLM-Resistant Publishing Strategies
Why wouldn't AI labs reverse-engineer all software/games/app out there?

Show HN

Figma for Investing
Email-like interface to review, decide, and annotate agent work
25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof
Search Everywhere at Once. Instantly
psi, a 6.4 MB cross-platform portable coding agent
Claude Code status line, hooks and permissions builders (in-browser)

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.