Growing up in “404 Not Found”: China's nuclear city in the Gobi Desert

https://substackcdn.com/image/fetch/$s_!jnum!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F02174a60-4e87-43e2-a05d-3eec20ad3fb1_1392x926.png
The author grew up in a secret Chinese nuclear city called 404 in the Gobi Desert, built by elite scientists and laborers in 1958. The city was a utopian bubble with its own department stores, cinemas, and zoo, but its dark side included radioactive materials and isolation.

Calendar

https://www.neatnik.net/calendar/card.jpg
A simple printable calendar with the full year on a single page

Tell HN: Google ignores English searches and forces localized results

Google Search is prioritizing localized results in native language despite English settings. User location and account language override explicit query language, causing translation and limited English results.

Building a macOS app to know when my Mac is thermal throttling

https://stanislas.blog/2025/12/macos-thermal-throttling-app/mac-throttle_hu_fa2e75ce3cb92b4b.png
The user built a menu bar app called MacThrottle to monitor thermal throttling on their Apple Silicon MacBook Air, using a combination of powermetrics and Darwin notifications to track the thermal state. The app displays a thermometer icon and a graph showing thermal history, and can alert the user when the state changes, helping them identify when their Mac is overheating.

tc-ematch(8) extended matches for use with "basic", "cgroup" or "flow" filters

https://man7.org/tlpi/cover/TLPI-front-cover-vsmall.png
The tc filter add command uses ematch syntax to match packet data with various conditions such as cmp, meta, nbyte, u32, ipset, and ipt. These conditions can be combined using and or operators to create complex match rules.

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png
Researchers developed a formal framework for integrating Formal Verification tools with Large Language Models, providing provable guarantees for termination in multi-stage verification pipelines. The framework offers predictable resource planning and performance budgeting for safety-critical software.

Replacing JavaScript with Just HTML

https://www.htmhell.dev/adventcalendar/2025/27/accordion-expanding-content.gif
JavaScript is being replaced by native HTML and CSS methods for simpler tasks to reduce user download and improve performance. HTML elements like details and input with datalist can replace JavaScript accordions and dropdowns.

Never Use Pixelation to Hide Sensitive Text (2014)

https://d2ycs4ofblah20.cloudfront.net/posts/20140725-why-you-should-never-use-pixelation/images/blur_bill.jpg
Blurring images with mosaic effects to hide sensitive information is not secure as it can be reversed using a script to generate and compare blurred images of possible account numbers. A better solution is to simply color over the information to leave no visual information behind.

Learn computer graphics from scratch and for free

https://www.scratchapixel.com/home-images/blog-card.png
This section provides reference material on computer graphics and image processing. It covers topics like image file formats and color management.

One year of keeping a tada list

https://substackcdn.com/image/fetch/$s_!-pJb!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3c1a2a05-8c3c-4097-817d-cd7b38fad31c_837x1060.png
The user keeps a tada list to track daily accomplishments, which helps focus on completed tasks and acknowledges new skills learned. The list also reveals forgotten projects and adds stress due to daily expectations.

Global Memory Shortage Crisis: Market Analysis

https://www.idc.com/wp-content/uploads/2025/12/image.png
A global semiconductor memory chip shortage is causing DRAM prices to surge due to high demand from AI data centers. This shortage may lead to a 2.9-5.2% contraction in the global smartphone market and a 4.9-8.9% decline in the PC market in 2026.

We "solved" C10K years ago yet we keep reinventing it (2003)

The article discusses how to configure operating systems and write code to support thousands of clients, focusing on Unix-like operating systems and providing examples of various readiness notification schemes such as select, poll, and epoll. It also covers asynchronous I/O and thread support, including the use of libraries like ACE, ASIO, and libevent, and the performance of different thread ...

Floor796

https://floor796.com/assets/og/og-v2.jpg
A huge animation scene with many references to memes, games, films, series, anime, music groups

A "Prime" View of HN

new | past | posts | mersenne | germain | fermat | palindrome | pk | 2 | 4 | 6 | 8 | 10 | 12 | e≤k² | e<√p | submit Pure Math | Deterministic | API | Security | Legal | Apply to ζ | Contact

Streaming Uploads with LiveView

https://fly.io/static/images/jason.webp
Fly.io provides a simple way to run Phoenix applications on their hosted hardware. They offer a basic file upload solution using LiveView, which handles file uploads, progress, and cleanup.

Rex is a safe kernel extension framework that allows Rust in the place of eBPF

https://opengraph.githubassets.com/8eb3fc494f6e93c5623294f015fcf47e0b14704481109485c628a26b46167a95/rex-rs/rex
Rex is a kernel extension framework that allows loading Rust programs in place of eBPF, providing safety guarantees through Rust's compiler. It avoids eBPF's verifier restrictions and offers better optimization opportunities.

2D Signed Distance Functions

https://iquilezles.org/articles/distfunctions2d/gfx00.png
2d primitives can be rounded by subtracting a constant from their distance function. if you want to convert arc, circle cross, moon, sc, etc., you can do it with vec2 p - h.xyy = abs(p.y)... and then subtract d from the resulting length x y z / r n! ;

Langfuse (YC W23) Is Hiring in Berlin, Germany

https://langfuse.com/_next/image?url=%2F_next%2Fstatic%2Fmedia%2Fteam.0f5b2c36.jpg&w=3840&q=75
Langfuse is a widely adopted LLM Engineering platform with 19,719 GitHub stars and 23.1M+ SDK installs per month. It's backed by top investors and trusted by 19 Fortune 50 and 63 Fortune 500 companies.

How we lost communication to entertainment

https://ploum.net/files/framalistes.jpg
The author argues that the Fediverse is not a communication network but a social media platform, and users don't mind losing messages due to their experience with algorithmic platforms.

Hungry Fat Cells Could Someday Starve Cancer

https://www.ucsf.edu/sites/default/files/styles/article_feature_banner__image/public/2025-02/fat-organoid-banner.jpg
Researchers at UC San Francisco used CRISPR to turn white fat cells into "beige" fat cells that consume calories to fight cancer. The approach, funded by NIH, uses engineered fat cells to deprive tumors of nutrients, showing promise in treating various types of cancer.

Fathers’ choices may be packaged and passed down in sperm RNA

https://www.quantamagazine.org/wp-content/uploads/2025/12/Epigenetic-Sperm-cr-Weerasekera-Lede.webp
Researchers have found that sperm cells carry more than just DNA, including molecules that convey information about a father's fitness, such as diet and stress levels, to his offspring. These non-DNA transfers may influence genomic activity and exert control over the embryo's development and the adult it will become.

Last Year on My Mac: Look Back in Disbelief

https://eclecticlight.co/wp-content/uploads/2025/12/understain4.jpg?w=1024
The author is disappointed with macOS Tahoe's Liquid Glass interface changes, citing issues with rounded corners, inconsistent design, and excessive transparency. The new design makes it harder to distinguish controls, icons, and content, leading to visual clutter and accessibility problems.

Deathbed Advice/Regret

The author dislikes deathbed regrets turned into advice, finding them cheap and unhelpful. They value advice from people who acted on their experiences, not just regrets.

Gpg.fail

"in the hurry of leaving i forgot the sites src at home, sorry, had to rewrite the whole thing. expect a nicer site by tomorrow. im patching as we speak." - reaper (<- to blame)

Rainbow Six Siege hacked as players get billions of credits and random bans

https://www.shanethegamer.com/wp-content/uploads/2024/09/HELLBOY-THE-CROOKED-MAN-360x240.webp?x67281
Rainbow Six Siege is experiencing a major crisis with widespread hacks and exploits causing account disruptions and massive in-game credit gains. Ubisoft is investigating the issue but has not provided a timeline for recovery or confirmed the cause of the problem.

Dialtone – AOL 3.0 Server

https://dialtone.live/MACOS.jpg
A fan-built server recreates AOL's 1990s P3 protocol for a retro internet experience. The Dialtone server, powered by Grok AI, allows users to chat and explore the early internet without dial-up or downloads.

Functional programming and reliability: ADTs, safety, critical infrastructure

https://github-production-user-asset-6210df.s3.amazonaws.com/10719452/490148024-7ae9252f-d4eb-47ba-9f4d-626de8a42b5b.png?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAVCODYLSA53PQK4ZA%2F20251228%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=20251228T011418Z&X-Amz-Expires=300&X-Amz-Signature=be29f97fd134dde6b2ba8fcf5192bb9c21da90510ee15b8981a19c625ffb86da&X-Amz-SignedHeaders=host
Functional programming and Algebraic Data Types help prevent bugs by modeling domain rules in types, making invalid states unrepresentable and reducing production incidents. By using pure functions, immutability, and smart constructors, reliability is designed into the system, making it safer and more predictable.

Ask HN: Best Podcasts of 2025?

User discusses favorite podcasts including The Rest is Politics, The Rest is History, and Lex Fridman. They also mention movie-related podcasts and Ed Zitron's BetterOffline as a top choice.

The Origins of APL (1974) [video]

Liberating Bluetooth on the ESP32

https://exquisite.tube/lazy-static/previews/c30b17f2-00c1-4aeb-9996-601cfd5abe0b.jpg
Despite how widely used the ESP32 is, its Bluetooth stack remains closed source. Let’s dive into the low-level workings of a proprietary Bluetooth peripheral. Whether you are interested in reverse ...