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.

radarkilat

radarkilat on Hacker News

Re:Can LLMs model real-world systems in TLA+? on Saturday May 09, 2026 @08:08PM (#48079613)

hmm

Ask HN

Best local LLM options under 2500 USD?
How do you find joy in your SWE work nowadays?
Will cheap high-quality AI end this December?
Design My YouTube Feed
What happens when "everyone" codes?
What router do you use at home?

Show HN

A framework for Raspberry Pi pico projects
Twitter but you can only use paint
Recto: A desktop app where you can design with AI, edit with your mouse
Confetti – Start designing hardware with plain English prompts
Graftfork: rebase fork patches onto each upstream release, test-gated
An MCP proxy that sends 97% fewer tool-definition tokens per request

Jobs

Ashby (YC W19) Is Hiring EMs
Sava Trust (YC F25) Is Hiring a Founding Engineer in NYC
Bitmovin (YC S15) Is Hiring Technical Graduates in Denver (Engineering/CS Focus)
Wasmer (YC S19) Is Hiring OS/Hypervisor Experts in Europe

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