Modular verification of MongoDB Transactions using TLA+ (muratbuffalo.blogspot.com)

1 points by todsacerdoti 33s ago 0 comments

House of Lords pushes back against government's AI plans (theguardian.com)

1 points by chrisjj 1m ago 0 comments

AI in Baseball Training (techxplore.com)

1 points by MarcoDewey 10m ago 0 comments

A programming language made for me (zylinski.se)

1 points by MaximilianEmel 12m ago 0 comments

The Leaderboard Illusion (cohere.com)

2 points by yenniejun111 19m ago 0 comments

Universe Set to Decay 10^22 Times Sooner Than Previously Estimated (scienceblog.com)

2 points by vo2maxer 19m ago 0 comments

Google just changed its 'G' logo (theverge.com)

2 points by wmstack 19m ago 0 comments

Unending ransomware attacks are a symptom, not the sickness (theregister.com)

2 points by chrisjj 21m ago 0 comments

The Design of Everyday Things (1987) [video] (archive.org)

2 points by alasr 23m ago 0 comments

The AI Con – Emily M Bender and Alex Hanna (businessinsider.com)

2 points by rendang 25m ago 1 comments

When Cost of Misclassification Is Higher for the Customer Than for the Business (gojiberries.io)

2 points by goji_berries 29m ago 1 comments

Google's Jeff Dean on the Coming Era of Virtual Engineers [video] (youtube.com)

1 points by xnx 30m ago 0 comments

Apple's Widget Backdoor [video] (youtube.com)

1 points by patrikcsak 31m ago 0 comments

Ticketmaster will show the full price of your ticket up front to comply with law (theverge.com)

3 points by coloneltcb 32m ago 1 comments

Farmers Sued over Deleted Climate Data. So the Government Will Put It Back (nytimes.com)

8 points by xnx 34m ago 0 comments

UK Online Safety Act: Ofcom pressured to enforce censorship and surveillance (reclaimthenet.org)

1 points by like_any_other 36m ago 0 comments

Trump executive order demands pharma industry price cuts (reuters.com)

6 points by tlogan 37m ago 1 comments

Netflix Is Built on Java (youtube.com)

2 points by birdculture 40m ago 0 comments

Ask HN: I burnt out, quit my job – any advice on moving to freelance/consulting?

2 points by gardennoise 48m ago 1 comments

Tesla to build EV assembly plant in India (inc42.com)

2 points by alephnerd 48m ago 0 comments

Sketch user credentials leaked in logs (communications.sketch.com)

2 points by ksajadi 50m ago 0 comments

Is it Euro-poor, or Ameri-poor? (walkingtheworld.substack.com)

2 points by decimalenough 50m ago 0 comments

Project Reality: Making the Nintendo 64 (1996) (steveshepard.com)

3 points by wicket 51m ago 0 comments

Google: Helping startups build what's next with the AI Futures Fund (blog.google)

1 points by ZeroCool2u 55m ago 0 comments

On-device jpg to WebP to PNG etc. (apps.apple.com)

1 points by wayviator 57m ago 1 comments

Devlog: A Better Collision Detection (fomenko.fr)

1 points by kooparse 57m ago 0 comments

How to Build a Legal Document Chat with Ducky.ai (ducky.ai)

1 points by handfuloflight 1h ago 1 comments

Understanding LucasArts' iMUSE System (github.com)

14 points by todsacerdoti 1h ago 0 comments

Slack Is Down (slack-status.com)

5 points by wgjordan 1h ago 2 comments

Army cuts athletic trainers from fitness teams, with medics to take up Slack (taskandpurpose.com)

3 points by PaulHoule 1h ago 0 comments

Observation.org biodiversity project free animal/plant image recognition apps (observation.org)

1 points by retro_guy 1h ago 1 comments

Show HN: Open-source AI code review agent that's aware of your entire codebase (docs.sourcebot.dev)

4 points by msukkarieh 1h ago 0 comments

Show HN: I built ThumblifyAI to generate scroll-stopping YT thumbnails with AI (thumblifyai.com)

1 points by alizaid 1h ago 0 comments

Long Before Intel, Ronler Acres and the Land Had a Rich History (hillsboroherald.com)

1 points by osnium123 1h ago 1 comments

My little script turned into a Profitable SaaS

3 points by MoJony 1h ago 0 comments

Chimpanzee groups drum with distinct rhythms (sciencedaily.com)

2 points by docmechanic 1h ago 1 comments

Ask HN: Is Slack Down?

49 points by abatilo 1h ago 24 comments

Ex-FBI agent: Musk was the target of Russian agents (zdf.de)

5 points by doener 1h ago 0 comments

What Is Work? (blog.curtisduggan.com)

1 points by wayviator 1h ago 0 comments

Should you backup your S3 buckets or trust they will never fail? (twitter.com)

1 points by nomilk 1h ago 0 comments

US popularity collapses worldwide in wake of Trump's return (politico.eu)

7 points by doener 1h ago 0 comments

The Orange Pi RV2 RISC-V SBC (taoofmac.com)

2 points by rcarmo 1h ago 0 comments

Wtfis: Passive hostname, domain and IP lookup tool for non-robots (github.com)

10 points by todsacerdoti 1h ago 0 comments

Indiscriminate killers? – The reality of cluster munitions (militaryrealism.blog)

2 points by baud147258 1h ago 0 comments

States Chase OpenAI's $100B AI American Dream (washingtonpost.com)

1 points by bookofjoe 1h ago 1 comments

Ask HN: Not sure about the future of tech

4 points by xblpob 1h ago 1 comments

Three things we learned about Sam Altman by scoping his kitchen (ft.com)

3 points by colinprince 1h ago 0 comments

Taleb: IQ is largely a pseudoscientific swindle (Argument Closed) (medium.com)

5 points by david927 1h ago 1 comments

Show HN: Joyloop.ai Custom Animated Musical GIF Cards for Any Occasion (joyloop.ai)

1 points by refrosh 1h ago 0 comments

You can now export your deep research reports as well-formatted PDFs (twitter.com)

6 points by mfiguiere 1h ago 1 comments

LLM-Powered Programming: LLM and Language Comparison Matrix

1 Terretta 0 5/12/2025, 6:56:09 PM ben.terhech.de ↗

Comments (0)

No comments yet