1. Select * from Internet.blogposts (pfrazee.leaflet.pub)

Nitter gets a cease & desist from X while the atproto makes the Internet more open.

Nitter, an alternative to Twitter, faces legal action from X, raising questions about online content control. Meanwhile, atproto is gaining attention for its efforts to enhance internet openness.

2. Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment (arxiv.org)

We study autonomous mathematical discovery in the Station, an open-world multi-agent environment in which AI agents from different model families pursue a shared research goal without a central coordinator or scripted pipeline. Agents choose their own research directions, conduct experiments, collaborate, and build a shared scientific literature. Across 12 construction problems from the AlphaEvolve catalogue and two additional case studies, the Station obtained results novel relative to the prior literature on five problems: a new infinite family of finite-field Kakeya sets, new exact 604-point kissing configurations in dimension 11, new records for the discretized Kakeya needle and sign uncertainty problems, and a substantially improved lower bound for Erdős's minimum-overlap problem. Agents also discovered novel infinite families for Book Ramsey numbers. Importantly, the agents produced not only numerical constructions but also theorems and analyses explaining how those constructions work, making the results more interpretable and easier for mathematicians to build upon. We release all raw agent dialogues, proofs, and verification code, providing a transparent record of how these discoveries emerged.

A group of AI agents independently tackles mathematical challenges in a collaborative environment, generating innovative solutions without centralized control. Their ability to choose research paths and build on each other’s findings highlights a significant advancement in autonomous scientific discovery.

3. Terminal-Bench-Science: Evaluating AI agents on scientific research workflows (www.terminal-bench-science.ai)

A benchmark for evaluating AI agents on research workflows across scientific domains

A new benchmark has been developed to assess how effectively AI agents can navigate and contribute to various scientific research workflows. This tool aims to standardize evaluations and improve AI performance in diverse scientific fields.

4. Run Qwen3.8 27B locally: real numbers from my Mac Studio (terminalbytes.com)

Qwen3.8 27B benchmarked on a Mac Studio M3 Ultra: Ollama and llama.cpp numbers, the 1-bit quant tested, RAM math, and the hardware that actually fits.

A benchmark of Qwen3.8 27B on a Mac Studio M3 Ultra reveals performance metrics using Ollama and llama.cpp, detailing RAM usage and hardware compatibility. Discover how this model performs locally and what to expect from the setup.

5. httpx2 (github.com)

A next generation HTTP client for Python. 🦋. Contribute to pydantic/httpx2 development by creating an account on GitHub.

A new HTTP client for Python is in development, promising enhancements and features for users. Interested developers can get involved by contributing on GitHub.

8. USDA recalls 30k pounds of Argentine beef sold in Texas and Florida (cbsaustin.com)

It was not immediately clear which retailers sold the beef.

A recall has been issued for 30,000 pounds of Argentine beef distributed in Texas and Florida due to safety concerns. The specific retailers involved have yet to be identified, leaving consumers in those states on alert.

9. Processing in Memory: DRAM Is About to Do Math (ben3d.ca)

Samsung's LPDDR5X-PIM puts compute inside commodity memory, exposing 614 GB/s of bank-level bandwidth for local LLM inference. The silicon works. Quantization, memory layout, and runtime support now stand in the way.

Samsung’s new LPDDR5X-PIM technology integrates computing capabilities directly into memory, enabling high bandwidth for local large language model inference. However, challenges like quantization and memory layout need to be addressed for optimal performance.

10. Lake formed after ice-rock avalanche remains at a high level and is overflowing (kathmandupost.com)

Chinese embassy in Kathmandu says the lake formed after an ice-rock avalanche remains at a high level and is overflowing, with officials on both sides continuing to monitor the risk of a possible breach.

Officials are closely monitoring a lake in Nepal created by an ice-rock avalanche, which is currently overflowing. The situation poses a potential risk of a breach, prompting attention from both Chinese and Nepalese authorities.

11. Show HN: SubSmith – Turn your own videos into language-learning material (subsmith.app)

Learn languages from real content. Generate transcripts, look up words instantly, and mine sentences to Anki. All processed locally.

SubSmith simplifies the process of creating language-learning materials from videos by consolidating various tools into one platform. It allows users to easily extract sentences and study them without the hassle of juggling multiple applications.

12. Don't use musl if you care about performance (blog.brokk.ai)

I've spent most of my career working inside the JVM, with a sidebar of Python. So the first time I hit incompatible libc with containerized Bifrost, and GPT suggested musl as the solution, not only did I jump on it, I moved my other Rust projects to musl as

Switching to musl for Rust projects can lead to performance issues, especially if you’re used to working with the JVM or Python. The author’s experience highlights potential pitfalls and incompatibilities that could affect your containerized applications.

13. Africa's Wild Dogs Are the Most Hated Carnivores on the Continent (www.smithsonianmag.com)

Meet the team that closely monitors the playful canines, which need help to form diverse packs and stop their numbers from dwindling

A dedicated team is working to protect Africa’s wild dogs, often misunderstood and maligned, by fostering their pack dynamics to prevent their population decline. Discover the efforts being made to support these playful yet endangered carnivores.

14. My Business Is Dying (bankstatementconverter.com)

Revenue and Monthly Recurring Revenue are down significantly since we peaked in February 2026.
Revenue is down 24% since February 2026.
Monthly Recurring Revenue is down 12% since February 2026.
This has happened to me before with an application I made called Girlfriend Plus. In 2017 revenue spiked, but I didn’t do much development on the app. Pretty quickly revenue dropped off. Today it basically makes no money.

A business owner reflects on a troubling decline in revenue and recurring income, drawing parallels to past experiences with a previous app. The insights shared highlight the importance of continuous development and adaptation in maintaining financial health.

15. Show HN: Sesame - a local-first, open-source password manager (usesesame.app)

An open source password vault for Windows. Import passwords, 2FA codes, and recovery details. Sesame never receives your vault. Free download.

Sesame is an open-source password manager designed to prioritize user privacy by keeping vaults stored locally without requiring an account. The developer is seeking feedback and testing on this early version, which is still undergoing a security review.

16. How Dactyl Works (dactyl.dev)

The drawing protocol behind Dactyl

Learn about the drawing protocol that powers Dactyl, shedding light on its unique mechanics and functionality. This insight could enhance your understanding of how Dactyl operates.

18. Bye, Bye GitHub (log.ozgur.works)

I did it. I gave up on GitHub. I moved out, and I don’t wanna look back anymore.

After moving away from GitHub, the author shares their reasons for leaving and what alternatives they are embracing. Their experience may resonate with others considering similar changes in their development workflow.

21. That's a Lot of YAML (noyaml.com)

No body wants to write YAML. A lovingly curated list of YAML pain.

YAML can be a headache for many developers, and this article compiles a comprehensive list of the common frustrations that come with using it. If you’ve ever struggled with YAML, you’ll find relatable insights and shared experiences here.

23. The Analytical AI Handbook (handbook.sutro.sh)

A living FAQ to build, measure, optimize, and scale reliable decision models

Discover essential strategies for developing and optimizing decision models with practical insights from this comprehensive FAQ guide on analytical AI. It’s a valuable resource for anyone looking to enhance their AI-driven decision-making processes.

26. Advertisers Could Soon Demand 'Verified Clicks' (www.amediaoperator.com)

Stock.adobe.com A state of the email bots report from email sending platform Omnivery shows the extent to which big tech titans are influencing the inbox

A report from Omnivery reveals how major tech companies are shaping email marketing and the potential rise of ‘verified clicks’ in advertising. This shift could significantly impact how advertisers measure engagement and effectiveness.

27. Interactive pattern discovery in binaries (FF-16-TUI) (github.com)

Interactive static analysis tool to locate structures from frequent patterns - HexLasso/FF-16-TUI

A new interactive static analysis tool called HexLasso is designed to help users identify structures in binary files by leveraging frequent pattern discovery. This could enhance the efficiency of analyzing complex software systems.

29. Autistici/Inventati case sets a new counterterrorism precedent, Irdi says (decode39.com)

The U.S. decision targeting Autistici/Inventati should not be read simply as another sanction in Washington’s crackdown on violent extremism. According to Beniamino Irdi, senior fellow at the German Marshall Fund and CEO of Highground, the more significant point lies elsewhere: for the first time, the logic of material support is being applied openly and forcefully to technological infrastructure. The target is no longer only those who carry out an act, but also those who provide the infrastructure that makes it possible. It is a choice that sets a delicate precedent for European allies and for the balance between security, intelligence and legal safeguards.

The U.S. sanctions against Autistici/Inventati mark a pivotal shift in counterterrorism efforts, as they extend the definition of culpability to include technological support systems. Beniamino Irdi emphasizes that this precedent could reshape how authorities approach and regulate digital infrastructures in relation to extremism.

30. Sloc Cloc and Code 4.0 (scc) – Finding the files that need the most attention (boyter.org)

So today I release the v4.0.0 version of sloc cloc and code AKA scc. While I was considering going from 3.7.0 to 3.8.0 enough new functionality landed in it that I figured a move to a new major …

The latest version of scc introduces significant new features aimed at helping developers identify and prioritize the files that require the most attention in their projects. This update reflects a notable leap in functionality, making it a valuable tool for code management.

Article Details

Browse by Date

Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open