Anthropic Unleashes Claude Sonnet 5!

Open Source Low Tech

Key Points

• Daniel Connell's Open Source Low Tech project publishes open-source, license-free DIY infrastructure designs.
• Featured builds include a $30 wind turbine, solar cooker, rocket mass heater, solar hot water panel, and WiFi dish.
• The project provides tutorials online, hosts a Facebook community, and says it operates without external funding.

Show HN: Bored People Chat – Anonymous global chat room

Key Points

• Bored People Chat is a single-room global chat service.
• The article says users do not need accounts to participate.
• The listing highlights that the service has no ads and no AI.

The end of the AArch64 desktop experiment

Key Points

• The author stopped using an Ampere Altra AArch64 system as a desktop after about eleven months.
• A PCIe erratum on Ampere Altra required ongoing custom Linux kernel patching to keep the system usable.
• Later AMD GPU failures broke gaming and video playback, reinforcing the decision to end the setup.

Logical Physical Clocks and Consistent Snapshots in Globally Distributed DB [pdf]

Key Points

• The paper proposes Hybrid Logical Clocks to combine logical causality tracking with physical-time proximity.
• It identifies limitations in logical clocks, vector clocks, and NTP-based physical clocks for modern distributed systems.
• HLC is presented as useful for consistent snapshots, wait-free transaction ordering, and snapshot reads in global multiversion databases.

The operating cost starts after the demo

Key Points

• AI demos can hide the complexity and failure modes of real production workflows.
• The main cost of AI automation often begins after setup, through maintenance, monitoring, and human oversight.
• The article recommends small-scope automation with measurement and human review instead of broad agent deployments.

Building a custom octocopter from scratch with no prior hardware experience

Key Points

• A custom octocopter was designed, fabricated, and flown in about 2.5 weeks as part of a fault-tolerant RL drone project.
• The project aims to deploy an RL controller that can keep the drone airborne through multiple motor failures, eventually transferring from simulation to real hardware.
• Simulation training improved after fixing an action-clipping bug, leading to reported survival through all single and dual motor failures and some triple failures.

Antares Achieves Criticality of Mark-0 Reactor

Key Points

• Antares said Mark-0 achieved initial criticality at Idaho National Laboratory under DOE authorization.
• The company says it is the first private firm to reach this milestone under the DOE Reactor Pilot Program.
• The demonstration supports future military microreactor deployment and used BWXT-fabricated TRISO fuel tied to Project Pele.

European digital ID wallets are a gift to Google and Apple

Key Points

• The article says European digital ID wallets rely on Google and Apple attestation services for device integrity checks.
• It argues Google Play Integrity API reinforces Google’s Android ecosystem control by favoring licensed Android and Play Store installation.
• The article says this design can exclude users of alternative operating systems from essential public digital services.

I spent 6 days building my VDOM library as I hated how React handles memo

Key Points

• tyaff is presented as a minimal JavaScript UI library with its own virtual DOM and React-inspired but different design choices.
• The article emphasizes direct global state access, pull-based context, globally unique keys, and performance-focused rendering behavior.
• Examples, benchmark references, browser support details, and MIT licensing are included to document how the library is used and distributed.

Exercise intensity influences body composition in healthy older adults

Key Points

• In 123 healthy older adults, both high- and moderate-intensity exercise reduced fat mass more than a low-intensity control.
• Only high-intensity interval training preserved lean mass better, while moderate-intensity training was associated with reductions in fat-free mass.
• The study found statistically measurable but small changes, which the authors said were not clinically meaningful.

Why Problem Statements Aren't Enough

Key Points

• The article identifies contextual range as a key capability for making work broadly trusted and adopted.
• It defines three kinds of strategic context: technical, team/organizational, and business.
• A company-wide Pub/Sub example shows how a simple problem statement can hide fragmented tools, language diversity, and organizational complexity.

Lumo 2.0

Key Points

• Proton says Lumo 2.0 is a major architectural upgrade to its encrypted AI assistant with over 10 million users since launch.
• The release adds benchmarked performance gains, faster responses, new Fast and Thinking modes, and multimodal image capabilities.
• Lumo 2.0 also introduces stronger live web search, user-controlled memory, larger context windows, encrypted Projects, and Custom Lumos.

Should every baby's DNA be sequenced?

Key Points

• Freddie appeared healthy at birth but was diagnosed with retinoblastoma at four weeks old.
• He was treated with photo-activated chemotherapy using a laser-guided delivery approach.
• Early detection significantly improved his chances of retaining normal eyesight.

Parse, Don't Validate – In a Language That Doesn't Want You To

Key Points

• The article contrasts boolean validation with parsing into precise domain types.
• It shows that TypeScript does not retain validation guarantees when values remain plain primitive types.
• It presents branded types as a practical TypeScript technique for simulating distinct validated types.

The US ambassador had Belgian police stop our reporting

Key Points

• Journalists say Belgian police detained and removed them from a Brussels Freedom 250 event after they tried to question US ambassador Bill White.
• The article describes Freedom 250 as a privately organized US anniversary celebration backed by about €3 million in corporate contributions.
• Police allegedly acted on information that one reporter was an “active threat,” but the article says officers later acknowledged the pair were journalists.

All Logic, No Bite

Key Points

• The article explains formal logic as a precise system for deriving conclusions from premises.
• It shows how everyday conditional statements can mislead readers about inverses, converses, and logical implication.
• It argues that mathematicians use formal logic to avoid ambiguity and paradox in proofs.

American Pride Falls to 25-Year Record Low

Key Points

• 33% of U.S. adults say they are extremely proud to be American, a Gallup record low since 2001.
• Republicans report much higher pride than Democrats and independents, with the partisan gap near a record high.
• Sharp declines are concentrated among women, younger adults, people of color, and non-college adults.

Zluda 6 release (run unmodified CUDA applications on non-Nvidia GPUs)

Key Points

• ZLUDA version 6 is a new major release and matches preview build 6-preview.79.
• Pre-alpha 32-bit PhysX support and basic texture support are key additions, with Blender now working on ZLUDA.
• Windows usability and ML compatibility were improved through better library handling, loader changes, and PyTorch-driven fixes.

Who are the fire-tamers?

Key Points

• The essay centers on a personal visit to a Breton healer after conventional wart treatments failed.
• It states that France has thousands of traditional healers, with fire-tamers operating without formal regulation.
• Fire-tamers are described as word-of-mouth practitioners consulted for burns, shingles, eczema and other inflammatory conditions.

Memoirs of Extraordinary Popular Delusions and the Madness of Crowds

Key Points

• The 1841 book is described as an early study of crowd psychology and collective delusion.
• Its three volumes cover financial bubbles, religious movements, superstition, and other historical mass follies.
• The featured edition is free to download, public domain in the USA, and compatible with major ebook platforms.

Microsoft reveals why Windows 11 keeps saying a file is in use after closing app

Key Points

• Windows file-lock errors can persist because file handles or DLL mappings may remain after an app closes.
• The article identifies antivirus scanning, network access, and DLL loading as three common causes of lingering locks.
• Sysinternals Handle, Process Explorer, and PowerToys File Locksmith are presented as ways to identify the responsible process.

I'm building a Space Cadet Pinball Machine! [video]

Key Points

• CNCDan published a video about building a Space Cadet pinball machine.
• The upload is described as the second video in an ongoing series.
• The page shows 24:14 runtime, about 123K views, and posting 9 hours earlier.

Words Are a Byproduct of Consciousness. For LLMs, It's Backwards

Key Points

• The article contrasts human idea-first speech with word-prediction-first generation in LLMs.
• It places LLMs within a broader historical sequence of communication and computing advances.
• It cites the 2017 Transformer from Google as the breakthrough that led to modern LLMs.

Looking Ahead to Postgres 19

Key Points

• PostgreSQL 19 beta introduces built-in REPACK and REPACK CONCURRENTLY for lower-disruption table maintenance.
• The release adds partition merge and split support to make partitioned schema design easier to evolve over time.
• Logical replication continues to expand, including better sequence value synchronization between publishers and subscribers.

Have You Restarted Your Computer This Week?

Key Points

• The author regularly restarts a Mac as a weekly reset ritual.
• Most files are protected through OneDrive storage and Emacs auto-saving and sync.
• The article presents restarting as both a workspace reset and a common troubleshooting method.

Knoppix

Key Points

• KNOPPIX is a bootable Live GNU/Linux system that runs from CD, DVD, or USB without installation.
• It supports broad hardware compatibility through automatic detection and peripheral support.
• The article also announces a German-language talk on generative AI at Chemnitz Linux Days 2025.

Beware, Claude Code deletes >30 day old transcripts. Anthropic won't fix it

Key Points

• The article reports that Claude Code deletes local transcripts older than 30 days by default on startup.
• The author says the cleanup may occur without warning and that the retention setting may not always prevent deletion.
• The post proposes recoverable cleanup, reliable settings, session pinning, export options, and clearer documentation.

Supreme Court upholds broad conception of birthright citizenship

Key Points

• The Supreme Court rejected Trump’s executive order restricting birthright citizenship.
• The ruling aligns with longstanding interpretation of the 14th Amendment.
• Plaintiffs and attorneys said the decision removed uncertainty over the citizenship status of U.S.-born children.

Mathematics: Its Content, Methods and Meaning

Key Points

• The book is a 1,081-page, three-volume mathematical compendium recommended for undergraduate mathematics libraries.
• It covers a wide range of mathematical subjects from analysis and geometry to probability, topology, and functional analysis.
• The article highlights its Soviet historical context and singles out Part III, especially the sections on the Lebesgue integral and functional analysis.

We moved our Bluesky data to Eurosky

Key Points

• Waag moved its Bluesky data to Eurosky’s Personal Data Server to gain more control over its AT Protocol presence.
• The article explains that PDS-based hosting enables data portability and migration without losing account identity or content.
• Waag says the Fediverse remains its main social network and continues to criticize Bluesky’s current centralizing features.

The labor share of income in the US is at its lowest post-war level

Key Points

• The U.S. labor share of income is reported to be at its lowest post-war level.
• The article says the labor share fell 1.6 percentage points below its pre-pandemic level after COVID.
• It concludes that post-COVID labor-share behavior broadly follows earlier cyclical patterns rather than representing a distinct break.

Claude Code Is Steganographically Marking Requests

Key Points

• The article claims Claude Code 2.1.196 subtly modifies a system-prompt date string based on timezone and API base URL.
• The reproduced code uses `ANTHROPIC_BASE_URL`, hostname checks, and two China-related timezone values to choose formatting markers.
• The article says embedded domain and keyword lists are obfuscated with base64 and XOR, then used to classify hostnames.

Scammers Sell Seeds for Exotic AI-Generated Flowers That Don't Exist

Key Points

• AI-generated imagery is being used to sell seeds for nonexistent or heavily misrepresented plants on major marketplaces.
• The article cites substantial sales for fake seed listings, including more than 37,000 fake rose seed sales on eBay before a seller ban.
• Buyers risk receiving the wrong seeds or nothing at all, while synthetic images also distort search results and plant identification.

County with 37 Data Centers Asks Schools to 'Conserve Electricity'

Key Points

• Henrico County says electricity rates for government and school facilities will rise 25% starting July 1.
• The county estimates the increase will add $5 million in electricity costs next fiscal year.
• Henrico County already hosts 37 data centers and has plans for 17 more.

EU commissioners shut down air conditioning for employees, leave theirs on

Key Points

• The European Commission shut AC on Berlaymont floors 1 to 7 during a heat wave, while upper floors remained cooled.
• The building houses Ursula von der Leyen, commissioners and about 3,000 staff, prompting complaints about unequal working conditions.
• The event reflects broader heat-related infrastructure strain across Europe, including transport disruptions and blackouts.

BMW iX5 Blows Away the Competition with 460-KW Charging, 435-Mile Range

Key Points

• The 2027 BMW iX5 is BMW’s first fully electric model to be built in the U.S., with production centered in South Carolina.
• BMW says the iX5 offers 435 miles of estimated range from a 144-kWh battery and can charge at up to 460 kW.
• The iX5 xDrive60 produces 570 horsepower, reaches 0-60 mph in 4.4 seconds, and uses BMW’s new Heart of Joy control system.

Nano Banana 2 Lite

Key Points

• Nano Banana 2 Lite is presented as Google DeepMind’s fastest and most cost-efficient Gemini Image model.
• The article highlights reduced latency, lower cost at scale, and maintained image quality as the model’s main advantages.
• Google showcases practical uses in interior design, knowledge mapping, and educational reading tools.

Xsnow "protestware" in Debian

Key Points

• Xsnow in Debian includes code that raises the chance of showing Ukrainian flags when the language is set to Russian.
• A Debian developer claimed the feature violated the DFSG, but other developers said the DFSG applies to licenses, not runtime behavior.
• Debian participants suggested the real issue is whether hidden locale-based behavior is deceptive and unsuitable for Debian archives.

Factorio 2.1 Experimental Release

Key Points

• Factorio 2.1 experimental is live and available now through multiple opt-in methods.
• Upgrading to 2.1 can affect factory designs, and updated saves and blueprints cannot be reverted to 2.0.
• Linux and macOS minimum requirements were raised, and the team is using community feedback to refine the release before it becomes stable.

I built a mmWave material classification radar

Key Points

• A prototype mmWave FMCW radar was built to classify materials and target asbestos detection in buildings.
• The hardware stack used a Texas Instruments IWRL6432 BOOST board, an ESP32 dev kit, and a custom material test bench.
• The system’s processing chain combined range FFT, Capon/MVDR beamforming, and a neural network for material classification.

Supreme Court takes sledgehammer to federal regulatory structure

Key Points

• The Supreme Court overturned a longstanding precedent protecting independent agency leaders from at-will presidential removal.
• The ruling could broaden presidential control over the executive branch, though its full reach remains unresolved.
• In a separate decision, the court declined to remove Federal Reserve governor Lisa Cook and sent that case back to lower courts.

We Are the Last People Who Know How It Works

Key Points

• The article contrasts manual, configuration-heavy 1990s PC use with today’s AI-driven convenience.
• It argues that older computing built user familiarity through difficulty, troubleshooting, and direct system interaction.
• It says AI may preserve technical knowledge, but users are losing hands-on acquaintance with how machines work.

Claude Sonnet 5

Key Points

• Claude Sonnet 5 is positioned as Anthropic’s most agentic Sonnet model and is now broadly available.
• Anthropic says the model improves on Sonnet 4.6 and approaches Opus 4.8 performance at lower cost.
• Safety evaluations reported lower undesirable behavior than Sonnet 4.6 and weaker dangerous cybersecurity capability than Opus models.

Don't Make Gates Optional, Make Them Flexible

Key Points

• Optional but formal gates create ambiguity and force employees to make risky meta-decisions about whether review is required.
• A required approval process can be made flexible, with lightweight review for small decisions and deeper review for high-risk ones.
• Code review is presented as an example of a mandatory gate whose rigor scales with the complexity of the work.

Tell HN: Installing Cursor on iOS irreversibly changes your privacy settings

Key Points

• The post alleges that logging into Cursor’s iOS app changed an account from Privacy Mode (Legacy) to the current Privacy Mode.
• The author says the newer privacy mode allows possible code storage for Background Agents or other features.
• Cursor support, as quoted in the post, said the Cloud Agents setup prompt triggered the switch and that reverting was not available in the app.

Matrix URIs, a URL syntax from Tim Berners-Lee that never shipped (1996)

Key Points

• Tim Berners-Lee described a theoretical matrix URI syntax using semicolon-separated named parameters.
• The proposal aimed to extend hierarchical URLs with qualifiers representing positions in a matrix-like parameter space.
• The document says relative matrix URL parsing was unresolved and not implemented as of January 1997.

Show HN: I made a heatmap of 3400 VCs who are open to cold emails

Key Points

• The tool visualizes 3,400 VC contacts said to be open to cold emails.
• It uses a live heatmap to show density and venture capital hubs.
• Users can zoom in to inspect individual firm points on the map.

RF Hacking My Cloud-Controlled Ceiling Fan

Key Points

• The article focuses on achieving local control of a Dreo CLF513S ceiling fan through RF remote analysis.
• The author chose RF command replay instead of firmware modification to reduce risk on a hard-wired device.
• Signal capture showed the remote used 433.92 MHz ASK/OOK despite FCC documentation listing FSK.

CERN bids farewell to the LHC and enters Long Shutdown 3

Key Points

• CERN has shut down the LHC and begun Long Shutdown 3 to prepare for the High-Luminosity LHC.
• The article highlights the LHC’s legacy, including the Higgs boson discovery and hundreds of other scientific advances.
• The High-Luminosity LHC, planned for 2030, will boost luminosity by up to ten times and requires major upgrades across CERN’s facilities.

Something Is Wrong with Modern Longevity Science

Key Points

• The article argues that disputed or weak documentation may undermine some celebrated supercentenarian records.
• Saul Justin Newman’s book presents age-validation failures as a systemic problem in longevity science.
• Even small age-reporting errors can compound over time and distort research findings and policy assumptions.

A peek into Reddit's anti-spam internals

Key Points

• A 2021 Reddit bug briefly exposed internal spam-removal reasons to a subreddit moderator.
• The article explains how Reddit differentiates moderator, AutoModerator, and sitewide admin or spam-filter removals.
• Archived source code is used to infer how Reddit’s API exposes moderator removal data while hiding admin identities.

I built a 10 inch mini rack from aluminium extrusions

Key Points

• The rack was built to organize six 1L PCs, their power bricks, and network cabling in a virtualization setup.
• The frame uses standardized 20mm aluminium extrusions with corner connectors, L-brackets, and M5 cage nuts.
• Custom aluminium sheet shelves were chosen over commercial 1U shelves and 3D-printed parts, with some tradeoffs in rigidity and assembly effort.

Counterexamples in type systems (2021)

Key Points

• The article is an indexed collection of 31 counterexample categories in type systems.
• It covers both practical language-design pitfalls and formal type-theory problems.
• Topics include polymorphism, variance, recursion, subtyping, mutability, runtime typing issues, and quantification.

The best thing that's ever happened for multiplayer games?

Key Points

• Amazon GameLift Servers now includes network bandwidth at no extra charge for eligible AWS instances.
• The article says egress bandwidth has been a major cost barrier for multiplayer game hosting, especially for high-bandwidth games.
• The author argues the pricing change could shift multiplayer hosting economics and support more ambitious online games.

I ported Kubernetes to the browser

Key Points

• Webernetes is a browser-run partial TypeScript port of Kubernetes built for interactive educational content.
• The project avoids WebAssembly compilation and instead reimplements selected Kubernetes components in TypeScript to stay small and browser-compatible.
• The author says LLM-generated code was validated through full code review and hundreds of tests against real cluster behavior.

Claude Sonnet 5 – benchmark results

Key Points

• Claude Sonnet 5 (Adaptive Reasoning, Max Effort) is presented as a proprietary reasoning model released in June 2026 with text/image input and a 1 million-token context window.
• Artificial Analysis reports an Intelligence Index score of 53 and says the model produced 300 million tokens during evaluation versus a 37 million average.
• The page explains that Intelligence Index v4.1 is built from nine benchmark evaluations and compares proprietary models by price range.

Reading the internals of Postgres: Database cluster, databases, and tables

Key Points

• PostgreSQL uses “database cluster” to mean a set of databases managed by one instance, not a distributed cluster.
• System catalogs are regular tables that store metadata about objects, databases, indexes, and extensions using OIDs.
• Physical cluster storage lives under `PGDATA`, which is initialized by `initdb` and changes only occasionally across PostgreSQL versions.

Waveloop: What Fable left me

Key Points

• Waveloop is a music visualizer built with Fable and designed to show harmonic and melodic structure.
• It maps pitch classes onto a circular, octave-cyclic display and renders them as a spiral stacked histogram.
• The system uses offline CQT analysis and also includes a live microphone mode for real-time chord detection.

How does a pull-back car work? Illustrated teardown

Key Points

• The toy uses a spiral spring and internal gear train to store and release energy.
• The article credits Darda with inventing the pull-back wind-up mechanism in 1970.
• The mechanism has six gears and shifts between Drive mode and Wind mode to control power flow.

Stroustrup's Rule (2024)

Key Points

• The article defines Stroustrup’s Rule as a shift from explicit syntax for new features to terse syntax for familiar ones.
• Rust’s evolution from `match` to `try!` to `?` is used as the main example of this pattern.
• The author says teaching beginners often requires choosing more explicit notation than experts would normally prefer.

Tokyo has only two barley tea makers, we visited one to see how mugicha is made

Key Points

• Ogawa Sangyo is one of only two mugicha makers with a production facility in Tokyo.
• Mugicha is made from roasted barley and contains no tea leaves.
• The company uses domestic barley and a direct-fire roasting process with sand-assisted heat distribution.

Meta's brain-scanning system reads sentences non-invasively, code open source

Key Points

• Meta says Brain2Qwerty v2 can decode sentences in real time from non-invasive brain recordings.
• Meta is open-sourcing the training code for Brain2Qwerty v1 and v2, and BCBL is releasing the v1 dataset.
• The system was trained on about 22,000 sentences from nine volunteers recorded with MEG while typing.

Long Island's decommissioned nuclear power plant

Key Points

• Shoreham never received an operating license and was decommissioned after public opposition and evacuation-plan disputes.
• The plant was sold to the state for $1 in 1992, and decommissioning ended in 1994 after major radioactive waste removal.
• The article details remaining interior systems and structures, including the control room, containment walls, and turbine building.

Show HN: My 13-year-old built an ant colony tracker

Key Points

• Formicarium is a web app for tracking and caring for ant colonies, with a no-sign-up trial option.
• The app includes dashboards, colony detail pages, worker charts, brood tracking, and feeding logs.
• Additional features include a species database, care reminders, multilingual support, and free account-based data saving.

Local Reasoning for Global Properties

Key Points

• The article argues that AI coding systems are strong at local code generation but weaker at whole-program reasoning.
• It suggests programming language design may help if AI continues to struggle with global software properties.
• Rust is presented as a notable example where language design significantly improved productivity in multi-threaded programming.

Understanding lattice risks: Many differences between marketing and reality

Key Points

• The article disputes a June 2026 justification for standalone ML-KEM over hybrid ECC+ML-KEM.
• It highlights Kyber/ML-KEM timing-attack patch history as evidence that implementation risk is central.
• It argues that deployment decisions should account for software and side-channel failures, not only formal cryptanalysis of specifications.

Superpowers 6

Key Points

• Superpowers 6 is presented as much faster and cheaper than prior versions while aiming to keep output quality stable.
• The release follows a planned Superpowers 5.2 update that already included broader tool support, feature work, and bug fixes.
• Workflow optimizations identified with Fable reduced review overhead, including a 10% gain from scripted review packaging and another 15% from combining reviewer roles.

TabFM: A zero-shot foundation model for tabular data

Key Points

• TabFM is a zero-shot foundation model for tabular data integrated into BigQuery ML.
• It is designed to reduce manual training, hyperparameter tuning, and feature engineering for classification and regression tasks.
• Its architecture combines row/column attention, row compression, and Transformer-based in-context learning, drawing on ideas from TabPFN and TabICL.

Leanstral 1.5

Key Points

• Leanstral 1.5 is an updated model for Lean 4 formal proof engineering.
• The listing states 119B total parameters, 6.5B active parameters, 256k context, and $0 price.
• The platform page shows broad API support including chat, OCR, embeddings, audio, and batching.

Ask HN: Since when does Craigslist's front page have emojis?

Key Points

• Craigslist’s San Francisco Bay Area homepage is described as newly showing emojis in categories or listings.
• The change stands out because Craigslist has historically maintained a minimalist, old-web design style.
• The article asks about the timing and intent of the change but provides no confirmed explanation.

Ante: A new way to blend borrow checking and reference counting

Key Points

• Ante is presented as a language trying to combine borrow checking and reference counting without runtime crashes.
• The article contrasts Ante with Rust and Swift, which it says still rely on runtime-checked approaches in some shared mutability cases.
• Ante’s shape-stability model is used to justify safe multiple mutable references in specific cases.

Hatari – Online Atari ST/STE/TT/Falcon Emulator

Key Points

• Hatari is identified as an emulator for Atari ST, STE, TT, and Falcon systems.
• The article presents Hatari in an online, browser-based interface.
• Visible controls include canvas resizing and mouse-pointer lock/hide options.

Hengefinder

Key Points

• Hengefinder helps users find sun and moon alignments with streets and buildings worldwide.
• The project was originally built by Victoria Ritvo at the Recurse Center.
• It uses astronomical calculations and road data for sunrise, sunset, moonrise, and moonset results.

Gone but Not Forgotten: Recovering the Dead Web

Key Points

• A 2024 Pew study found significant webpage loss over the last decade, with 38% of 2013 pages no longer accessible.
• The article compares several major link-rot studies and finds broad agreement that web decay is substantial.
• It argues that the Wayback Machine can recover a meaningful share of dead pages and should be considered in assessments of online loss.

Loko Scheme 0.13.0

Key Points

• Loko Scheme 0.13.0 was released on 2026-06-27 with bug fixes, performance improvements, and new features.
• The compiler builds statically linked binaries for bare metal, Linux, and NetBSD/amd64 and supports R6RS and R7RS Scheme.
• A bootable 64-bit PC disk image is available, and release files are signed with GnuPG key 0xDD839B748F10AD4D.

Google copybara: moving code between repositories

Key Points

• Copybara is a Google tool for transforming and syncing code between repositories.
• It uses an authoritative repository model while still allowing contributions from non-authoritative repositories.
• It currently supports Git officially, offers experimental Mercurial reading, and can be run from snapshots or built with JDK 11 and Bazel.

Anthropic to restoring access to Claude Fable 5 and Mythos 5 from tomorrow

Key Points

• Anthropic said export controls on Claude Fable 5 and Mythos 5 have been lifted.
• Access to the two models is scheduled to begin returning tomorrow.
• The article does not explain what changed between the initial restriction and the restoration.

Deriving SVD without even aiming at it

Key Points

• The article motivates SVD by starting with basis-dependent matrix representations of linear transformations.
• A simple axis-stretching map can appear complicated when written in a skewed basis, even though the underlying transformation is unchanged.
• Diagonalization is introduced as a simplification method that works when a matrix has an eigenvector basis.

Forestiere Underground Gardens

Key Points

• The underground gardens in Fresno were built by Baldassare Forestiere between 1906 and 1946.
• The site is recognized as both a National Register property and a California Historical Landmark.
• Forestiere was born in Sicily and later immigrated to the United States before establishing the project in Fresno.

Scaling Laws, Carefully

Key Points

• Scaling laws describe predictable power-law relationships between loss, model size, data size, and compute.
• The article presents scaling laws as a practical method for compute planning and extrapolation from smaller runs.
• It connects modern scaling-law practice to earlier theoretical and empirical work, including Amari et al. (1992), Hestness et al. (2017), and Kaplan et al. (2020).

From Julia to Rust: a differentiable tensor stack for scientific computing

Key Points

• tenferro-rs is a new Rust-native tensor stack for scientific computing, released on crates.io in June 2026.
• The project aims to fill a missing Rust ecosystem layer by combining autodiff, einsum, FFT, and CPU/CUDA backends on top of existing libraries.
• The article links the move from Julia to Rust to scaling concerns in large codebases and to changing software-development workflows influenced by AI-generated code.

Show HN: C++, Java and C# light-weight-logger

Key Points

• Light-Weight-Logger is a zero-dependency terminal logging library for C++, C#, and Java.
• It uses a format-string mini-language with runtime-defined log levels, colors, and metadata specifiers.
• The library supports source-location capture, thread and time metadata, and drop-in integration across all three language ports.

Structural Correctness

Key Points

• The article frames correctness tools as graph-structured systems built from typed nodes and edges.
• Bazel is presented as a definitional system where explicit relationships both enable behavior and enforce validation.
• Colored Petri nets are introduced as a way to model valid state transitions more explicitly than typical database-backed applications.

Supersonic flight returning to US after half-century ban

Key Points

• The FAA has proposed replacing the overland supersonic flight ban with a noise-based limit.
• The proposal follows a 2025 Trump executive order aimed at removing barriers to supersonic aviation.
• The original 1973 ban was based on public harm and complaints caused by sonic booms.

Americans see their country's past, present and future

Key Points

• The Economist and YouGov surveyed more than 1,500 Americans for the America at 250 project.
• The poll asked about America’s failures, future survival and greatest president.
• The article says the results show an anxious and divided nation ahead of the country’s 250th birthday.

Segmenting Robot Video into Actionable Subtasks

Key Points

• WGO-Bench evaluates subtask annotation across 100 robot and egocentric video episodes with 743 annotated segments.
• The best reported pipeline achieved 0.306 F1 for segmentation, 61.0% accuracy for labeling, and 0.168 F1 end to end.
• The open-source Refiner implementation reduces annotation cost to $2.64 per hour of video, about 19x cheaper than human annotation.

Redeploying Fable 5

Key Points

• US export controls on June 12 triggered a temporary suspension of Fable 5 and Mythos 5; the article says the controls were lifted by June 30.
• Fable 5 is scheduled to return globally on July 1 across Claude products, while Mythos 5 access has resumed for certain US organizations.
• The article links the restrictions to a report on bypassing Fable 5 safeguards and says comparable models showed similar vulnerability-identification and exploit-demonstration behavior.

Firms that adopt AI grow headcount 10% over the two years following adoption

Key Points

• High-intensity AI adopters grew headcount about 10.2% over two years; low-intensity adopters showed no statistically significant change.
• The dataset links Ramp AI spending records with Revelio Labs workforce data for 21,559 U.S. firms from 2021 to 2026.
• Entry-level headcount rose about 12% for high-intensity adopters, with gains spread across several job functions.

The first early human eggs from stem cells

Key Points

• Conception says it created early human egg cells from stem cells derived from blood cells.
• The work is positioned as progress toward human in vitro gametogenesis, building on prior mouse research.
• The company says full maturation of the eggs is still ahead and that mini-ovary reconstruction is central to the approach.

Matrix Orthogonalization Improves Memory in Recurrent Models

Key Points

• Orthogonalizing mLSTM memory during readouts improved noisy associative recall on MAD benchmark tasks.
• The strongest gains appeared in harder settings, including vocab size 96 and sequence lengths of 768 and 1024.
• The authors caution that results are from small models on a synthetic benchmark and need validation on larger real-world tasks.

Pystd, similar-ish functionality with a fraction of the compile time

Key Points

• Pystd is a custom C++ library designed to reduce compile times while keeping implementation simple and performant.
• The article argues standard library header expansion is a major source of C++ compile-time overhead.
• Pystd currently includes a broad set of containers, algorithms, utilities, and Python-like module equivalents.

ArXiv's Next Chapter

Key Points

• arXiv will spin out from Cornell University on July 1, 2026, to become an independent nonprofit.
• The platform says its mission and free access model will remain unchanged, with no expected service interruption.
• arXiv has launched a FAQ page and plans blog updates on leadership, governance, milestones, development work, and AI article policy changes.