Proving Liveness with TLA
Article URL: https://roscidus.com/blog/blog/2026/01/01/tla-liveness/ Comments URL: https://news.ycombinator.com/item?id=46471699 Points: 5 # Comments: 0...
Jan 3Hacker NewsTechnologyImpact
Article URL: https://roscidus.com/blog/blog/2026/01/01/tla-liveness/ Comments URL: https://news.ycombinator.com/item?id=46471699 Points: 5 # Comments: 0...
Article URL: https://jobs.ashbyhq.com/replit Comments URL: https://news.ycombinator.com/item?id=46556822 Points: 0 # Comments: 0...
Article URL: https://jobs.ashbyhq.com/9-mothers Comments URL: https://news.ycombinator.com/item?id=46540078 Points: 0 # Comments: 0...
Doug Field, Ford's chief of EVs, is leading the charging behind the legacy automaker's push to develop self-driving capabilities in-house. Darron Cummings/AP Ford announced plans to deploy eyes-off dr...
Got holiday cash to spend? A wave of standout indie games is bucking rising hardware and AAA prices, giving players plenty to check out for $20 or less....
Article URL: https://paradedb.notion.site/?p=172ea4ce9deb80898ef5d5097bd65544&pm=s Comments URL: https://news.ycombinator.com/item?id=46476636 Points: 0 # Comments: 0...
CES is kicking off in Las Vegas, and this year, it's all about the robots....
Article URL: https://langfuse.com/careers Comments URL: https://news.ycombinator.com/item?id=46410449 Points: 0 # Comments: 0...
Article URL: https://careers.activeloop.ai/?ashby_jid=d8c54147-5fc8-48ba-a097-a6ae046c42bd Comments URL: https://news.ycombinator.com/item?id=46443438 Points: 0 # Comments: 0...
Megan Lewis was astonished to discover that her pen pal from over 30 years ago was her OB/GYN that delivered her two children....
Article URL: https://forms.icepanel.io/careers/senior-product-engineer Comments URL: https://news.ycombinator.com/item?id=46555977 Points: 0 # Comments: 0...
Reports of non-consensual AI-generated sexual images doubled since late 2025, with some involving children, the Commissioner said....
Financial giant JPMorgan will expand its JPM Coin from Base to Canton Network, just days after Canton’s coin set a new peak price....
Article URL: https://www.ycombinator.com/companies/keystone/jobs/J3t9XeM-founding-engineer Comments URL: https://news.ycombinator.com/item?id=46379173 Points: 0 # Comments: 0...
Article URL: https://signoz.io/careers Comments URL: https://news.ycombinator.com/item?id=46445905 Points: 0 # Comments: 0...
Article URL: https://jobs.ashbyhq.com/hive.co/cb0dc490-0e32-4734-8d91-8b56a31ed497 Comments URL: https://news.ycombinator.com/item?id=46433661 Points: 0 # Comments: 0...
Article URL: https://maarthandam.com/2025/12/25/salesforce-regrets-firing-4000-staff-ai/ Comments URL: https://news.ycombinator.com/item?id=46384781 Points: 41 # Comments: 18...
📋 Key Facts ✓ Uplane is part of the YC F25 batch ✓ Hiring focuses on founding engineers ✓ Roles include full-st...
The men behind Cybertruck.cz pose with a Tesla Cybertruck in a medieval square in Prague. Cybertruck.cz Two years after it launched, the Cybertruck has yet to appear on European roads. Attempts to bri...
📋 Key Facts ✓ Two decades ago social media promised to connect people with pals far and wide. ✓ Twenty years online has left people tur...