Ever Tried Debugging a Proof Tree? We Did

https://www.osohq.com/post/how-we-built-an-interactive-debugger

1•hazalmestci•28s ago•0 comments

Show HN: Searching 1B embeddings from disk in 15 ms on a single machine

https://blog.wilsonl.in/corenn/

1•wilsonzlin•54s ago•0 comments

The Man Who Beat IBM

https://every.to/the-crazy-ones/the-man-who-beat-ibm#

1•dshipper•2m ago•0 comments

Payload Is Joining Figma

https://payloadcms.com/posts/blog/payload-is-joining-figma

1•a_stein•2m ago•1 comments

Show HN: Smart Silence – Auto-remind to silence your phone via geofencing

https://apps.apple.com/us/app/smart-silence/id6737205196

1•ebagsnave•2m ago•0 comments

Now might be the best time to learn software development

https://substack.com/home/post/p-165655726

3•nathanfig•3m ago•0 comments

Headless CRMs

https://keithbrown.com/headless-crms/

2•optimizethis•3m ago•0 comments

Why JPEGs Still Rule the Web After 30 Years

https://spectrum.ieee.org/jpeg-image-format-history

2•purpleko•3m ago•0 comments

Chimpanzees yawn when observing an Android yawn

https://www.nature.com/articles/s41598-025-98639-z

1•PaulHoule•4m ago•0 comments

Show HN: All Your Tools in One Place

https://www.calculatinghub.com/

1•toutoulliou•4m ago•1 comments

This Changed my life – Sabine Hossenfelder

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

1•em-bee•4m ago•0 comments

Dyad: Making Hardware as Easy as Software

https://juliahub.com/blog/dyad-making-hardware-as-easy-as-software

1•ChrisRackauckas•4m ago•0 comments

O3 Turns Pro

https://thezvi.substack.com/p/o3-turns-pro

1•jsnider3•5m ago•0 comments

Open Source and the Eradication of Viruses (2013)

https://heathermeeker.com/2019/03/05/open-source-and-the-eradication-of-viruses/

1•Tomte•6m ago•0 comments

Sandia Deploys SpiNNaker2 Neuromorphic System

https://www.nextplatform.com/2025/06/16/sandia-deploys-spinnaker2-neuromorphic-system/

1•rbanffy•6m ago•0 comments

Secret Crush Matcher – Anonymous way to test if your crush likes you back

https://secretcrush.im/

1•zxcholmes•7m ago•1 comments

Trump Tax Bill to Boost Biden's Chip Tax Credit to 30%

https://www.bloomberg.com/news/articles/2025-06-16/trump-tax-bill-to-boost-biden-s-semiconductor-tax-credit-to-30

2•melling•7m ago•1 comments

What I Wish Someone Told Me When I Was Getting into ARIA

https://www.smashingmagazine.com/2025/06/what-i-wish-someone-told-me-aria/

5•todsacerdoti•7m ago•0 comments

Show HN: Wow Addon for Keywords in the Chat – Great Beginner Lua Project

https://github.com/DanieII/ChatHelper-wow-addon

1•DanielBogdanov•8m ago•0 comments

End of Windows 10

https://endof10.org/

1•maverick74•12m ago•0 comments

IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf]

https://people.computing.clemson.edu/~malloy/publications/papers/sac08/paper.pdf

1•fanf2•12m ago•0 comments

Nvidia and AMD's NVL72 and Helios rack systems aren't for the enterprise

https://www.theregister.com/2025/06/17/rack_scale_ai/

3•rntn•14m ago•0 comments

PHPverse 2025

https://lp.jetbrains.com/phpverse-2025/

1•pier25•14m ago•0 comments

Show HN: Henosia – We built a JavaScript Engine for vibe coding

https://www.henosia.com

1•jimmeyer•15m ago•0 comments

Google Cloud CISO: Shift Down Not Left, 4 Ways Google Uses AI for Security

https://tldrsec.com/p/phil-venables-rsac-2025

1•crescit_eundo•15m ago•0 comments

A Gentle Introduction to Ncurses for the Terminally Impatient

https://hackaday.com/2025/06/17/a-gentle-introduction-to-ncurses-for-the-terminally-impatient/

Ever Tried Debugging a Proof Tree? We Did

Show HN: Searching 1B embeddings from disk in 15 ms on a single machine

The Man Who Beat IBM

Payload Is Joining Figma

Show HN: Smart Silence – Auto-remind to silence your phone via geofencing

Now might be the best time to learn software development

Headless CRMs

Why JPEGs Still Rule the Web After 30 Years

Chimpanzees yawn when observing an Android yawn

Show HN: All Your Tools in One Place

This Changed my life – Sabine Hossenfelder

Dyad: Making Hardware as Easy as Software

O3 Turns Pro

Open Source and the Eradication of Viruses (2013)

Sandia Deploys SpiNNaker2 Neuromorphic System

Secret Crush Matcher – Anonymous way to test if your crush likes you back

Trump Tax Bill to Boost Biden's Chip Tax Credit to 30%

What I Wish Someone Told Me When I Was Getting into ARIA

Show HN: Wow Addon for Keywords in the Chat – Great Beginner Lua Project

End of Windows 10

IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf]

Nvidia and AMD's NVL72 and Helios rack systems aren't for the enterprise

PHPverse 2025

Show HN: Henosia – We built a JavaScript Engine for vibe coding

Google Cloud CISO: Shift Down Not Left, 4 Ways Google Uses AI for Security

A Gentle Introduction to Ncurses for the Terminally Impatient

Tell HN: YouTube's New AI Search Is Incredibly Good

Sound Burger

Show HN: Anime AI Gen – Create Anime Art with Top Model (No Local Setup)

Forged,Fabricated Documents Produced at Chandgad Tahasil Registry Office

Digital Umuganda Hackathon

Ever Tried Debugging a Proof Tree? We Did

Show HN: Searching 1B embeddings from disk in 15 ms on a single machine

The Man Who Beat IBM

Payload Is Joining Figma

Show HN: Smart Silence – Auto-remind to silence your phone via geofencing

Now might be the best time to learn software development

Headless CRMs

Why JPEGs Still Rule the Web After 30 Years

Chimpanzees yawn when observing an Android yawn

Show HN: All Your Tools in One Place

This Changed my life – Sabine Hossenfelder

Dyad: Making Hardware as Easy as Software

O3 Turns Pro

Open Source and the Eradication of Viruses (2013)

Sandia Deploys SpiNNaker2 Neuromorphic System

Secret Crush Matcher – Anonymous way to test if your crush likes you back

Trump Tax Bill to Boost Biden's Chip Tax Credit to 30%

What I Wish Someone Told Me When I Was Getting into ARIA

Show HN: Wow Addon for Keywords in the Chat – Great Beginner Lua Project

End of Windows 10

IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf]

Nvidia and AMD's NVL72 and Helios rack systems aren't for the enterprise

PHPverse 2025

Show HN: Henosia – We built a JavaScript Engine for vibe coding

Google Cloud CISO: Shift Down Not Left, 4 Ways Google Uses AI for Security

A Gentle Introduction to Ncurses for the Terminally Impatient

Tell HN: YouTube's New AI Search Is Incredibly Good

Sound Burger

Show HN: Anime AI Gen – Create Anime Art with Top Model (No Local Setup)

Forged,Fabricated Documents Produced at Chandgad Tahasil Registry Office