Learn TLA+ (2018) - 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 Learn TLA+ (2018). Parent comment

Re:Learn TLA+ (2018) by hwayne on Sunday February 23, 2020 @01:04PM (#22398387)

I'm excited to see this!

[ Parent | on HN ]

There are no comments on this comment yet.

Ask HN

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?
If LLM reverse engineering is deemed illegal, is that precedent for OSS?

Show HN

Neural Network Formal Verification
No more code reviews. Fuzz instead
Shutdown Watch – App shutdowns, export deadlines, and alternatives
Cake Farm. Cozy multiplayer communal farm. Grow berries to bake cakes
Gitbet – A free sourcetree style Git client for Linux
CloudShare app for iOS, simple way to share to your own S3 bucket

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.