Benchmarking Crimes Meet Formal Verification (microkerneldude.org)

1 points by ingve 1m ago 0 comments

Show HN: ChatGPT-Ruby – A Minimal, Rails-Friendly OpenAI SDK (github.com)

1 points by NinjaGems 2m ago 0 comments

Systemd system extensions for Fedora image based systems (travier.github.io)

2 points by todsacerdoti 4m ago 0 comments

Compiler Reminders (jfmengels.net)

1 points by jfmengels1 5m ago 0 comments

"dos-like" – a programming framework for writing games with 90s look and feel (mattiasgustavsson.itch.io)

1 points by wsc981 6m ago 0 comments

Teaching Methods: Chaining, Shaping, Chunking [pdf] (softball.ca)

1 points by jasim 10m ago 0 comments

Funny Names Generator: Create Hilarious Names with AI (funny-names.net)

2 points by websellcn 15m ago 0 comments

Little Wars (en.wikipedia.org)

1 points by Michelangelo11 17m ago 0 comments

Nushell Object Notation (nushell.sh)

2 points by account-5 17m ago 0 comments

YKK's Self-Propelled Zipper: Less Crazy Than It Seems (hackaday.com)

2 points by Tomte 18m ago 0 comments

New study reveals wealth inequality was never inevitable (archaeologymag.com)

1 points by nickcotter 19m ago 0 comments

'Tech entrepreneur took our money but failed to deliver our startup dreams' (bbc.co.uk)

2 points by Brandrsn 25m ago 0 comments

Apple 'aims to source all US iPhones from India', reducing reliance on China (theguardian.com)

1 points by mpweiher 26m ago 0 comments

Show HN: WinMon – A Lightweight Process Monitor for Windows in Rust (github.com)

1 points by Flex247A 26m ago 0 comments

Stoic Indifferents vs. Embodied AI

1 points by daly 26m ago 0 comments

Settingly: JSON-Configurations Simplified (settingly.xyz)

1 points by lglldev 37m ago 1 comments

Show HN: Open-Source AI code interpreter with full internet access (github.com)

1 points by v-yanakiev 41m ago 0 comments

Google's DeepMind UK team reportedly seeks to unionize (techcrunch.com)

3 points by ljf 54m ago 0 comments

Taxonomy of Failure Mode in Agentic AI Systems [pdf] (cdn-dynmedia-1.microsoft.com)

4 points by todsacerdoti 1h ago 1 comments

Chongqing, the Largest City – In Pictures (theguardian.com)

6 points by tosh 1h ago 0 comments

Impressions from Vibing a Poker Clock (cjbackman.com)

2 points by endriju 1h ago 0 comments

A Guide to Cutting Through AI Hype (blog.citp.princeton.edu)

2 points by jruohonen 1h ago 1 comments

Google will stop supporting early Nest thermostats on October 25 (techcrunch.com)

3 points by ljf 1h ago 2 comments

High Altitude Balloon Flights: Part 1, Basics [video] (youtube.com)

3 points by marklit 1h ago 0 comments

Show HN: Remote-Controlled IKEA Deathstar Lamp (gitlab.com)

8 points by sephalon 1h ago 0 comments

Show HN: Guide to Horse Race Tests (horseracetests.com)

1 points by humphrey_liu 1h ago 0 comments

Math Proof Draws New Boundaries Around Black Hole Formation (nautil.us)

2 points by the-mitr 1h ago 0 comments

Against the Tyranny of Opinionated Ignorance (quillette.com)

5 points by litoE 1h ago 4 comments

Memory Will Be Big Tech's Final Moat

1 points by campbellalex11 1h ago 0 comments

Hype Studies (hypestudies.org)

1 points by jruohonen 1h ago 0 comments

Migrating Uber's Compute Platform to Kubernetes: A Technical Journey (uber.com)

1 points by four_fifths 1h ago 0 comments

Shut Up and Dance (scottsmitelli.com)

1 points by jfil 2h ago 0 comments

Nature Is Taking over Vietnam's Abandoned F1 Circuit (motorsport.com)

3 points by briandear 2h ago 0 comments

Show HN: ImgDetect – AI Image Detector to Identify Fake and AI-Generated Images (apps.apple.com)

1 points by imgdetect 2h ago 2 comments

Principles of Chaos Engineering (2019) (principlesofchaos.org)

2 points by jruohonen 2h ago 1 comments

MCP Payments (twitter.com)

2 points by tosh 2h ago 0 comments

Several killed, others injured after vehicle drives into Vancouver festival (cbc.ca)

4 points by colinprince 2h ago 0 comments

How to program a text adventure in C (helderman.github.io)

6 points by nivethan 2h ago 0 comments

Moving Beyond Containers – Introducing Boxer by Daniel Phillips WASM I/O 2025 [video] (youtube.com)

14 points by tambourine_man 2h ago 2 comments

Tipping: How Gratuity Replaced Fair Wages in U.S. Restaurants (7shifts.com)

60 points by madpen 2h ago 59 comments

Strawberry – The Intelligent Browser (strawberrybrowser.com)

1 points by danboarder 2h ago 0 comments

Show HN: The #1 Reason Your Product Fails – Ignoring User Feedback

1 points by kartik_malik 2h ago 0 comments

Still Standing (blog.4chan.org)

3 points by tmarice 2h ago 0 comments

Cursed "optimal way to pack 17 squares" turned into a physical puzzle (twitter.com)

1 points by stared 2h ago 0 comments

Show HN: I Made a Website That Turns Sketches into Thumbnails (scrive.pro)

2 points by dragssine 2h ago 1 comments

Nofl: A Precise Immix [pdf] (arxiv.org)

2 points by thunderbong 2h ago 0 comments

Casimir Effect (en.wikipedia.org)

6 points by danboarder 2h ago 0 comments

Ask HN: Is there a decent configuration format?

5 points by xena 2h ago 0 comments

Physics Experiment Reveals 'Quantum Rain' (sciencealert.com)

3 points by sdumi 2h ago 0 comments

Apple Encrypted Archive (theapplewiki.com)

3 points by todsacerdoti 2h ago 0 comments

Photo: "Swamped Skies"

2 CharlesW 0 4/16/2025, 1:24:36 AM instagram.com ↗

Comments (0)

No comments yet