What Works (and Doesn't) Selling Formal Methods (galois.com)

1 points by matt_d 1m ago 0 comments

Show HN: ThatOneTimer, a science backed study timer (that-one-timer.vercel.app)

1 points by ifthisdontwork 1m ago 0 comments

Grafana Beyla donated to OpenTelemetry project (grafana.com)

1 points by shscs911 1m ago 0 comments

Radio City (thesephist.com)

1 points by feross 7m ago 0 comments

JavaScript Closures and Scope (vaibhavacharya.github.io)

1 points by vaibhavacharya_ 9m ago 0 comments

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)

1 points by todsacerdoti 14m ago 0 comments

Show HN: NR34P3R – Fast Open Port Scanner with Short Service Descriptions (github.com)

1 points by m-o-z-z-i-x 20m ago 0 comments

Corbent: Next‑Generation Direct Air Capture (lesswrong.com)

1 points by dannyobrien 21m ago 0 comments

Gmail to SQLite (github.com)

1 points by tehlike 42m ago 0 comments

Show HN: Papyrus Font Designer – Create Beautiful Text Designs Online (papyrusfont.com)

3 points by zhangchengzc 46m ago 1 comments

Ask HN: State of the Commerce of AI Coding

1 points by init7 51m ago 0 comments

The misconception that almost stopped AI [video] (youtube.com)

2 points by doctaj 59m ago 0 comments

App logo generator for SaaS founders (dashing-otter-f42fb4.netlify.app)

4 points by chetansorted 1h ago 0 comments

Ask HN: What would you do with the #manga chat channel in Libera IRC network?

2 points by babuloseo 1h ago 0 comments

SoundCloud faces backlash after adding an AI training clause in its user terms (fastcompany.com)

3 points by doctaj 1h ago 0 comments

Show HN: Spress – A vibe coded programming language (github.com)

1 points by ryansworks 1h ago 0 comments

Free visual UI builder for production ready NextJS websites(Shadcn,Framer) (next.appsbunny.com)

1 points by mvsingh 1h ago 0 comments

Score Margins in OpenSkill MMR (github.com)

1 points by daegontaven 1h ago 1 comments

Vision Now Available in Llama.cpp (github.com)

55 points by redman25 1h ago 6 comments

Analyzing CVE-2025-31191: A macOS security-scoped bookmarks-based sandbox escape (microsoft.com)

3 points by bit_qntum 1h ago 0 comments

Texas secures $1.38B settlement with Google over data privacy (reuters.com)

8 points by byte-bolter 1h ago 2 comments

Nathan Fielder praised for 'most unhinged' episode in TV history (the-independent.com)

3 points by vo2maxer 1h ago 1 comments

RAGDoll: Efficient Offloading-Based Online RAG System on a Single GPU (arxiv.org)

1 points by PaulHoule 1h ago 0 comments

Dyson spheres could exist – but there's a catch (livescience.com)

6 points by ricecat 1h ago 0 comments

Digital Dinosaurs Supervising Medtech: Getting Audited by the Berlin Authorities (eidel.io)

6 points by olieidel 1h ago 0 comments

Show HN: Serving MCPs over API, and More

2 points by toolrouter 1h ago 0 comments

RF Power Measurement Using RMS Detectors (2014) (digikey.com)

2 points by transpute 1h ago 0 comments

Show HN: I built this social media app – would love your feedback (non-ai-social-media-app.vercel.app)

1 points by sdharankar 1h ago 1 comments

Ask HN: Is there a service that offers Common Crawl as an API?

1 points by georgehill 1h ago 1 comments

Finding Beauty and Truth in Mundane Occurrences (quantamagazine.org)

1 points by nsoonhui 1h ago 0 comments

What Happens When There's No Job to Learn On? (gideons.substack.com)

9 points by paulpauper 1h ago 5 comments

The Four Horsemen of the Pop Culture Apocalypse (honest-broker.com)

1 points by paulpauper 1h ago 0 comments

The Path to Decentralized Nasdaq (anza.xyz)

1 points by nailer 2h ago 0 comments

Jash: JavaScript Interpreter in Bash (github.com)

2 points by thunderbong 2h ago 0 comments

A simple 16x16 dot animation from simple math rules (tixy.land)

2 points by andrewrn 2h ago 1 comments

Authenticity Is BS (write.as)

2 points by JustExAWS 2h ago 2 comments

Spatial Data-Management (1979) [pdf] (media.mit.edu)

1 points by todsacerdoti 2h ago 0 comments

Another World (anotherworld.fr)

3 points by myth_drannon 2h ago 0 comments

Beyond Opponent and Self: Martial Arts as a Gateway to Nonduality (cultivatingsystems.substack.com)

1 points by lawrenceyan 2h ago 0 comments

Algebraic Effects: Another mistake carried through to perfection? (kjosib.github.io)

8 points by todsacerdoti 2h ago 3 comments

Any Interest in an AI Interview Coach Behaviorals and Technicals (docs.google.com)

1 points by InterviewSense 2h ago 1 comments

Sam Altman teaches a masterclass of wielding power again (rajiv.com)

3 points by rajivpant 2h ago 0 comments

Ask HN: Where do I go to read if I loved real life magazine?

1 points by cgio 2h ago 0 comments

AI hallucinations are getting worse – and they're here to stay (newscientist.com)

6 points by OutOfHere 2h ago 0 comments

Q32 CV Match – Upload resumes and get a ranked shortlist with summaries (cv.q32.com)

1 points by earonesty 2h ago 1 comments

Pope concerned of "artificial intelligence, robotics, human relationships" (detroitcatholic.com)

2 points by Apocryphon 2h ago 2 comments

Uber staff revolts over return-to-office mandate (fastcompany.com)

11 points by doctaj 2h ago 7 comments

Our Slack is dead. Long live Zulip (changelog.com)

21 points by Cyphase 2h ago 3 comments

Backdooring the IDE: Malicious NPM Packages Hijack Cursor Editor on macOS (socket.dev)

2 points by gnabgib 2h ago 0 comments

Show HN: Explore human genome in the terminal with Vim motion (github.com)

3 points by zeqianli 2h ago 0 comments

From the Debris of Halley's Comet

2 Bender 0 5/10/2025, 1:20:24 AM nautil.us ↗

Comments (0)

No comments yet