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

Re:Practical TLA+ by bmays on Saturday October 20, 2018 @09:33PM (#18266356)

You're welcome, godspeed.

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

If you use Notion or Obsidian, what features should be added?
What tech companies do you think have a good moral compass?
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?

Show HN

Give your agent a Mac it can control
First iOS personal agent that executes on device
Fermi Poker, a combination of poker betting mechanics with estimation
Retex, a Faster LaTeX Engine
One-script installer for TRELLIS.2 on Nvidia Blackwell under WSL2
I taught my Fujifilm X-T30 II to print on an instax Link 3 over BLE

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.