HN ReaderReader

Mathematicians just solved a 125-year-old problem, uniting 3 theories in physics
scientificamerican.com

Jack Murtagh - A breakthrough in Hilbert’s sixth problem is a major step in grounding physics in math

Berkeley Humanoid Lite – Open-source robot
lite.berkeley-humanoid.org
I wrote a book called "Crap Towns". It seemed funny at the time
samj.substack.com

SamJordison - In 2003, I wrote a book called Crap Towns. It seemed funny at the time. But plenty of people say it would not be possible to publish it today. Is that a problem?

Your phone isn't secretly listening to you, but the truth is more disturbing
newatlas.com

A longstanding conspiracy is the tale of how Facebook is listening in on your conversations, but the way it is actually serving you ads is much more unsettling.

Reading RSS content is a skilled activity
doliver.org

Shit's gotten weird out there. The internet has devolved from something that was mostly quirky and altruistic to something that, in many ways, is straight-up evil. Enter RSS: An opportunity to reclaim your attention through simple and open tech.

Parallel ./configure
tavianator.com
Wikipedia’s nonprofit status questioned by D.C. U.S. attorney
washingtonpost.com
Attorney General Warns Arrested Judge Is Just the Beginning
newrepublic.com

Edith Olmsted - The FBI arrested a judge in Milwaukee for allegedly helping an undocumented immigrant evade arrest.

I designed my LED matrix PCB with code
docs.tscircuit.com

This tutorial will walk you through building a 3x5 LED matrix controlled by a Raspberry Pi Pico using tscircuit.

World Emulation via Neural Network
madebyoll.in
Finding Things the Government Might Know About You
nytimes.com
Programming in D: Tutorial and Reference
ddili.org
Show HN: Formalizing Principia Mathematica using Lean
github.com/ndrwnaguib
show

Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean - ndrwnaguib/principia

Curry: A functional logic programming language
curry-lang.org

A Truly Integrated Functional Logic Programming Language

Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ
youtube.com
Lossless LLM compression for efficient GPU inference via dynamic-length float
arxiv.org

Large Language Models (LLMs) have grown rapidly in size, creating significant challenges for efficient deployment on resource-constrained hardware. In this paper, we introduce Dynamic-Length Float (DFloat11), a lossless compression framework that reduces LLM size by 30% while preserving outputs that are bit-for-bit identical to the original model. DFloat11 is motivated by the low entropy in the BFloat16 weight repres

Show HN: A modern spreadsheet with Python integration
citadel5.com
show
Paper2Code: Automating Code Generation from Scientific Papers
arxiv.org

Despite the rapid growth of machine learning research, corresponding code implementations are often unavailable, making it slow and labor-intensive for researchers to reproduce results and build upon prior work. In the meantime, recent Large Language Models (LLMs) excel at understanding scientific documents and generating high-quality code. Inspired by this, we introduce PaperCoder, a multi-agent LLM framework that t

Show HN: Magnitude – open-source, AI-native test framework for web apps
github.com/magnitudedev
show

Open source, AI-native testing framework for web apps - magnitudedev/magnitude

A Scaled Down Look at Spending, Revenue, and What's Being Cut
debtinperspective.com
Exercise before bed is linked with disrupted sleep
medicalxpress.com

Exercise too close to bedtime may affect sleep duration, timing and quality, new research led by Monash University has found. More strenuous workouts closer to bedtime coincided with greater disruptions to sleep and nighttime cardiac activity.

Write an Interpreter in Ruby
speakerdeck.com

Talk for the RedDotRuby Conference 2024

Reproducibility project fails to validate dozens of biomedical studies
nature.com

Unique reproducibility effort in Brazil focuses on common methods rather than a single field ― and prompts call for reform.

Differential Coverage for Debugging
research.swtch.com
FBI arrests judge accused of helping man evade immigration authorities
apnews.com

U.S. Sen. Tammy Baldwin says the arrest of a Milwaukee judge accused of helping a man evade immigration authorities is a “gravely serious and drastic move."

A $20k American-made electric pickup with no paint, no stereo, no screen
theverge.com

Tim Stevens - Would you buy a truck this bare-bones?

I made a college punching bag for rejected highschoolers
ex.plor.ing

Personal website of Alex, maker of Skillseed.org 🍏 and College Punch 👊

Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity
science.org
Show HN: BugStalker - a modern Rust debugger
github.com/godzie44
show

Rust debugger for Linux x86-64. Contribute to godzie44/BugStalker development by creating an account on GitHub.

Writing "/etc/hosts" breaks the Substack editor
scalewithlee.substack.com

Lee Gaines - An exploration of web security mechanisms and their unexpected consequences

Eurorack Knob Idea
mitxela.com
The Policy Puppetry Prompt: Novel bypass for major LLMs
hiddenlayer.com

Kristin Sestito - HiddenLayer’s latest research uncovers a universal prompt injection bypass impacting GPT-4, Claude, Gemini, and more, exposing major LLM security gaps.

New C++ features in GCC 15
developers.redhat.com

Explore new C++ front-end features in GCC 15.1, including pack indexing and structured binding declaration as a condition

GCC 15.1
gcc.gnu.org
Hegseth had an unsecured internet line set up in his office to connect to Signal
apnews.com

Defense Secretary Pete Hegseth had an internet connection that bypassed the Pentagon’s security protocols set up in his office to use the Signal messaging app on a personal computer.

Show HN: I used OpenAI's new image API for a personalized coloring book service
clevercoloringbook.com
show
How I set up new MacBooks
catalins.tech

Learn how to setup your MacBook faster with Brewfiles and macOS defaults.

Avoiding skill atrophy in the age of AI
addyo.substack.com

Addy Osmani - How to use AI coding assistants without letting your hard-earned engineering skills wither away.

Large language models, small labor market effects [pdf]
bfi.uchicago.edu
Some __nonstring__ Turbulence
lwn.net
Mary MacLane, the Wild Woman from Butte
publicdomainreview.org

In 1902, a woman named Mary MacLane from Butte, Montana, became an international sensation after publishing a scandalous journal at the age of 19. Rereading this often-forgotten debut, Hunter Dukes finds a voice that hungers for worldly experience, brims with bisexual longing, and rages against the injustices of youth.

"Poetry City": Iowa City, Iowa
publicbooks.org

Imani Radney - Iowa City is the place where contemporary English literature matters more than anywhere else on earth.

California overtakes Japan to become the world's fourth largest economy
edition.cnn.com

Lex Harvey - California has surpassed Japan to become the world’s fourth-largest economy, Gov. Gavin Newsom said, as he warned of the threat posed by President Donald Trump’s tariffs to the tech powerhouse’s fast-growing wealth.

What If We Could Rebuild Kafka from Scratch?
morling.dev

The last few days I spent some time digging into the recently announced KIP-1150 ("Diskless Kafka"), as well AutoMQ’s Kafka fork, tightly integrating Apache Kafka and object storage, such as S3. Following the example set by WarpStream, these projects aim to substantially improve the experience of using Kafka in cloud environments, providing better elasticity, drastically reducing cost, and paving the way towards nat

Prepper Disk
prepperdisk.com

An offline computer that gives your devices access to maps, Wikipedia, how-to guides, and hundreds of survival resources for any emergency.

DeepMind releases Lyria 2 music generation model
deepmind.google

Google has long collaborated with musicians, producers, and artists in the research and development of music AI tools. Ever since launching the Magenta project, in 2016, we’ve been exploring how...

RFK Jr. Set to Launch Disease Registry Tracking Autistic People
newrepublic.com

Hafiz Rashid - And he’s using private medical records to make it happen.

A $20k electric truck with manual windows and no screens? Meet Slate Auto
arstechnica.com

Owners can buy kits to add accessories and features to the Slate Truck.

Observability 2.0 and the Database for It
greptime.com

Observability 2.0 centers around “wide events,” breaking down the silos between metrics, logs, and traces. This article outlines the core ideas and technical challenges of this new paradigm, and introduces how GreptimeDB, a native open-source database for wide events, provides a unified and efficient foundation for next-gen observability platforms.

Notation as a Tool of Thought (1979)
jsoftware.com
Petition to the Open Source Initiative: Publish the Full 2025 Election Results
codeberg.org

OSI-Concerns - Petition to Open Source Initiative to publish 2025 Board election results. Sign using pull request (see below).

A Visual Journey Through Async Rust
github.com/alexpusch

Magical Rust patterns laid out and simplified. Contribute to alexpusch/rust-magic-patterns development by creating an account on GitHub.

Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust
github.com/fourlexboehm
show

A faster FaaS Platform with full wasi-http compliance - fourlexboehm/faasta

Swift Container Plugin
github.com/apple

Build and publish container images using Swift Package Manager - apple/swift-container-plugin

Street address errors in Google Maps
randomascii.wordpress.com

I was driving around Vernon, BC a few weeks ago and I asked Google Maps for directions to 3207 30th Ave. It confidently told me where to go but luckily my passenger noticed that it was actually dir…

A Love Letter to People Who Believe in People
swiss-miss.com

Designed by Tina Roth Eisenberg (swiss-miss.com) and built by John Ford (johnford.is) - Tina on the transformative power of enthusiasm When I was eight, I made a big, hand-drawn poster that said, “Do you want to join my fan club?” and put it up in the small Swiss town where I grew up.…

Microsoft subtracts C/C++ extension from VS Code forks
theregister.com

: Cursor, Codium makers lose access as add-on goes exclusive

Scientists Develop Artificial Leaf, Uses Sunlight to Produce Valuable Chemicals
newscenter.lbl.gov

jennynuss - Researchers built a device made of perovskite and copper that mimics a green leaf.

National Airspace System Status
nasstatus.faa.gov
Why I Blog and How I Automate it (2023)
ryanwwest.com
You Can Be a Great Designer and Be Completely Unknown
chrbutler.com

I often find myself contemplating the greatest creators in history — those rare artists, designers, and thinkers whose work transformed how we see

People say they’ll pay more for “made in the USA” so we ran a test
afina.com

When we priced a U.S.-made version of our flagship product 85% higher than our Chinese-made one, 25,650 customers had the chance to vote with their wallets. Here’s what happened. As small business owners, we’ve heard it a thousand times: “I’d gladly pay more to support American-made.” We wanted to believe it. So we put

OpenAlternative – open-source Alternatives to Popular Software
github.com/piotrkulpinski

A community driven list of open source alternatives to proprietary software and applications. - piotrkulpinski/openalternative

What Actually Happens at the End of 'Trading Places'? (2013)
npr.org

A definitive answer to one of the most important questions in the history of finance.

Alphabet Q1 2025 Earnings [pdf]
abc.xyz
Apple Computers Used to Be Built in the U.S. It Was a Mess (2018)
nytimes.com
PyGraph: Robust Compiler Support for CUDA Graphs in PyTorch
arxiv.org

CUDA Graphs -- a recent hardware feature introduced for NVIDIA GPUs -- aim to reduce CPU launch overhead by capturing and launching a series of GPU tasks (kernels) as a DAG. However, deploying CUDA Graphs faces several challenges today due to the static structure of a graph. It also incurs performance overhead due to data copy. In fact, we show a counter-intuitive result -- deploying CUDA Graphs hurts performance in

OpenAI releases image generation in the API
openai.com
Discord Indexes Trillions of Messages
discord.com

Learn how Discord scaled its search infrastructure to index trillions of messages and unlock new features.

NSF director to resign amid grant terminations, job cuts, and controversy
science.org
Analysis of US congressional speeches reveals a shift from evidence to intuition
nature.com

This research explores the linguistic traces of evidence-based reasoning and intuitive decision-making in congressional speeches from 1879 to 2022. The analysis suggests that evidence-based language has continued to decline since the mid-1970s, together with a decline in legislative productivity.

Acquisitions, consolidation, and innovation in AI
frontierai.substack.com

Vikram Sreekanti - Should every startup give up and go home?

io_uring based rootkit can bypass syscall-focused Linux security tools
armosec.io

Amit Schendel - ARMO reveals how io_uring enables rootkits to bypass major Linux security tools like Falco, and Defender. Learn about the Curing rootkit and detection strategies.

Show HN: I reverse engineered top websites to build an animated UI library
reverseui.com
show
Show HN: Infat – Declaritive application assocation manager for macOS
github.com/philocalyst
show

A command line tool to set default openers for file formats and url schemes on macos - philocalyst/infat

Show HN: Lemon Slice Live – Have a video call with a transformer model
news.ycombinator.com
show
OpenVSX, which VSCode forks rely on for extensions, down for 24 hours
status.open-vsx.org

Welcome to Eclipse Foundation status page for real-time and historical data on system performance.

Manufactured consensus on x.com
rook2root.co
How I made $64k from deleted files – a bug bounty story
medium.com

Sharon Brizinov - TL;DR — I built an automation that cloned and scanned tens of thousands of public GitHub repos for leaked secrets. For each repository I…

One quantum transition makes light at 21 cm
bigthink.com

Photons come in every wavelength you can imagine. But one particular quantum transition makes light at precisely 21 cm, and it's magical.

Show HN: We made a blazing-fast, open-source GitHub front end
gitfaster.dev
show
Show HN: Zev – Remember (or discover) terminal commands
github.com/dtnewman
show

A simple CLI tool to help you remember terminal commands - dtnewman/zev

Ask HN: My CEO wants to go hard on AI. What do I do?
news.ycombinator.com
ask
Three things everyone should know about Vision Transformers
arxiv.org

After their initial success in natural language processing, transformer architectures have rapidly gained traction in computer vision, providing state-of-the-art results for tasks such as image classification, detection, segmentation, and video analysis. We offer three insights based on simple and easy to implement variants of vision transformers. (1) The residual layers of vision transformers, which are usually proc

A Principled Approach to Querying Data – A Type-Safe Search DSL
claudiu-ivan.com

Claudiu Ivan - This article explores a type-driven approach, leveraging a Domain-Specific Language (DSL), to create a powerful and maintainable search system.

One Prompt Can Bypass Every Major LLM's Safeguards
forbes.com

Tony Bradley - Researchers have discovered a universal prompt injection technique that bypasses safety in all major LLMs, revealing critical flaws in current AI alignment methods.

Asymmetric Content Moderation in Search Markets: The Case of Adult Websites
papers.ssrn.com
A Tour Inside the IBM Z17
community.ibm.com
You Need Customers to Succeed in Small Business
goodenough.us

For your small business to survive, you need customers. Not just to buy once. You need them to come back, tell their friends, and trust you over time. And yet, too many small businesses make it weirdly hard to talk to them. Well, duh, right? I agree, yet I see small businesses fumbling this over and over. All the attention when discussing business is about giant corporations. Whether they’re selling servers or vehicl

Protecting NATS and the integrity of open source
cncf.io

When a company contributes a project to the Cloud Native Computing Foundation (CNCF), it’s not just sharing code—it’s making a commitment to the open source community. It’s a pledge to uphold open…

Fundamental flaws of SIMD ISAs (2021)
bitsnbites.eu
Instant SQL for results as you type in DuckDB UI
motherduck.com

MotherDuck - Type, see, tweak, repeat! Instant SQL is now in Preview in MotherDuck and the DuckDB Local UI. Bend reality with SQL superpowers to get real-time query results as you type. | Reading time: 8 min read

Ask HN: Share your AI prompt that stumps every model
news.ycombinator.com
ask
America's reputation drops across the world
ipsos.com
EU Energy labelling will apply to phones and tablets from June 2025
energy-efficient-products.ec.europa.eu

Product Energy Efficiency - Smartphones and Tablets. The 2023 regulations cover smartphones, feature phones, cordless phones and slate tablets. They do not apply to tablet computers, to products with flexible main display (roll-up), and to smartphones for high security communication. Energy labelling is foreseen only for smartphones and slate tablets.

I wrote to the address in the GPLv2 license notice (2022)
code.mendhak.com

I was curious about the 51 Franklin Street address in the GPLv2 license notice so I wrote to them as they said

Show HN: I made my own TRMNL e-ink device
stavros.io
show
Give People Something to Look At (2021)
staysaasy.com

Giving people something to look at can be the difference between an awkward chat and an amazing conversation.

Assignment 5: Cars and Key Fobs (2021)
web.stanford.edu
On loyalty to your employer (2018)
medium.com

Your employer pays you to spend more time with them than you spend with your family and/or loved ones. Your employer is one of the biggest influencers on your mental well-being. Your employer can and will replace you in a heartbeat if absolutely necessary. Let me be explicitly clear, your employer

Preferences (coming soon)

Stories Count
100
total stories returned
Median
97
story points
Mean
159
avg story points