Front-page articles summarized hourly.
Profile of Lucas Fernandes Aguiar, a patent prosecutor and researcher based in Brasília, Brazil. He writes about intellectual property, chemistry, and using AI to work smarter. The site features Blog, Consulting, About, Contact, policy links, and links to GitHub, LinkedIn, Threads, Lattes, and a CV.
Software, from First Principles traces how we turn reality into bits and back, from early mechanical counters and vacuum tubes to transistors and integrated circuits. It explains how logic gates enable binary arithmetic, how RAM, ROM and the CPU form a stored-program computer, and why abstractions (compilers, high-level languages, OS kernels) matter. It covers how networks and the Internet emerged (packet switching, TCP/IP), how the Web became a universal runtime via browsers and APIs, and how databases and cloud infrastructure enable modern software. The piece emphasizes understanding underlying layers to debug, secure, and scale software, especially with AI-assisted coding.
GitFut converts GitHub profiles into World Cup-style player cards rated out of 99, showing stats like PAC, DRI, SHO, DEF, PAS, and PHY for users such as torvalds, ThePrimeagen, pewdiepie, and t3dotgg. Over 151,381 cards have been rated. Built by Younes & Mawsis; scouts and a coffee‑support option are available.
Wafer demonstrates fastest GLM-5.2 inference on AMD MI355X, achieving 2626 tok/s per node (2.4 RPS) and 213 tok/s single-stream, over 2x cheaper than Blackwell. By quantizing GLM-5.2 to MXFP4 with Quark and running on sglang, with fixes to enable speculative decode and ROCm tweaks, plus throughput optimizations (kv-cache, aiter fusion) and MoE kernel tuning, they reach strong aggregate throughput (up to 1944 tok/s/node at TP4×DP2). They argue SOTA on AMD hinges on software support, not hardware, and note no custom kernels were written.
Encore embeds an in-process Redis server for local development and tests to match production behavior. They ported miniredis (Go) to Rust so the runtime hosts a real Redis-like server inside the process, eliminating the need for an external Redis container. It supports strings, hashes, lists, sets, sorted sets, streams, pub/sub, transactions, and Lua scripting, with a mock clock and automatic key pruning. The runtime uses the embedded server when in_memory is set or during tests; otherwise it connects to a real managed Redis. They verify parity by byte-for-byte comparing with the Go reference implementation, including expiry and TLS nuances.
17th-century Amsterdam faced rampant fires from wealth and industry. The city built a state-backed firefighting system: water-pumping engines (initially Hautsch) and, after a pivotal 1672 blaze, the Van der Heyden brothers’ improved engines with suction hoses, flexible "snakes," and an air chamber. By 1681–82 Amsterdam retrofitted engines city-wide, added alarm networks, lamplighters, and district fire masters, financed by taxes and incentives. Firefighters were volunteers paid by rewards, not salaries. The overhaul reduced fire losses dramatically and made Amsterdam Europe’s best-equipped city for firefighting.
Embedding condensation: in smaller language models, token embeddings collapse toward similar directions, forming a narrow cone in deeper Transformer layers. This is more pronounced in smaller models, emerges at initialization, and persists despite pre-training; knowledge distillation from larger models does not fix it. The authors propose dispersion loss to counteract this during mid-training and pre-training, promoting angular dispersion (with variants like decorrelation, L2-repel, orthogonalization). Dispersion loss reduces condensation and narrows the gap to larger models, though gains are modest; future directions include better regularizers and architectures.
Leanstral 1.5 is a free Apache-2.0 licensed model with 6B active parameters (119B total) delivering a major boost in formal verification. It saturates miniF2F, solves 587/672 PutnamBench, and sets state-of-the-art on FATE-H (87%) and FATE-X (34%). Trained in three stages (mid-training, supervised fine-tuning, RL with CISPO) across multiturn theorem proving and code-editing tasks, it uncovers 5 previously unknown bugs across 57 repos and fully open-sources FLTEval. Open-source via HuggingFace and a free API (leanstral-1-5). Start with Lean Vibe and Vibe LSP. Licensed Apache-2.0.
Steam Controller Auto-Charge is an open-source web app that autonomously docks a Steam Controller into its magnetic charging puck using an overhead camera, OpenCV.js optical flow, and WebHID telemetry. It tracks the controller and puck, then navigates toward the puck by firing 70 Hz asymmetric haptic pulses through the LRAs. Proximity creeping reduces pulse frequency within 150 pixels for a gentle dock. It polls battery status to confirm charging. Built with Vue 3, Rust/WASM, and OpenCV.js; requires Nix, a Chromium-based browser, and an overhead webcam. MIT license.
New research shows the world’s tallest tropical Dipterocarp trees can pump water to their highest branches despite their height. Studying trees 7–71 m tall in Malaysian Borneo, researchers found hydraulic adjustments—wider water-carrying vessels lower in the trunk and leaves that withstand greater water stress—that fully compensate for height. Measurements across the 2023–24 El Niño drought showed no height-related decline in growth. The findings challenge theories that tall trees are more drought-vulnerable and suggest the tallest trees store more than half of above-ground forest carbon, underscoring their conservation importance.
Nerdle is a Wordle-style math puzzle where you guess an 8-character equation using +, -, *, /, and =. Born in a London traffic jam in 2022, it now has a large daily audience and a family-run vibe. The review lauds instant play, fair clues, a rich replay/archive, private-league leaderboards, solid mobile design, and restrained ads with a charity tie-in. Drawbacks are a disruptive privacy-consent wall and heavy partner data notices. Overall: 84/102, strong concept and gameplay, slightly hampered by onboarding walls.
CVEs of high and critical severity spiked in 2026 after Claude Mythos Preview, with June disclosures around 1,300–1,500 and about 3.5× the pre-Mythos monthly record. Anthropic says Mythos Preview can autonomously discover vulnerabilities; its Glasswing partners (Microsoft, Google, Apple, AWS, etc.) have used it to find and fix bugs before release, claiming over 10,000 high- or critical CVEs identified. OpenAI’s Daybreak pursued similar hardening efforts. Epoch AI’s data hub tracks publicly disclosed CVEs from 21 notable organizations, noting that undisclosed vulnerabilities aren’t counted.
ccc is a Rust-based tool that scans a project and generates a ContextCodeCache (.ccc) containing a compact, machine-readable map of each source file: constants, functions with return types and docs, intra-file call graphs, and marker notes. It supports Rust, Python, JavaScript/TypeScript, and Go via tree-sitter. Usage: install/build, then ccc scan to create/update .ccc; ccc check to verify freshness; ccc tokenize to emit token streams; ccc install to put binary on PATH. A CI workflow regenerates cache on changes. Output includes CCC.md index and per-file metadata; tokens.bin/json enable downstream tooling.
Salma Alam-Naylor announces she’s leaving DevRel and going offline to protect her health and sanity. After years of burnout, anxiety, and being the public face of a company, she critiques short-term, arbitrary metrics and AI-driven changes in how people learn. She describes chronic pain and micromanagement from leadership. She’ll take a Staff Engineer role but won’t publicize it, deactivates LinkedIn, and goes quiet on Bluesky, aiming to focus on nature, music, and building good websites.
John Baez’s online Applied Category Theory course, based on Fong and Spivak’s Seven Sketches in Compositionality, curated by Simon Burton. It covers four chapters—Ordered Sets, Resource Theories, Databases, and Collaborative Design—with lectures 1–77. Topics range from preorders, adjoints, and logic to monoidal and enriched categories, Kan extensions, databases, natural transformations, and collaborative design using profunctors and string diagrams, culminating in the grand synthesis.
American white-collar workers are demoralized as a social contract frays: productivity has risen since 1979, but pay for typical workers lags while executives and shareholders gain most. Housing, healthcare, and childcare costs soar; pensions gave way to underfunded 401(k)s. Many families carry debt, have little retirement cushion, and little margin for error. Job security erodes as longtime staff are replaced by cheaper labor, and raises come mainly to prevent attrition. AI raises anxiety as gains go to shareholders. The result is the 'Great Detachment': widespread disengagement and mid-career stalls, with many pursuing side gigs or relocation rather than reform.
An aggregated blogs reader feed with 44 recent stories from diverse sources, spanning politics (Supreme Court, U.S. policy), law/history (Declaration of Independence), technology and AI (LLMs, AI agents, UX), energy (offshore wind), finance and student loans, and culture/sports (World Cup). The page lists topics, sources, and user topic management, with latest updates dated around 2026-07-03.
Made by Johno Whitaker using FastHTML