Scientists discover a way to convert corn waste into low-cost sugar for biofuel (techxplore.com)

1 points by PaulHoule 1m ago 0 comments

Finite-Choice Logic Programming (POPL 2025) [video] (youtube.com)

1 points by matt_d 2m ago 0 comments

What a Difference a Faster Hash Makes (nickdrozd.github.io)

1 points by emschwartz 2m ago 0 comments

Qt's New Bridging Technology – Looking Back to Move Forward (qt.io)

1 points by YakBizzarro 2m ago 0 comments

3D Render of Resident evil 2 assets (github.com)

1 points by elmarsan 3m ago 0 comments

Pixpal: A user friendly AI chat with image editing and mini app creator (pixpal.chat)

1 points by AndreasPaps 4m ago 1 comments

Remembering John Young, co-founder of web archive Cryptome (theregister.com)

1 points by chiffre01 4m ago 0 comments

Recreating S3 in Postgres Using PostgREST (neon.tech)

1 points by carlotasoto 5m ago 0 comments

Cisco security flaw exploited to build botnet of devices (techradar.com)

1 points by DocFeind 5m ago 0 comments

Emergent | World's first agentic vibe-coding platform (app.emergent.sh)

1 points by birriel 6m ago 0 comments

Show HN: Headroom Mac Application for Podcasters for Episode Publishing with AI (headroom.ee)

1 points by konstantint 8m ago 1 comments

Budget bill could decimate legal accountability for tech (techpolicy.press)

1 points by anigbrowl 9m ago 0 comments

Zen-Style Programming (2008) (t3x.org)

1 points by tosh 9m ago 0 comments

j1-micro and j1-nano: Tiny (0.6B, 1.7B) and Mighty Reward Models (github.com)

2 points by leonardtang 15m ago 0 comments

Life's Ancient Bottleneck (quillette.com)

1 points by NaOH 15m ago 0 comments

Self driving company sent data to China despite national security agreements (techcrunch.com)

1 points by 737min 15m ago 0 comments

Eight Policy Principles to Guide Our Relationship with Digital Technology (afterbabel.com)

1 points by paulpauper 17m ago 0 comments

What If? Collaborative Vision for Universal Computing Infrastructure

1 points by wan888888 17m ago 0 comments

The Two Achilles Heels of Complex Systems (thehonestsorcerer.substack.com)

3 points by devonnull 18m ago 0 comments

Where Have All My Deep Male Friendships Gone? (nytimes.com)

1 points by paulpauper 18m ago 1 comments

Show HN: Sunchay – a universal bookmarker that lets you peek inside your brain (sunchay.com)

1 points by panchamk 18m ago 0 comments

Homes gates, security systems affected by 3G shutdown (rnz.co.nz)

3 points by billybuckwheat 19m ago 0 comments

The New Bottleneck: AI That Codes Faster Than Humans Can Review (thenewstack.io)

2 points by MarcoDewey 21m ago 0 comments

Stackie, Our New Press Release Rewriting AI (mailchi.mp)

1 points by MilnerRoute 22m ago 1 comments

Despite the warnings, I tried self-hosting my email (coryd.dev)

1 points by cdransf 22m ago 0 comments

Hugging Face Courses (huggingface.co)

3 points by saikatsg 26m ago 0 comments

Google Zero Is Coming. Here's How Publishers Can Win in the AI Internet (dappier.medium.com)

1 points by joshdappier 26m ago 0 comments

Humanoid Robots in Kickboxing Competition (bbc.co.uk)

4 points by limbicsystem 27m ago 0 comments

Ask HN: How frustrated would you be if Gemini stopped being so generous?

2 points by johnnyApplePRNG 27m ago 0 comments

China Offers to Fund Colombia Projects If the US Blocks Loans (bloomberg.com)

2 points by JumpCrisscross 28m ago 2 comments

Design Tools Survey 2024 Results (uxtools.co)

1 points by robenkleene 30m ago 0 comments

Fame and Frustration on the New Media Circuit (vulture.com)

1 points by codingmoh 32m ago 0 comments

How Seattle's RSI Support Group Ended (debugyourpain.substack.com)

2 points by maxkshen 32m ago 0 comments

US considers social media vetting for foreign university students (thenational.scot)

4 points by geox 33m ago 0 comments

Amazon Aurora DSQL is now generally available (aws.amazon.com)

5 points by EwanToo 34m ago 0 comments

Show HN: Maestro – A Framework to Orchestrate and Ground Competing AI Models

2 points by defqon1 35m ago 0 comments

Show HN: Install PGMQ on Any Postgres (github.com)

2 points by chuckhend 36m ago 0 comments

Amazon Aurora DSQL is now generally available (aws.amazon.com)

4 points by csnewman 36m ago 0 comments

Salesforce Acquires Informatica for $8B (techcrunch.com)

1 points by ashutosh-mishra 36m ago 0 comments

Post-Quantum Cryptography in OpenPGP (openpgp.foo)

2 points by todsacerdoti 36m ago 0 comments

Show HN: ClipBin; the Simplest, Open Source and Secure Way of Sharing Text/Code (github.com)

2 points by alight 37m ago 0 comments

Sell Your Crypto on the Stock Exchange (bloomberg.com)

1 points by feross 39m ago 1 comments

Robotic Table Tennis Swinging Using Lightweight Hardware with Predictive Control (arxiv.org)

1 points by PaulHoule 40m ago 0 comments

Amazon Aurora DSQL Pricing (aws.amazon.com)

3 points by csnewman 40m ago 0 comments

PBS 106.7FM (pbsfm.org.au)

1 points by zombiemama 40m ago 0 comments

No if, while, map or reduce. Relational algebra example (klaro.cards)

1 points by blambeau 40m ago 0 comments

DigitalOcean terminating business account with no details given

3 points by ivanvas 41m ago 0 comments

Show HN: I made an open-source synthetic text datasets generator (github.com)

2 points by astropat 41m ago 0 comments

Unmute: Make LLMs Listen and Speak (kyutai.org)

2 points by ilnmtlbnm 42m ago 1 comments

Claude Code Cheatsheet (nibzard.com)

1 points by nkko 43m ago 0 comments

What Works (and Doesn't) Selling Formal Methods

2 pdubroy 0 5/26/2025, 1:37:26 PM galois.com ↗

Comments (0)

No comments yet