Thunderbird: Fluent Windows 11 Design

https://camo.githubusercontent.com/c9738a379490c923084f32d3687ff2091b28ddc2ede9f969c8438fcd7d1f8f63/68747470733a2f2f7777772e64616e6e796b696e672e636f2e756b2f6769746875622f666c75656e74626972642d707265766965772e706e67
FluentBird is a Thunderbird theme implementing Windows 11 design and Mica transparency. It requires a clean Thunderbird setup with no other theme selected.

Linux Reaches 5% Desktop Market Share in USA

https://ostechnix.com/wp-content/uploads/2025/07/Linux-Reaches-5-Desktop-Market-Share-in-USA.jpg
Linux desktop market share reaches 5.03% in the USA (June 2025) according to StatCounter. Discover why more users are choosing Linux.

cppyy: Automatic Python-C++ Bindings

cppyy is a Python-C++ bindings generator for calling C++ from Python and vice versa. It provides run-time generation, lazy loading, and support for advanced C++ features.

Shipping WebGPU on Windows in Firefox 141

https://mozillagfx.wordpress.com/wp-content/uploads/2019/02/gfx-logo-2.png
Firefox 141 will release WebGPU on Windows, enabling high-performance computation and rendering for web content. WebGPU will be available on Mac and Linux soon, with Android support to follow.

AWS open-sourced Postgres active-active replication extension

https://opengraph.githubassets.com/79f1f1293815db271fcdfc3cea487b745cc95ad6f75f247e8288e58e950f390b/aws/pgactive
Database replication copies changes between instances for high availability, reduced latency, and data migration. It supports active-standby and active-active topologies, with the latter requiring application design to handle conflicts and replication lag.

Pascal's Scams (2012)

Pascal's scams are low-probability, high-consequence beliefs that often rely on poor information and exaggerate potential outcomes. They can be unfalsifiable and lead to wasted time and resources, making it better to focus on real-world data and evidence.

Tilck: A Tiny Linux-Compatible Kernel

https://camo.githubusercontent.com/91fe93df33d047d1b7156e3ba3cc096fea3ec3049fb74e6487b8d142834aff41/687474703a2f2f7676616c74636865762e6769746875622e696f2f74696c636b5f696d67732f76322f74696c636b2d6c6f676f2d76352e706e67
Tilck is an educational monolithic kernel designed to be Linux-compatible at binary level, running on i686 and RISCV64 architectures. It has a simple design, allowing users to compare Linux and Tilck performance.

Ukrainian hackers destroyed the IT infrastructure of Russian drone manufacturer

https://prm.ua/wp-content/uploads/2025/07/photo_5454171646727420829_y-1024x590.jpg
Ukrainian cyber activists, with military intelligence support, paralyzed Russian drone manufacturer Gaskar Integration's operations. They stole 47 TB of data, including drone production info and employee questionnaires.

Cloudflare 1.1.1.1 Incident on July 14, 2025

MARS.EXE β†’ COM (2021)

https://chaos.if.uj.edu.pl/~wojtek/MARS.COM/mars_0.png
A comprehensive study of the 1993 Martian landscape renderer by Tim J. Clarke has reduced the original 5649-byte code to 1517 bytes. The code has been disassembled, rewritten, and optimized for size.

Show HN: DataRamen, a Fast SQL Explorer with Automatic Joins and Data Navigation

https://dataramen.xyz/dataramen.svg
A cozy web GUI for MySQL and PostgreSQL β€” made for developers who like to move fast and stay focused. DataRamen runs locally using Node.js. If you don’t have it yet, download the latest version (v22 or above) from the NodeJS website.

GPUHammer: Rowhammer attacks on GPU memories are practical

https://gpuhammer.com/gpuhammer_icon.png
Researchers from the University of Toronto discovered a Rowhammer attack on NVIDIA A6000 GPUs, inducing bit flips in GDDR6 memory. Enabling ECC can mitigate this risk, but it may introduce up to a 10% slowdown for ML inference workloads.

Six Years of Gemini

The Geminiprotocol.net project has been quiet, but plans are in place to finalize spec issues by Apollo 15 day. The project will discontinue size statistics reports, focusing on community contributions and patches.

Show HN: Shoggoth Mini – A soft tentacle robot powered by GPT-4o and RL

https://www.matthieulc.com/posts/shoggoth-mini/elegnt.png
The user built a soft tentacle robot called Shoggoth Mini to explore expressiveness in robots, using a 2D control projection and reinforcement learning to achieve natural movements. The robot's expressiveness and unpredictability made it feel alive, but also raised questions about the threshold of agentic behavior that humans can comfortably interact with.

Reflections on OpenAI

https://calv.info/api/og?title=Reflections%20on%20OpenAI
The author left OpenAI after three weeks, having joined in May 2024, due to a craving for a fresh start. They were conflicted about leaving, but the company's fast growth and changing roles made it difficult to adjust.

NIST ion clock sets new record for most accurate clock

https://www.nist.gov/sites/default/files/styles/960_x_960_limit/public/images/2025/07/09/DSC02700%20copy.jpg?itok=1eq9i2hS
Researchers at NIST improved their atomic clock based on a trapped aluminum ion, achieving 19 decimal places of accuracy and 41% greater accuracy than the previous record. The new clock is also 2.6 times more stable than any other ion clock, enabling new scientific and technological advances.

Where's Firefox going next?

https://images.pickapic.live/get/ce5138fc-5ad6-c080-23fc-2a38543244fb-1684430071.jpeg
Users want Firefox to improve its performance, especially on low-end devices, and add features like tab grouping, workspaces, and better screen sharing options. They also request more customization options, better UI design, and the integration of features like ad filtering, DNS over Oblivious HTTP, and built-in OCR and image search functions.

Pixel Piranhas

https://rybakov.com/images/hiq/pixel_piranas3.jpg
User feels powerless when exposed to bad news online and wants to express discontent. They created a browser extension to virtually rip apart the offending webpage with a button.

Documenting what you're willing to support (and not)

Running a million-board chess MMO in a single process

https://eieio.games/images/a-million-realtime-chess-boards-in-a-single-process/omcb-rooklyn.webp
One million chessboards is a 1000x1000 grid of chess boards. the game was built using golang, and has 32 million pieces - and 0ms wait times compared to other games i've made based on the same rules! the client sends moves to clients every 200 milliseconds unless the batch becomes very large. players may send moves at different rates if they want to change the position of

To be a better programmer, write little proofs in your head

The user shares a technique for writing code faster and more accurately by mentally sketching a proof of the code's correctness as they write it, and suggests several strategies for reasoning about code, including looking for monotonicity and immutability, using pre- and post-conditions, and subdividing code into small units that maintain invariants. The user also recommends practicing ...

LLM Daydreaming

https://gwern.net/static/img/logo/logo-whitebg-large-border.png
A proposed "day-dreaming loop" could help large language models produce breakthroughs by continuously sampling and combining concepts in the background. This process, called the "day-dreaming tax," would be expensive but could create a moat against model distillation and offer a path around the data wall.

Atopile – design circuit boards fast – with code

https://atopile.mintlify.app/mintlify-assets/_next/image?url=%2Fapi%2Fog%3Fdivision%3DDocumentation%26title%3DIntroduction%26description%3DDesign%2Bcircuit%2Bboards%2Bblazing%2Bfast%2B-%2Bwith%2Bcode%26logoLight%3Dhttps%253A%252F%252Fmintlify.s3.us-west-1.amazonaws.com%252Fatopile%252Flogo%252Flight.svg%26logoDark%3Dhttps%253A%252F%252Fmintlify.s3.us-west-1.amazonaws.com%252Fatopile%252Flogo%252Fdark.svg%26primaryColor%3D%2523f95015%26lightColor%3D%2523f95015%26darkColor%3D%2523f95015%26backgroundLight%3D%2523FEFCF8%26backgroundDark%3D%2523151413&w=1200&q=100
atopile brings the power of software development workflows to hardware design. By describing electronics with code, you can leverage, modularity version control, and deep validation. Capture design intelligence and constraints directly in your code, enabling auto-selection of components, embedded calculations checked on every build, and reliable, configurable modules.

The FIPS 140-3 Go Cryptographic Module

https://go.dev/doc/gopher/runningsquare.jpg
Go now has native FIPS 140 support built into its standard library and go command, making it the easiest way to comply with FIPS 140. The FIPS 140-3 validated Go Cryptographic Module is included in Go 1.24 and provides a better compliance profile than previous solutions.

My Family and the Flood

A family's river house was destroyed by a flood on the Guadalupe River, separating them and causing the death of their 20-month-old son, Clay. The survivors, including the mother, father, and 4-year-old daughter Rosemary, were rescued and reunited, but the experience left them with physical and emotional scars.

Algorithms for making interesting organic simulations

https://bleuje.com/physarum-explanation/images/amanda-physarum-screenshot-0.png
The article discusses techniques for creating simulations using algorithmic methods for artistic purposes. It explains a simulation algorithm that reproduces the behavior of organisms like Physarum polycephalum.

Mostly dead influential programming languages (2020)

https://www.hillelwayne.com/post/influential-dead-languages/IDSkeyboard.jpg
The author discusses "mostly dead" programming languages that significantly influenced modern computing, including COBOL, ALGOL, APL, BASIC, PL/I, SIMULA, and Smalltalk. These languages introduced concepts like record data, lexical scoping, array processing, and object-oriented programming that are still used today.

Nextflow: System for creating scalable, portable, reproducible workflows

https://repository-images.githubusercontent.com/9052236/ecd9481e-f4b3-4324-b832-a08ee1d99564
Nextflow is a workflow system for creating scalable, reproducible workflows based on the dataflow model. It supports various execution platforms and software dependencies, enabling parallel and distributed pipelines.

The beauty entrepreneur who made the Jheri curl a sensation

https://20627419.fs1.hubspotusercontent-na1.net/hub/20627419/hubfs/Daily%20Newsletter%20Images/Daily%20Images/July%2013%202025/Jheri_curl_share.png?width=524&height=393&name=Jheri_curl_share.png
Comer Cottrell's Pro-Line Curly Kit revolutionized the Black haircare industry in the 1980s by making Jheri curls accessible at home for $8. The product's success during the recession led to transformative growth in the industry, with many companies creating maintenance products to support the style.

The Story of Mel, A Real Programmer, Annotated (1996)

A programmer named Mel wrote machine code for old computers, optimizing his code by hand to make it run faster. He was a genius who refused to compromise his integrity, even when asked to cheat in a blackjack program.