Challenge HN: Know Your Developers

1 points by robalni 3m ago 0 comments

EU to launch age-check app, precursor to the digital identity wallet due in 2026 (ft.com)

1 points by gasull 3m ago 0 comments

The Fish That Climbed a Mountain (longreads.com)

1 points by mooreds 4m ago 0 comments

Learn, build, judge, ship: What to look for in your first (AI) marketer (gkogan.co)

1 points by mooreds 4m ago 0 comments

Report says Sony won't produce smartphones in its own factories anymore (techissuestoday.com)

1 points by akyuu 6m ago 0 comments

The Colorado River Basin has lost as much groundwater as the volume of Lake Mead (cnn.com)

1 points by mooreds 6m ago 0 comments

My first attempt at iOS app development (mgx.me)

1 points by mgxme 7m ago 0 comments

FujiNet – open-source project to bring 8-bit computers online (including gaming) (retrorgb.com)

1 points by retro_guy 9m ago 1 comments

CARDIAC – CARDboard Illustrative Aid to Computation (en.wikipedia.org)

1 points by AlexeyBrin 23m ago 0 comments

Show HN: Meto – Metabolic Health 3.0 with AI, Wearables, and Precision Care (meto.co)

1 points by jossyobi 26m ago 0 comments

Computer Stores of the 1970s and 1980s (2022) (pcmag.com)

1 points by 1659447091 26m ago 0 comments

Show HN: An open-source megarepo turning hackers into frontier AI researchers (github.com)

1 points by fizzbuzz07 36m ago 0 comments

Ask HN: Who's building AI for DevOps? (Heroku 2.0 in the making?)

1 points by campervans 36m ago 0 comments

Go Error Propagation and API Contracts (matttproud.com)

2 points by codesuki 38m ago 0 comments

The evidence suggests Covid-19 came from a lab (rationaloptimistsociety.substack.com)

6 points by electroglyph 40m ago 2 comments

Codex CLI is going native (github.com)

2 points by bundie 41m ago 0 comments

Illegal streaming boom traced to jailbroken Amazon Fire Stick devices (neowin.net)

1 points by bundie 43m ago 0 comments

RSC for Lisp Developers (overreacted.io)

2 points by bundie 44m ago 0 comments

The Forgotten World of BBS Door Games (2016) (pcmag.com)

2 points by 1659447091 47m ago 0 comments

The ocean, as told by tiny beautiful fossils – Knowable Magazine (knowablemagazine.org)

2 points by rbanffy 49m ago 0 comments

Rec kickball team, their millions (media.hubspot.com)

1 points by Anon84 53m ago 0 comments

Italian Fascism (and art) Created the Cybertruck. [video] (youtube.com)

1 points by askl 53m ago 0 comments

The Five Stages of Victory (thecritic.co.uk)

1 points by drankl 54m ago 0 comments

Announcing the formation of the WordPress AI team (wordpress.org)

1 points by bookofjoe 55m ago 1 comments

Largest Chip Sets AI Speed Record, Beating Nvidia (forbes.com)

1 points by rbanffy 58m ago 0 comments

European Age Verification Solution (ageverification.dev)

1 points by flux_w42 59m ago 2 comments

The Dephaze Protocol – A Phase-Based Model of Reality (github.com)

1 points by angusdewer 1h ago 1 comments

Atari Means Business with the Mega ST – By Paul Lefebvre (goto10retro.com)

6 points by rbanffy 1h ago 0 comments

In the Desert, Bread (blog.greg.technology)

1 points by gregsadetsky 1h ago 0 comments

The 3D Gaussian Splatting Adventure: Past, Present, Future [video] (youtube.com)

1 points by todsacerdoti 1h ago 0 comments

Deepfakes just got even harder to detect: Now they have heartbeats (sciencefocus.com)

2 points by taubek 1h ago 0 comments

We turned browser screen recordings into executable, customizable AI agents (gabrieloperator.com)

2 points by vipin-tanna 1h ago 1 comments

U.S. Turns Against Floating Offshore Wind Turbines (spectrum.ieee.org)

3 points by pseudolus 1h ago 0 comments

China's quantum satellite can be hacked, Singapore-based scientist warns (scmp.com)

2 points by donutloop 1h ago 0 comments

A Trump-fueled brain drain could be the rest of the world's brain gain (cnn.com)

9 points by koolhead17 1h ago 0 comments

Blender Feedback Survey 2024 Results (survey.blender.org)

2 points by Tomte 1h ago 0 comments

I like Svelte more than React (it's store management) (river.berlin)

2 points by adityashankar 1h ago 0 comments

Ocean SDK is D-Wave's suite of tools for solving hard problems with OCs (github.com)

1 points by donutloop 1h ago 0 comments

Robert Jarvik, 79, Dies; a Designer of the First Permanent Artificial Heart (nytimes.com)

2 points by bookofjoe 1h ago 1 comments

Women who hate men: a comparative analysis across extremist Reddit communities (nature.com)

3 points by mpweiher 1h ago 1 comments

Cultural Differences in the Beauty Premium (pmc.ncbi.nlm.nih.gov)

2 points by rntn 1h ago 0 comments

YouTube comment history tool across 20Bs comments (youtube-tools.lolarchiver.com)

3 points by Xafnor 1h ago 1 comments

Zero-Touch QA for Every Web App (carryid.com)

1 points by KupaMakunura 1h ago 1 comments

Pension Funds Won't Save the Bond Market (wsj.com)

2 points by bundie 1h ago 0 comments

FAQ: What is a TPM and how can I use it on Linux? (debugging.works)

4 points by kmille 1h ago 1 comments

Terence Tao: DeepMind's open repository of formalized mathematics conjectures (mathstodon.xyz)

2 points by joak 1h ago 1 comments

Shunn Manuscript Format in LaTeX (github.com)

1 points by Morgoth421 2h ago 1 comments

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada (codeberg.org)

5 points by birdculture 2h ago 0 comments

Show HN: I made a desktop app to run any MCP (onemcp.io)

2 points by islemmaboud 2h ago 0 comments

Cinematography of "Andor" (pushing-pixels.org)

70 points by rcarmo 2h ago 56 comments

What Works (and Doesn't) Selling Formal Methods

3 tosh 0 5/31/2025, 10:08:41 AM galois.com ↗

Comments (0)

No comments yet