Show HN: GitHunter – Search and compare OSS devs, auto-generate CVS (githunter.dev)

1 points by Hunter17 1m ago 0 comments

Damage-sensing, self-healing muscles heralded as step forward in robotics (tomshardware.com)

1 points by rbanffy 1m ago 0 comments

Inference.net (inference.net)

1 points by handfuloflight 2m ago 0 comments

Ask HN: How does Nextdoor verify phone billing address matches home address? (help.nextdoor.com)

1 points by deejaybog 4m ago 1 comments

Play Diffusion: Open Source Diffusion Model for Instant Audio Editing (blog.play.ai)

1 points by amrrs 4m ago 0 comments

Show HN: I created a free invoice generator tool. Generate pdf in realtime (mvpwrappers.com)

1 points by eashish93 6m ago 0 comments

Meta Goes Military Private FaceMash reporting for duty, sir (nymag.com)

2 points by chrisdoc 6m ago 0 comments

Technical Debt Is for Everybody (thenewcuriosityshop.substack.com)

2 points by gHeadphone 7m ago 0 comments

Giving a Shit as a Service (allenpike.com)

1 points by lopespm 10m ago 0 comments

Disaster Awaits If We Don't Secure IoT Now (spectrum.ieee.org)

2 points by mdp2021 10m ago 0 comments

Nvidia to cut gaming GPU shipments by 30% by reallocating them to enterprise AI (overclock3d.net)

1 points by speckx 11m ago 0 comments

Vienna sends Blue Danube into space (apnews.com)

2 points by sinnfeinn 12m ago 0 comments

AI Is Learning to Escape Human Control (wsj.com)

1 points by lucaspauker 12m ago 0 comments

Behind the scenes of Rust string formatting and format_args () (blog.m-ou.se)

1 points by fanf2 13m ago 0 comments

A European non-profit that investigates influential and opaque algorithms (aiforensics.org)

1 points by mooreds 16m ago 0 comments

Colt, Honeywell and Nokia join forces to trial space-based quantum-safe (nokia.com)

1 points by donutloop 17m ago 0 comments

Behind the Curtain: A white-collar bloodbath (axios.com)

1 points by TurkishPoptart 18m ago 0 comments

Humanity May Achieve the Singularity Within the Next 6 Months, Scientists Sugges (popularmechanics.com)

1 points by stuckinhell 19m ago 0 comments

JavaScript Imports Under the Hood (2023) (blog.jim-nielsen.com)

2 points by pie_flavor 19m ago 0 comments

Why a Utah Chalet Is the Perfect Setting for the Ultra Wealthy in 'Mountainhead' (nytimes.com)

1 points by mooreds 21m ago 1 comments

99 Dev Problems with Jamie Tanna [video] (youtube.com)

2 points by mooreds 22m ago 0 comments

Ask HN: What will humans do when AI writes and reviews code?

2 points by pomarie 23m ago 3 comments

Vanta bug exposed customers' data to other customers (techcrunch.com)

1 points by coloneltcb 25m ago 0 comments

Jemalloc Repositories Are Archived (github.com)

5 points by zX41ZdbW 25m ago 1 comments

Decorative Text Within HTML (shkspr.mobi)

2 points by tobr 29m ago 0 comments

Twain Dreams (harpers.org)

1 points by samclemens 29m ago 0 comments

Designing for Neurodiversity (smashingmagazine.com)

1 points by ulrischa 32m ago 0 comments

Elon and AI at Tesla (twitter.com)

2 points by bilsbie 34m ago 2 comments

Finance leaders fear destructive U.S. debt scenario (axios.com)

2 points by kaycebasques 35m ago 0 comments

LLMs: The Missing Compiler for Unix Tools (tselai.com)

1 points by fforflo 35m ago 0 comments

"After School" – From LAN Party (2024) (blog.radiator.debacle.us)

2 points by speckx 36m ago 0 comments

A Giant Plume of Saharan Dust Is Headed to Florida (nytimes.com)

3 points by Stratoscope 37m ago 1 comments

Bill Gates to give most of his $200B fortune to Africa (bbc.co.uk)

7 points by microsoftedging 41m ago 0 comments

Ask HN: Contact form spam despite trying everything

1 points by pettycashstash2 43m ago 0 comments

Agents in Charge of Managing Vending Machines: Short vs. Long-Term Coherence (arxiv.org)

3 points by dpflan 47m ago 0 comments

Dating website matching people based on their browser history (driesdepoorter.be)

1 points by driesdep 47m ago 0 comments

A 23-Year-Old Crypto Bro Is Now Vetoing NSF Grants (techdirt.com)

6 points by DanAtC 47m ago 0 comments

Automotive GPU Maxxxing (leikoe.github.io)

1 points by Philpax 48m ago 0 comments

Things End: Punk Planet, Year 13 (dansinker.com)

1 points by speckx 49m ago 0 comments

Prompt tricks Apple Intelligence into turning Writings Tools into a chatbot (9to5mac.com)

2 points by lexh 52m ago 0 comments

Ask HN: When AI writes and reviews code, what do humans do?

1 points by pomarie 54m ago 1 comments

How do you keep up with AI?

1 points by njx 56m ago 1 comments

How much should Elon Musk be paid? (wsj.com)

5 points by bookofjoe 57m ago 1 comments

Arizona's Water Is Vanishing Before AI Gets a Crack at It (bloomberg.com)

3 points by coloneltcb 1h ago 0 comments

Show HN: Detect leaked asyncio tasks, threads, event loop blocks in Python (github.com)

1 points by deepankarm44 1h ago 0 comments

I Video: I Bought a Medical X-Ray Machine (Including Teardown) (youtube.com)

2 points by m-hodges 1h ago 0 comments

Enders' Piracy Report Blames Big Tech; That's What Anti-Piracy Lobbyists Do (torrentfreak.com)

4 points by gslin 1h ago 0 comments

Show HN: Billing and Blogging together in same app (github.com)

1 points by klusmid 1h ago 0 comments

Taurine Revisited (science.org)

20 points by Tomte 1h ago 5 comments

Global Risks Weekly Roundup #22/2025 (blog.sentinel-team.org)

6 points by NunoSempere 1h ago 6 comments

Formal Modeling and Analysis of Distributed (Event-Driven) Systems

2 ot 1 6/1/2025, 1:22:50 AM github.com ↗

Comments (1)

evanjrowley · 1d ago

Used by Amazon Web Services, according to their ACM paper discussed here: https://news.ycombinator.com/item?id=43547593