Show HN: I Made the v0.dev for Workouts

https://proximafitness.com/program-builder

1•jack_hanlon•31s ago•0 comments

Built yet another Reddit keywords research tool. But it's absolutely free

https://www.mention.click/

2•isnotaname•1m ago•1 comments

Attack Breaks Permutation-Based Private Third-Party Inference Schemes for LLMs

https://arxiv.org/abs/2505.18332

1•transpute•4m ago•0 comments

Largest punk archive to find new home at MTSU's Center for Popular Music

https://mtsunews.com/worlds-largest-punk-archive-moves-to-center-for-popular-music/

1•gnabgib•7m ago•0 comments

Stop Over-Thinking AI Subscriptions

https://steipete.me/posts/2025/stop-overthinking-ai-subscriptions

1•davidbarker•7m ago•0 comments

DPS8M Performance

https://dps8m.gitlab.io/blog/posts/20250602_Performance/

2•trn•11m ago•0 comments

BioNTech and Bristol Myers Squibb Announce Global Strategic Partnership

https://investors.biontech.de/news-releases/news-release-details/biontech-and-bristol-myers-squibb-announce-global-strategic/

1•doener•13m ago•0 comments

Show HN: Client side rendered static site without JavaScript

https://www.cornerlation.xyz

1•imcotton•18m ago•0 comments

FEMA staff baffled after head said he was unaware of US hurricane season

https://www.reuters.com/world/us/fema-staff-confused-after-head-said-he-was-unaware-us-hurricane-season-sources-2025-06-02/

18•nabla9•20m ago•1 comments

Google settles a major antitrust lawsuit – but it's not the one making headlines

https://www.phonearena.com/news/google-settles-a-major-antitrust-lawsuit--but-its-not-the-one-making-headlines_id170944

1•mikece•21m ago•0 comments

Python deserves better than EMR

https://docs.coiled.io/blog/python-emr.html

1•scj13•21m ago•0 comments

I Like Big Batches and I Cannot Lie: Tricks for Good Embeddings

https://www.nuss-and-bolts.com/p/i-like-big-batches-and-i-cannot-lie

2•zanussbaum•22m ago•0 comments

NLWeb: Microsoft's Protocol for AI-Powered Website Search

https://glama.ai/blog/2025-06-01-what-is-nlweb

4•punkpeye•23m ago•0 comments

Floating Nuclear Data Centers to Power AI Revolution at Sea

https://gcaptain.com/abs-charts-course-for-floating-nuclear-data-centers-to-power-ai-revolution-at-sea/

1•mikece•30m ago•0 comments

Japan's Recent Rice Price Crisis [video]

https://www.youtube.com/watch?v=l4vTQV3HjKU

1•lawrenceyan•32m ago•0 comments

Cloud of Sahara dust is smothering the Caribbean en route to the US

https://apnews.com/article/sahara-dust-caribbean-florida-barbados-jamaica-plume-e0aafba9fe672b832559606e499e1280

1•geox•32m ago•0 comments

Ask HN: What is our history on trying to standardize configuration languages?

3•jerrac•33m ago•5 comments

Teaching Program Verification in Dafny at Amazon (2023)

https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/

3•Jtsummers•33m ago•1 comments

I Made a Puzzle Game

https://geonot.github.io/korokoro/

5•wildlogic•36m ago•3 comments

Saw a guy coding today. No cursor. No windsurf. Just typing. Like a psychopath

https://texttoslides.ai/blog/coding-without-ai

4•sh_tomer•37m ago•0 comments

Show HN: ChatDelta

https://github.com/ChatDelta/ChatDelta

1•DavidCanHelp•39m ago•0 comments

Bureaucracy (2024)

https://neil.fraser.name/news/2024/12/19/

2•ColinWright•39m ago•0 comments

Texas Right to Repair bill passes, heads to the governor's desk

https://www.theverge.com/law/678334/right-to-repair-texas-hb-2963

5•mikece•42m ago•0 comments

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

https://www.mongodb.com/blog/post/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs

16•todsacerdoti•46m ago•0 comments

Kubesolo.io, a special purpose Kubernetes distribution for IoT Devices

https://www.kubesolo.io/about

2•neilcresswell•47m ago•1 comments

Open Desk View

https://sannysanoff.github.io/whiteboard/

2•sannysanoff•47m ago•1 comments

Automated ML research, AI drives the process from idea to report

https://killerstorm.github.io/2025/05/31/automl.html

3•killerstorm•50m ago•0 comments

Hardening fixes lead to hard questions

https://lwn.net/SubscriberLink/1023502/8a46fb7ef3630140/

5•jacobo37•50m ago•0 comments

Demo of kons-9 Common Lisp 3D graphics system [video]

https://www.youtube.com/watch?v=TjbYFaNAspw

6•kaveh808•51m ago•0 comments

Dev snapshot: Godot 4.5 dev 5

https://godotengine.org/article/dev-snapshot-godot-4-5-dev-5/

2•kelseyfrog•52m ago•0 comments

Show HN: I Made the v0.dev for Workouts

Built yet another Reddit keywords research tool. But it's absolutely free

Attack Breaks Permutation-Based Private Third-Party Inference Schemes for LLMs

Largest punk archive to find new home at MTSU's Center for Popular Music

Stop Over-Thinking AI Subscriptions

DPS8M Performance

BioNTech and Bristol Myers Squibb Announce Global Strategic Partnership

Show HN: Client side rendered static site without JavaScript

FEMA staff baffled after head said he was unaware of US hurricane season

Google settles a major antitrust lawsuit – but it's not the one making headlines

Python deserves better than EMR

I Like Big Batches and I Cannot Lie: Tricks for Good Embeddings

NLWeb: Microsoft's Protocol for AI-Powered Website Search

Floating Nuclear Data Centers to Power AI Revolution at Sea

Japan's Recent Rice Price Crisis [video]

Cloud of Sahara dust is smothering the Caribbean en route to the US

Ask HN: What is our history on trying to standardize configuration languages?

Teaching Program Verification in Dafny at Amazon (2023)

I Made a Puzzle Game

Saw a guy coding today. No cursor. No windsurf. Just typing. Like a psychopath

Show HN: ChatDelta

Bureaucracy (2024)

Texas Right to Repair bill passes, heads to the governor's desk

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

Kubesolo.io, a special purpose Kubernetes distribution for IoT Devices

Open Desk View

Automated ML research, AI drives the process from idea to report

Hardening fixes lead to hard questions

Demo of kons-9 Common Lisp 3D graphics system [video]

Dev snapshot: Godot 4.5 dev 5

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

Comments

Show HN: I Made the v0.dev for Workouts

Built yet another Reddit keywords research tool. But it's absolutely free

Attack Breaks Permutation-Based Private Third-Party Inference Schemes for LLMs

Largest punk archive to find new home at MTSU's Center for Popular Music

Stop Over-Thinking AI Subscriptions

DPS8M Performance

BioNTech and Bristol Myers Squibb Announce Global Strategic Partnership

Show HN: Client side rendered static site without JavaScript

FEMA staff baffled after head said he was unaware of US hurricane season

Google settles a major antitrust lawsuit – but it's not the one making headlines

Python deserves better than EMR

I Like Big Batches and I Cannot Lie: Tricks for Good Embeddings

NLWeb: Microsoft's Protocol for AI-Powered Website Search

Floating Nuclear Data Centers to Power AI Revolution at Sea

Japan's Recent Rice Price Crisis [video]

Cloud of Sahara dust is smothering the Caribbean en route to the US

Ask HN: What is our history on trying to standardize configuration languages?

Teaching Program Verification in Dafny at Amazon (2023)

I Made a Puzzle Game

Saw a guy coding today. No cursor. No windsurf. Just typing. Like a psychopath

Show HN: ChatDelta

Bureaucracy (2024)

Texas Right to Repair bill passes, heads to the governor's desk

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

Kubesolo.io, a special purpose Kubernetes distribution for IoT Devices

Open Desk View

Automated ML research, AI drives the process from idea to report

Hardening fixes lead to hard questions

Demo of kons-9 Common Lisp 3D graphics system [video]

Dev snapshot: Godot 4.5 dev 5