1. I made a game where you build a CPU from logic gates (select.supply)
A collection of the best-designed products.
2. 1,741 "informed" consents with one click? GDPR complaint filed (noyb.eu)
dict.cc requests users to consent to the tracking by 1,741 "partner" companies. This makes it impossible for people to know what happens to their data
A GDPR complaint has been filed against dict.cc for requiring users to consent to tracking by 1,741 partner companies, raising concerns about data transparency and user consent. The situation highlights significant challenges in understanding how personal data is handled online.
3. The Glass Famine (edconway.substack.com)
4. Memo-1: A 6502 computer built from scratch, using a Minitel as its terminal (github.com)
A simple 6502 based computer. Contribute to MemoireMorte/Memo-1 development by creating an account on GitHub.
A developer is building a basic 6502 computer and using a Minitel terminal for interaction. Check out the GitHub page for insights into this retro computing project and how you can contribute.
5. Why Don't People Use Formal Methods? (www.hillelwayne.com)
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like "its too expensive!!!" or "website isn't airplane!!!" These are sorta kinda true but don't explain very much. I wrote this to provide a larger historical picture of formal methods, why they're actually so unused, and what we're doing to make them used.
Formal methods in software engineering face significant barriers to adoption, often attributed to misconceptions about their cost and applicability. This article offers a historical perspective on these challenges and discusses ongoing efforts to increase their utilization in the industry.
6. Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free (rune.build)
Rune 1.1 makes Rune free for personal use and adds a perpetual commercial license, a workspace symbol index, first-class Python support, an Emacs editor, and substantial improvements to SSH workspaces.
Rune 1.1 is now free for personal use and introduces a commercial license option, along with features like a symbol index, enhanced SSH workspaces, and support for Python and an Emacs editor. These updates aim to improve the overall user experience and functionality for developers.
7. 3D Pinball for Windows (1995) (98.js.org)
8. Why DNA damage from smoking and UV rays cause cancer in some but not others (www.cam.ac.uk)
Scientists have found the first direct evidence of the powerful role our genetic makeup plays in influencing our risk of cancer, with inherited genes interacting with acquired genetic mutations to shape how tumours evolve.
Research reveals how genetic factors influence cancer risk, showing that inherited genes can interact with mutations caused by smoking and UV exposure to affect tumor development. Understanding these interactions could lead to more personalized approaches to cancer prevention and treatment.
9. Europe's fires are just the start (economist.com)
10. Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (github.com)
Terminal UI to manage AI coding-agent sessions (Claude Code, OpenCode, Codex, Grok Build) in tmux: live status, group tree, live pane preview, resource gauges. - YoanWai/agent-manager
Manage your AI coding-agent sessions with a new terminal UI designed for tmux, offering live status updates, resource gauges, and a group tree for better organization. This tool simplifies the process of running and monitoring multiple AI coding agents like Claude Code and Codex.
12. NSF pilots 4-year PhDs with industry research placements (www.nsf.gov)
The U.S. National Science Foundation announced a $47 million investment over five years, along with additional financial commitments from nearly three dozen universities and private industry...
The National Science Foundation is launching a pilot program for four-year PhDs that includes research placements in industry, backed by a significant $47 million investment and support from universities and private companies. This initiative aims to enhance the connection between academia and the workforce, potentially reshaping doctoral education.
13. Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools (prized.dev)
Prized lets ops, support, and finance teams build and ship secure internal tools with AI. Company data pre-connected and scoped, an audit trail on every access, one-click deploy behind your company sign-in.
Prized empowers non-technical staff to create customized internal tools without needing to manage complex integrations or API keys. Founders Marinos and Hudson share how their platform simplifies app development, allowing employees to focus on their needs rather than technical hurdles.
14. Saber-toothed cats became inbred–and struggled to move–before they went extinct (www.science.org)
15. I timed 7,194 journeys to find London's most equidistant pub (equidistance.io)
No pub in London is within an hour of all 33 boroughs. The Greene Man comes closest. 7,194 TfL journeys timed, one slightly unfair city.
After analyzing over 7,000 journeys across London, the Greene Man pub emerges as the most centrally located, though no pub can be reached within an hour from all boroughs. Discover how the city’s unique layout affects pub accessibility.
16. Kuna: Decompiler Development in the Age of Coding Agents (noelo.org)
Background, motivation, and thoughts around the release of Kuna, a new agent-first decompiler designed for autonomous refinement.
Kuna is a new decompiler that focuses on using autonomous agents for refining code, highlighting its development motivations and potential impact on coding practices. Discover how this innovative tool aims to change the landscape of code analysis.
17. Solving poker in custom WebGPU kernels (phulin.me)
Solving poker in the browser with custom WebGPU kernels
Learn how custom WebGPU kernels can be utilized to solve poker directly in your browser, combining gaming and cutting-edge web technology. Discover the implications of this approach for both developers and players.
18. How Old Is Ann? (quuxplusone.github.io)
From “Topics of the Times,”
New York Times of 1924-11-17:
New York Times of 1924-11-17:
19. Carolina Cloud pays SOFR on unused prepaid credits (docs.carolinacloud.io)
Your organization
20. Show HN: Claude-account – switch Claude Code accounts without logging in again (github.com)
Switch between isolated Claude Code accounts on Linux without logging in again. - hamzarehmandeveloper/claude-account
A developer created a command-line interface to simplify switching between multiple Claude Code accounts without the hassle of logging in each time. This tool aims to streamline workflows for users managing both work and personal projects.
21. How to Mount a Balcony Awning (solar.lowtechmagazine.com)
A balcony awning provides shading and cooling with minimal time, effort, and expense.
Learn how to easily install a balcony awning that can enhance your outdoor space by providing shade and cooling without breaking the bank. This guide offers practical tips for a quick and affordable setup.
22. ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms (www.bloomberg.com)
23. SDL_GPU minimal, single-header, high-performance 2D graphics painting library (github.com)
Single header high-performance 2D graphics painter for SDL3 - n67094/SDL_gp
SDL_GPU is a lightweight, single-header library designed for high-performance 2D graphics painting using SDL3, making it an efficient choice for developers looking to enhance their graphics capabilities with minimal overhead.
25. Concurrency, interactivity, mutability, choose two (www.n16f.net)
You have a Common Lisp program running, multiple threads listening for network connections, others processing data in the background. You were really careful making sure that there are no data access conflicts. Concurrency, check. You use Emacs and SLIME to connect to your server, inspect its state. Interactivity, check. You realize a global hash table contains an incorrect value; no problem, just evaluate a simple REMHASH expression. Mutability, check. Unfortunately another thread happens to read the hash table while the form is being evaluated. Game over.
Managing concurrency and interactivity in a Common Lisp program can be tricky, especially when multiple threads are involved. The piece illustrates a real-world scenario where ensuring data integrity becomes a challenge, highlighting the delicate balance between mutability and thread safety.
26. Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (github.com)
Grafana AI SDK for Go — streaming, tool-calling AI backends that speak fluent @ai-sdk/react - grafana/ai-sdk
Grafana has introduced an SDK for Go that enables streaming and tool-calling functionalities for AI backends, along with a React library for frontend integration. This development could simplify how developers interact with AI tools in their applications.
27. ESP32-C6 Power Consumption: Arduino vs. Zephyr vs. ESP-IDF Comparison (www.qoitech.com)
Learn from our Arduino, ESP-IDF, and Zephyr RTOS ESP32-C6 power consumption benchmark for most efficient IoT framework.
A benchmark comparison reveals how Arduino, ESP-IDF, and Zephyr RTOS stack up in terms of power consumption for the ESP32-C6, helping developers choose the most efficient framework for their IoT projects. Discover which option offers the best performance for power-sensitive applications.
28. Recursive Filters: SMA, EMA, Low‑Pass, and a Tiny Kalman (www.staszewski.xyz)
29. Angels in Coptic Magic I: Introduction (www.coptic-magic.phil.uni-wuerzburg.de)
The Assumption of the Virgin by Francesco Botticini (1475/6) depicting an angelic hierarchy in three spheres and nine orders, following the description by Pseudo-Dionysus the Areopagite. The Nation…
30. You can't solve computer use by ignoring the interface (steelmanlabs.com)
Agents mostly avoid the interface — burning trillion-scale reasoning to work around clicks that don
AI agents are finding ways to bypass user interfaces, relying on complex reasoning instead. This raises questions about how we design technology and the implications for user experience.