States pick sides, coders go wild!

Our Phosphorescent World

Key Points

• Phosphorus is essential and globally limiting, cycling through Earth’s systems.
• Geological exposure events (Pangaea breakup, Himalayas uplift) increased phosphorus inputs and productivity.
• Human phosphate mining and runoff drive environmental changes, including eutrophication and degraded landscapes.

The Copenhagen Trap: How the West made passivity the only safe strategy

Key Points

• Common law’s 'no duty to rescue' rule emphasizes liability for actions, not omissions.
• Good Samaritan statutes typically provide immunity for helpers without mandating assistance.
• Utilitarian and deontological ethics frame opposing views on the morality of inaction.

Jiga (YC W21) Is Hiring Product Designer

Key Points

• First Product Designer role focused on efficiency-driven UI/UX for a manufacturing procurement platform.
• Fully remote, minimal-meeting culture emphasizing performance over hours and autonomy.
• Senior-level requirements (6+ years, strong UI portfolio) with benefits including stock options and annual offsites.

Dynamic Skillset Reference Architecture

Key Points

• Agents dynamically discover and load skillsets at runtime based on user intent.
• New skillsets can be added without changing core configuration; the agent auto-discovers them.
• On-demand loading preserves performance and mitigates context window limitations.

Magicians of the Miniature (2014)

Key Points

• Planned tribute to Ken Marschall and Bruce Block delayed; interim focus on miniature effects.
• Retrospective highlights techniques and historical examples, including Nicholas Nickleby (1947).
• Author details practical methods for miniature photography and amateur VFX, influenced by Earthquake (1974).

What's Hiding Inside Haribo's Power Bank and Headphones?

Key Points

• CT scans revealed misaligned and poorly stabilized pouch cells in the Haribo power bank.
• Earbuds showed torn cathode layers and inadequate anode overhang, with measurements far below typical industry norms.
• Defects were also found in charging cases, indicating systemic quality issues across the product line.

Israel's IDF Bans Android Phones: iPhones Now Mandatory

Key Points

• IDF to mandate iPhones and ban Android for senior officers’ official use.
• Media reports say only iPhones will be allowed as military phones; Android limited to personal, non-operational use.
• Policy follows prior IDF security drills and comes despite Pixel’s new DoDIN approval and Android security upgrades.

Silicon Valley's Man in the White House Is Benefiting Himself and His Friends

Key Points

• David Sacks helped draft the A.I. Action Plan and organized a high-level A.I. forum near the White House.
• President Trump signed executive orders to fast-track the A.I. industry.
• Recent administration actions include foreign policy moves, immigration changes, and a Georgia case dismissal.

Austria's armed forces rely on LibreOffice instead of Microsoft

Key Points

• Austrian Armed Forces will adopt LibreOffice over Microsoft Office.
• The move is framed as advancing digital sovereignty.
• Reported by ORF Ö1’s Digital.Leben and journalist Sarah Kriesche.

CachyOS: Fast and Customizable Linux Distribution

Key Points

• Optimized linux-cachyos kernel using the BORE scheduler.
• Wide choice of desktop environments and window managers during online installation.
• CPU-focused kernel builds with x86-64-v3/v4, Zen4, and LTO optimizations.

RL is more information inefficient than you thought

Key Points

• RL provides a binary reward per trajectory, yielding low information per sample early in training.
• Supervised learning offers −log(p) bits per sample and dense token-level signals.
• Scaling-law power laws imply equal compute per order-of-magnitude pass-rate improvements, tempering RL’s apparent advantages.

The Space of Minds

Key Points

• Animal intelligence is shaped by survival-driven, social, and adversarial optimization pressures.
• LLMs are molded by next-token prediction, RL fine-tuning, and commercial A/B testing.
• Differences in substrate and objectives lead to jagged LLM performance on narrow tasks.

OpenBSD: Free, Functional, and Secure

Key Points

• OpenBSD is a free, multi-platform 4.4BSD-based OS emphasizing security and standards.
• OpenSSH originated from the OpenBSD project, illustrating its broader impact.
• Development is volunteer-driven and funded through The OpenBSD Foundation.

Advent of Code 2025

Key Points

• Puzzles are accessible, language-agnostic, and run efficiently on older hardware.
• Authentication uses OAuth via external services and stores limited public data.
• Usability and support features include examples, test-case guidance, high-contrast mode, and subreddit help.

Paul Hegarty's updated CS193p SwiftUI course released by Stanford

Key Points

• First six Spring 2025 CS193p SwiftUI lectures and materials are available.
• Course code is mostly compatible with iOS 26/Xcode 26 but excludes new features.
• Curriculum builds the CodeBreaker app, covering SwiftUI basics, state, gestures, and data flow.

Norway wealth fund to vote for human rights report at Microsoft, against Nadella

Key Points

• Norway’s sovereign wealth fund supports a Microsoft human-rights risk report proposal.
• It will vote against Satya Nadella’s re-appointment as board chair and his pay package.
• Votes will be decided at Microsoft’s Dec. 5 annual general meeting.

Windows drive letters are not limited to A-Z

Key Points

• Non-standard drive identifiers (e.g., +:\) can be created with subst and used in cmd.exe.
• Win32 paths are translated to NT namespace paths (\??\...) prior to NT API calls.
• Object Manager links (e.g., C: → \Device\HarddiskVolumeX) underpin drive path resolution; volume GUID paths are equivalent alternatives.

Migrating Dillo from GitHub

Key Points

• Dillo will leave GitHub for a self-hosted server with mirrors.
• GitHub’s JS-heavy frontend blocks use within Dillo and is resource-intensive.
• Redundancy, workflow alignment, and moderation concerns drive the migration.

Don't throw away your old PC–it makes a better NAS than anything you can buy

Key Points

• Use an old PC to build a cost-effective NAS.
• Prefer Intel CPUs with QuickSync for media transcoding; add a GPU if using AMD.
• Choose SSD (NVMe or SATA) for the OS and ensure sufficient RAM for workloads.

Geothermal Breakthrough in South Texas Signals New Era for Ercot

Key Points

• World’s first Pressure Geothermal System built in 12 months in Christine, Texas.
• 3‑MW, 4–6‑hour storage asset targets firm capacity for ERCOT; interconnection expected December 2025.
• USDA New ERA funding supports SMECI’s transition to 400 MW solar and 200 MW battery by 2027.

The Easiest Way to Build a Type Checker

Key Points

• Bidirectional type checking separates inference and checking for simpler implementation.
• Function definitions typically require annotations; bodies can remain annotation-free.
• A full working implementation demonstrates types, expressions, infer, and check logic.

The Undermining of the CDC

Key Points

• CDC revised vaccine–autism messaging under HHS Secretary Robert F. Kennedy Jr., drawing criticism from medical groups.
• HHS plans funding for vaccine–autism studies and appointed a vaccine-skeptic CDC deputy.
• FDA countered a Trump statement, affirming no established causal link between Tylenol and autism.

Discovering that my smartphone had infiltrated my life

Key Points

• Loss of SMS access disrupted authentication and service coordination.
• Daily tasks (alarm, weather, transit info, email) depended on the phone.
• A secondary Wi‑Fi device was critical to complete the replacement process.

Modern cars are spying on you. Here's what you can do about it

Key Points

• Connected car systems collect extensive driver and vehicle data, raising privacy concerns.
• FTC barred GM for five years from disclosing certain driver data after consent issues.
• Drivers can use tools and settings (e.g., Privacy4Cars, Toyota app, FordPass, BMW infotainment) to limit data sharing.

Show HN: I engineered a 2mm micro-bearing D20 ring that free-spin for 20 seconds

Key Points

• 2mm-thick ring with true micro-bearing spins for 20+ seconds.
• CNC machined inner race (~0.01mm tolerance); no lubricants or bushings.
• Optional PVD finish; can be marked 1–20 to serve as a silent randomizer.

Atlas Shrugged

Key Points

• HP maintained three major business lines: test & measurement, computers (since 1966), and printing & imaging.
• The Legal Department operated at significant scale (~300 people; ~$50M in outside counsel spend).
• HP engaged a global consulting firm around 1997 to study large-company growth dynamics.

Apple Desktop Bus Protocol (2021)

Key Points

• ADB is a single-bus, host-driven protocol with nominal 10 kb/s speed and device request signaling.
• Devices have reassignable addresses and up to four 16-bit registers for data and control.
• An STM32 “Blue Pill” implementation and GitHub repository are provided for ADB-to-USB conversion.

Show HN: Fixing Google Nano Banana Pixel Art with Rust

Key Points

• Snaps pixels to a consistent grid and quantizes colors to a strict palette.
• Available as Rust CLI and WebAssembly module with an online demo.
• Open-source under MIT License as part of the Sprite Fusion project.

RetailReady (YC W24) Is Hiring Associate Product Manager

Key Points

• Hiring in-person APM role in San Francisco.
• AI-powered compliance platform integrating via EDI/APIs and using camera vision.
• $3.3M seed raised and 15+ enterprise customers; role is a track to PM.

LLVM-MOS – Clang LLVM fork targeting the 6502

Key Points

• LLVM/Clang fork adds first-class 65xx/6502 support with C99/C++11 freestanding compatibility.
• Open-source SDK and ELF support integrate with LLVM tools across 25+ targets and a host-based simulator.
• Automated CI/benchmarks via GitHub runners and public development on Discord; not affiliated with LLVM Foundation.

Langjam Gamejam: Build a programming language then make a game with it

Key Points

• Runs December 14–20, 2025; 7-day duration.
• Build a programming language and a game that uses it.
• Submit on Itch.io; prizes for creativity; bonus for a blog post.

I Made a Quieter Air Purifier

Key Points

• PC fan-based CR box shows comparable PM2.5 reduction to an unshrouded Lasko CR box on low.
• Noise measurements indicate the prototype is quieter, especially at mid-to-high frequencies.
• Design uses Recticel foam, five ARCTIC fans, and SATA-powered fan hub over four MERV 13 filters.

ETH-Zurich: Digital Design and Computer Architecture; 227-0003-10L, Spring, 2025

Key Points

• Foundational course in digital design and computer architecture with no prerequisites.
• Lectures Thursday/Friday 14:15–16:00; multiple weekly lab sessions in HG rooms.
• Instructor: Onur Mutlu; resources via announcements, VVZ, and Moodle; lectures livestreamed on YouTube.

There is No Quintic Formula [video]

Key Points

• Video: “There is NO Quintic Formula” by 2swap.
• Promo: 20% off Lovable Pro with code 2SWAPYT20 before Dec 26.
• Resource: Interactive polynomial solutions demo link provided.

ESA Sentinel-1D delivers first high-resolution images

Key Points

• First high-resolution images from Sentinel-1D were delivered within 50 hours of launch.
• Sentinel-1D’s SAR and AIS instruments support all-weather imaging and maritime detection.
• Early targets included Antarctica, Tierra del Fuego, Thwaites Glacier, and Bremen, Germany.

Don't push AI down our throats

Key Points

• Advocates utility‑driven, gradual AI adoption over investor‑driven rollouts.
• Rejects the pursuit of AGI, prioritizing reliable software and ethical data use.
• Urges consumers to ignore industry sunk‑cost pressures from GPU and infrastructure spending.

NixOS 25.11 Released

Key Points

• NixOS 25.11 released with support through 2026-06-30; 25.05 EOL on 2025-12-31.
• Nixpkgs: 7,002 packages added; 25,252 updated; 6,338 removed.
• GNOME upgraded to 49, removing X11 sessions; LLVM 21 and CMake 4 updates; GCC stays at 14.

Drawing with Chaos

Key Points

• Reshapes strange attractor particles into text via optimal transport and SWD-based optimization.
• Sliced Wasserstein Distance enables real-time performance with large particle counts.
• Web-based, GPU demo (via Claude 4.5 Opus) supports live text editing and SWD control.

Notes on Shadowing a Hospitalist

Key Points

• Hospitalists coordinate inpatient care for 8–10 patients, ordering tests and referring to specialists for interpretation.
• Verbal communication drives daily updates; written notes by attendings are often brief or deferred.
• Medical students document cases in detail and produce write-ups reviewed for educational evaluation.

You Want Microservices, but Do You Need Them?

Key Points

• Amazon Prime Video reportedly reduced costs by ~90% by moving from microservices to a monolith.
• Microservices introduce significant operational complexity that may only be justified at large scale.
• Success with microservices depends on clear domain boundaries, team alignment, and mature operational capabilities.

Program-of-Thought Prompting Outperforms Chain-of-Thought by 15%

Key Points

• PoT generates executable programs for reasoning and offloads computation to an external executor.
• Across eight benchmarks, PoT averages ~12% improvement over Chain-of-Thought in few-shot and zero-shot settings.
• With self-consistency decoding, PoT reaches SoTA on math datasets and near-SoTA on financial QA.

Writing a Good Claude.md

Key Points

• LLMs are stateless and need explicit context each session.
• Claude may ignore non-relevant CLAUDE.md content due to a system reminder.
• Structure CLAUDE.md around WHAT/WHY/HOW with concise, broadly applicable instructions.

GitHub to Codeberg: My Experience

Key Points

• Forgejo’s migrate-from-GitHub feature imports repos and metadata with a GitHub PAT.
• Bulk link and remote updates were automated using rg, sed, find, and git.
• GitHub repos were stubbed and archived using a script and the GitHub CLI.

A Second Look at Geolocation and Starlink

Key Points

• Ad-based data indicated an implausibly large Starlink user base in Yemen (6–7 million).
• Earlier hypotheses (maritime/aviation IP mapping, roaming, hotspots) don’t fully explain the anomaly.
• Methodological assumptions about stability and uniform ad presentation may bias market share estimates.

By my count, Linux has 11% of the desktop market. Here's how I got that number

Key Points

• Zorin OS 18 logged 1M+ downloads in a month, 78% from Windows users.
• StatCounter trends and a combined estimate put Linux desktops at 11.37% in the US.
• DAP data shows 5.8% Linux desktop share among US government site visitors.

How to run phones while being struck by suicide drones

Key Points

• ISPs use battery-backed copper and FTTH networks to maintain service during outages.
• DIY LiFePO4 battery build delivered ~4.3 kWh for ~$600, outperforming pricier commercial options.
• Measured load of ~500 W for 5 hours requires ~2.5 kWh backup capacity.

Finding the grain of sand in a heap of Salt

Key Points

• Cloudflare reduced edge release delays tied to Salt failures by over 5%.
• A new system correlates Salt failures with git commits, external services, and ad hoc releases.
• Salt’s architecture: master/minion, ZeroMQ message bus, declarative YAML states with Python modules.

"Boobs check" verify if sites behind CDN are hosted in Inside Iran or not

Key Points

• Send curl -i to /boobs.jpg and check the response.
• HTTP 403 with a 10.10.34.x IP in the body signals landing inside Iran.
• The indicator is attributed to basic censorship filtering on traffic.

Stop Hacklore (modern urban legends about digital safety)

Key Points

• Retire outdated advice (avoid public Wi‑Fi/QR/USB, turn off Bluetooth/NFC, clear cookies, frequent password changes).
• Focus on effective controls: automatic updates, MFA, passkeys; use SMS codes only as a last resort.
• Modern platform protections and encryption reduce many cited risks for typical users.

A Love Letter to FreeBSD

Key Points

• Normalize multi-year uptime with safe updates and minimal reboots.
• Use CURRENT/RELEASE separation to balance desktop progress and server stability.
• Establish package stability tiers alongside pkgbase for predictable operations.

David Lerner, cofounder of Tekserve, has died

Key Points

• David Lerner, Tekserve cofounder, died Nov. 12 at 72 from lung cancer complications.
• Tekserve, founded in 1987, grew into a major Mac repair and data recovery hub with ~200 staff.
• Retail operations closed in 2016 due to rising rents and competition from Apple stores.

Ty

Key Points

• Run Ty with `uvx ty check` for fast type checking.
• Ty discovers packages via `VIRTUAL_ENV` or a `.venv` directory.
• Use `--python` when working outside virtual environments.

Bricklink suspends Marketplace operations in 35 countries (developing story)

Key Points

• BrickLink Marketplace access will be suspended in 35 countries from 12 December 2025.
• Affected markets include large, established LEGO communities across multiple regions.
• No further official explanation was provided beyond a forum message at the time of writing.

Stereo Images of Giant Galaxies

Key Points

• The book uses stereo photography to present galaxies in 3D.
• Launch event in Notting Hill featured lectures and 3D projections.
• Guidance provided for viewing images with a special stereo viewer.

Is America's jobs market nearing a cliff?

Key Points

• Job creation and economic growth are diverging in the U.S.
• The Federal Reserve cut interest rates at its last two meetings as “risk management.”
• Christopher Waller seeks faster rate cuts starting December 10 to support the labor market.

Advent of Sysadmin 2025

Key Points

• 12-day Advent calendar runs December 1–12.
• Daily Linux and DevOps scenarios with varying difficulty.
• Free account required to track progress.

Grokipedia Is the Antithesis of Wikipedia

Key Points

• Wikipedia’s human editorial debates refine content quality.
• Elon Musk launched Grokipedia as an AI-generated encyclopedia.
• Grokipedia lacks internal links, photos, and transparent version histories.

In Re: 23andMe, Inc. Customer Data Security Breach Litigation

Key Points

• Eligibility: U.S. customers notified of data compromise between May 1–Oct 1, 2023.
• Benefits: Cash for claims plus five years of Privacy & Medical Shield + Genetic Monitoring.
• Deadlines: Opt-Out/Object by Dec 29, 2025; file claims by Feb 17, 2026.

Mike Gordon and Hardware Verification

Key Points

• Mike Gordon modeled hardware using higher-order logic, scaling from transistors to complex circuits.
• Devices and circuits are represented relationally, composed by conjoining formulas and equating variables.
• Verification is achieved by proving the implementation formula implies the specification (Imp → Spec).

Malware embedded into audio driver is silently recording from system mic

Key Points

• Malware embedded in an audio driver recorded system microphone audio.
• Audio files were uploaded about every 20 minutes after staging in %Temp%.
• Memory forensics and strings exposed a hidden process managing the recordings.

AI just proved Erdos Problem #124

Key Points

• AI model Aristotle generated a Lean proof of Erdős Problem #124 from a formal statement.
• A critical typo (≥ vs =) was corrected, and a streamlined statement was also proven.
• Three versions were established; timing reported as 6 hours for Aristotle and 1 minute for Lean verification.

Seeing a Molecule's Quantum Shadow

Key Points

• Electron momentum patterns reveal molecule wave-function size in helium nanodroplets.
• D2 shows blurred patterns (smaller wave function); H2 shows sharp patterns (~2 nm extent).
• Method can inform confined-molecule studies and nanoscale device design.

Hacking on the ReMarkable 2

Key Points

• Excellent handwriting feel and low latency; Marker Plus eraser is useful.
• Connect subscription adds cloud/app features; free plan may delete inactive files after 50 days.
• Missing music-reader features (per‑page crop, half‑page turn, touch turn) limit performance use.

I Tested the M5 iPad Pro's Neural-Accelerated AI, and the Hype Is Real

Key Points

• M5 delivers 4.4× TTFT improvement on 10k-token prompts versus M4.
• Longer prompts show substantial acceleration (118s to 38s on 16k tokens).
• Token generation gains are modest (~1.5×) compared to prefill-stage improvements.

Replacing My Window Manager with Google Chrome

Key Points

• Browser-driven window manager using CEF and a custom dote:// scheme
• Local resources served from ~/.config/dote/ with MIME mapping
• IPC via cefQuery enables JavaScript-to-C++ control

Ly – A lightweight TUI (ncurses-like) display manager for Linux and BSD

Key Points

• Ly requires zig 0.15.x and xcb (for X11) at build time; xorg components at runtime.
• SELinux on Fedora may cause issues; add a custom rule.
• Disable getty/agetty on the TTY Ly uses (default tty2) during installation.

Search tool that only returns content created before ChatGPT's public release

Key Points

• Filters Google search results to pre–Nov 30, 2022 content.
• Available as a browser extension for Chrome and Firefox.
• Aims to avoid AI-generated text, images, and video in search results.

X210Ai is a new motherboard to upgrade ThinkPad X201/200

Key Points

• Modern motherboard upgrade for ThinkPad X201/200 with Ultra 7/9 CPU support
• Dual M.2 PCIe 4.0 slots, DDR5 up to 128 GB, Thunderbolt 4 and HDMI 2.1
• Coreboot support uncertain; project exploring options

Show HN: A "Cram tests" script for windows shells

Key Points

• Runs Cram-style tests on Windows PowerShell and Cmd.
• Supports .t/.err handling, diffs, and non-zero exit codes.
• Provides promotion of .err to .t via interactive and yes-all flags.