Skip to content

Normal Science

Brain healing
GraphAuthors

A reading list for frontier science

Articles across AI, biotech, forecasting, and emerging tech.

Recommendation GraphExplore who recommends whom across the networkBrowse AuthorsProfiles, influences, and key works
Weekly Digest — Free
Join researchers, founders, and analysts · Unsubscribe anytime

Categories

AllAIForecastingBioTechMetascienceSecurity / OSINTAI SafetyFinanceManufacturingEnergyCryptoStartups

Time

Sort

Today

New HIV vaccine shows unprecedented success in preclinical study

codebyaditya·2h ago208pts

Skip to content Skip to content Research Databases Cancer Epitope Database and Analysis Resource Database of Immune Cell Epigenomics Immune Epitope Database Immune Space Diseases Licensing Opportunities Publications Research Centers Center for Autoimmunity and Inflammation Center for Cancer Immunotherapy Center for Sex-based Differences in the Immune System Center for Vaccine Innovation Research Services Bioinformatics Clinical Studies Cryo-Em DLAC Flow Cytometry Histopathology Immunometabolism

DMARC Has Been Public Since 2012. 68.4% of Domains Still Don't Enforce It

adulion·5h ago65pts

DMARC has been public since 2012. We checked 67,336 domains: 68.4% still have no policy or one that does not enforce it.

Kimi Linear: An Expressive, Efficient Attention Architecture

ronfriedhaber·4h ago105pts

Abstract page for arXiv paper 2510.26692: Kimi Linear: An Expressive, Efficient Attention Architecture

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

permute·2h ago60pts

To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation.This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of AI-written implementation. To prove correctness, AI autonomously wrote over 60,000 lines of Lean proofs, which also never have to be inspected by a human. The Lean checker guarantees conformance to the specification at compile time, with zero trust placed in any LLM. This allows us to treat the implementation and proofs as a black box. I guided the agent through the milestones described in the readme to arrive at the result presented here.Also take a look at the web demo https://schildep.github.io/verified-3d-mesh-intersection/, which runs the verified mesh intersection kernel compiled to WebAssembly in your browser.

Yesterday

Should you wash your solar panels?

surprisetalk·1d ago214pts

James Stanley Home Projects Puzzles Notes About Should you wash your solar panels? Tue 21 July 2026 Tagged: science I have a small solar farm and the panels have got visibly dusty. Is cleaning them worthwhile? How much difference does it make? Let's find out. I know that my panels have not been cleaned in the last year. I expect they also weren't cleaned in the year prior to that (why would you clean them when you're about to sell the house?). But beyond that I don't know when they were last cle

Kimi-K3 Technical Report [pdf]

vinhnx·1d ago344pts

Related: Kimi-K3 on HuggingFace - https://news.ycombinator.com/item?id=49065752

Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles

EatonZ·1d ago156pts

VE Commercial Vehicles’ My Eicher platform had a critical vulnerability that let you take over anyone’s account and gain control over their vehicle fleets.

PGSimCity - How PostgreSQL Works

jonbaer·1d ago863pts

An independent, non-commercial educational visualization of PostgreSQL internals. Not affiliated with Electronic Arts.

Paged Out #9 [pdf]

laurensr·1d ago265pts

Google Chrome Arrives on ARM64 Linux, Widevine DRM Included

twapi·1d ago58pts

Google Chrome now has an official Arm64 Linux build, including for the Raspberry Pi, available via Google's Debian and RPM repos with Widevine DRM support.

Libsm64: Mario 64 as a library for use in external game engines

klaussilveira·1d ago186pts

Mario 64 as a library for use in external game engines - libsm64/libsm64

This Week

US citizen charged after GrapheneOS phone wipes during airport search

eecc·1d ago1189pts

The case centers on Tunick's use of GrapheneOS, an open-source operating system that works on Google Pixel phones and lets users enter a passcode to wipe a...

The Strongest El Niño Ever

ndsipa_pomu·1d ago197pts

With all the July runs in, dynamical models give a ~90% chance of a record-setting event

We have proof automation now

zdw·1d ago215pts

ImperialViolet We have proof automation now (26 Jul 2026) I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which quickly gets lost as the size of the team grows. Then you get subtle misunderstandings and components that don't quite fit together. It's often the case that those

Introduction to Data-Oriented Design [pdf]

tosh·1d ago230pts

Go Analysis Framework: modular static analysis by go team

AbuAssar·2d ago212pts

Package analysis defines the interface between a modular static analysis and an analysis driver program.

Clinical failure rates over the decades: yikes

EA-3167·2d ago118pts

My security camera shipped a GitHub admin token in its login page

hhh·4d ago630pts

i dissected some firmware for a Hanwha Wisenet XNP-9300RW and found that it had github admin tokens in it, also miltech is weird

DARPA, U.S. Air Force fly AI-controlled F-16

r2sk5t·5d ago256pts

Historic VENOM milestone demonstrates scalable AI development capabilities for the operational fleet.

LG to ban residential proxies from smart TV apps

DemiGuru·6d ago372pts

--> Advertisement Advertisement --> Skip to content HomeAbout the Author Advertising/Speaking LG to Ban Residential Proxies from Smart TV Apps July 21, 2026 20 Comments The home appliance giant LG Electronics USA said this week it plans to suspend any apps built for its smart TVs that turn one’s television into an always-on residential proxy node. The move comes less than a month after researchers found that more than 42 percent of games and other apps available for download on LG’s

ARC-AGI Leaderboard

rzk·3d ago164pts

The ARC-AGI Leaderboard.

Producing ammonia and fertiliser using wind power in Morris, Minnesota

gritzko·2d ago123pts

The project is an upscale of a successful pilot built in 2013, and can be expanded further to a network of hubs producing fertiliser for farmer cooperatives.

GM Backs Sodium Ion Batteries for U.S. Grid Storage

rbanffy·2d ago182pts

General Motors backs the latest effort to catch up to China

Show HN: Echo – Fable-level results at 1/3 the cost using open-weight models

adam_rida·4d ago435pts

I’ve been building Echo (https://echo.tracerml.ai/), an experiment in making one AI system out of a pool of open-weight models rather than choosing a single model and using it for every task.It started with a simple experiment. I took a group of models, including GLM-5.2, Kimi K2.7 and others, and ran them on the same evaluations. Then I measured what would happen if, for each problem, you somehow knew in advance which models would be useful and how their outputs should be combined.That hypothetical system performed substantially better than any individual model in the pool. Of course, it is not something you can actually deploy because it relies on knowing which decisions were good after seeing the result. Echo is my attempt to recover some of that advantage without having that information in advance.For each request, Echo decides how much computation to allocate, which models should participate, and how their work should be combined. Some prompts may only need a relatively small amount of inference, while others benefit from multiple models working on different parts of the problem.One thing that surprised me while building it was how complementary the models are. A model that is clearly weaker overall can still be extremely useful on particular problems or as part of a combination.On my first evaluation mix, Echo consistently performed better than the best individual model in its pool. It also reached roughly the same aggregate result as Fable, which I used as one of the stronger comparison systems, at around one third of the inference cost.There are still some cases where Echo makes the wrong allocation or combination decision. I’m currently spending a lot of time understanding those failures, as well as testing whether the same approach holds up on coding and agentic tasks where measuring the quality of each decision becomes much harder.I built a chat interface (echo.tracerml.ai) and an OpenAI-compatible API (https://echo.tracerml.ai/docs/api) so the system can be tested outside the evaluation setup.Here is a short/high level video on how it works: https://www.youtube.com/watch?v=lJFJSvOdXhgI wrote up the evaluation methodology, individual model results, costs and current limitations here: https://echo.tracerml.ai/evalI would love for you to try it! Especially if you hit any weird failure cases or places where the allocation looks unintuitive.

Alphabet's cash burn raises alarm for Big Tech as AI spending climbs

1vuio0pswjnm7·5d ago213pts

Plasma Tunnels Reveal How Dying Satellites Fall to Earth

marc__1·1d ago57pts

Aluminum ash from satellites’ reentry may alter the atmosphere

Older

OpenAI’s o1 correctly diagnosed 67% of ER patients vs. 50-55% by triage doctors

donsupreme·2mo ago470pts

Researchers say results mark a really ‘profound change in technology that will reshape medicine’

Accelerating Gemma 4: faster inference with multi-token prediction drafters

amrrs·2mo ago640pts

An overview of how Multi-Token Prediction (MTP) drafters are making Gemma 4 models up to 3x faster at inference.

A couple million lines of Haskell: Production engineering at Mercury

unignorant·2mo ago399pts

What it takes to run 2 million lines of Haskell in production at a fintech company serving 300,000 businesses.

Using “underdrawings” for accurate text and numbers

samcollins·2mo ago359pts

A technique for accurate text and numbers in AI-generated images: generate the layout deterministically, then ask the image model to paint on top.

Should I run plain Docker Compose in production in 2026?

pmig·2mo ago395pts

Yes, plain Docker Compose can still run production workloads in 2026—if you close the operational gaps it leaves: cleanup, healing, image pinning, socket security, and updates.

Computer Use is 45x more expensive than structured APIs

palashawas·2mo ago458pts

We benchmarked computer use against auto-generated API endpoints on the same admin panel. 53 steps and 551k tokens vs 8 calls and 12k tokens.

Bun is being ported from Zig to Rust

SergeAx·2mo ago391pts

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one - docs: add Phase-A porting guide · oven-sh/bun@46d3bc2

ProgramBench: Can language models rebuild programs from scratch?

jonbaer·2mo ago129pts

Abstract page for arXiv paper 2605.03546: ProgramBench: Can Language Models Rebuild Programs From Scratch?

Does Employment Slow Cognitive Decline? Evidence from Labor Market Shocks

littlexsparkee·2mo ago264pts

Founded in 1920, the NBER is a private, non-profit, non-partisan organization dedicated to conducting economic research and to disseminating research findings among academics, public policy makers, and business professionals.

Google Chrome silently installs a 4 GB AI model on your device without consent

john-doe·2mo ago1591pts

Google Chrome is downloading a 4 GB Gemini Nano model onto users

ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters

steveharing1·2mo ago87pts

Who should care If you work with math, science problems, or complex coding tasks and you're looking for something small enough to run locally or cheaply via API, this is worth serious evaluation. The benchmark numbers at 760M active parameters are not normal and the Markovian RSA boost means performance scales with compute budget rather than hitting a fixed ceiling. If you're building agent workflows that need reliable tool calling or multi-step instruction following, look elsewhere fo

Show HN: Apple's SHARP running in the browser via ONNX runtime web

bring-shrubbery·2mo ago170pts

Hi HN, author here. SHARP is Apple's recent single-image 3D Gaussian splatting model (https://arxiv.org/abs/2512.10685). Their reference code is PyTorch + a pretty heavy pipeline; I wanted to see if it could run in a browser with no server hop, so I exported the predictor to ONNX and ran it via onnxruntime-web with the WebGPU EP.What works: drop in an image, get a .ply you can download or preview live, all on your machine — your image never leaves the tab. The model is large (~2.4 GB sidecar) so first load is slow on a cold cache, but inference itself is a few seconds on a recent Mac.Caveats: SHARP's released weights are research-use only (Apple's model license, not the code's). I host the exported ONNX on R2 so thedemo "just works", but you can also export your own from the upstream Apple repo and upload locally.Happy to talk about it in the comments :)

Claude Code uses Bun written in Rust now

tosh·9d ago584pts

In Rewriting Bun in Rust Jarred Sumner made the following claim: Claude Code v2.1.181 (released June 17th) and later use the Rust port of Bun. Startup got 10% faster on …

Valve releases Steam Controller CAD files under Creative Commons license

haunter·2mo ago1663pts

Modders, start your engines.

Apple defeats liability for not scanning iCloud for CSAM

speckx·7d ago443pts

This case involves Apple’s handling of user-uploaded files hosted in private iCloud storage. Instead of adopting PhotoDNA to scan hosted files for CSAM, Apple created its own proprietary alternative, NeuralHash, which apparently wasn’t as good. So Apple U-turned on its...

Text-to-CAD

softservo·2mo ago146pts

An open source harness for generating CAD models. Contribute to earthtojake/text-to-cad development by creating an account on GitHub.

Show HN: Tilde.run – Agent sandbox with a transactional, versioned filesystem

ozkatz·2mo ago181pts

Tilde turns running AI agents and pipelines on real data into a transactional, auditable operation. Compose GitHub, S3, and Drive as one versioned filesystem. Roll back any run with one command. Every network call audited.

Kimi K3 Is Competitive with Fable; Kimi K3 and Fable Is SoTA

piotrgrabowski·6d ago812pts

Also: Kimi K3: second only to Fable 5 on AA-Briefcase https://artificialanalysis.ai/articles/kimi-k3-agentic-knowl...

Removable batteries in smartphones will be mandatory in the EU starting in 2027

rdeboo·2mo ago520pts

Starting in 2027, smartphone batteries will once again be replaceable in the EU. Learn all about the new regulation and what this means for users.

GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents

gmays·2mo ago149pts

Abstract page for arXiv paper 2604.26752: GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents

Claude Fable produced a counterexample to the Jacobian Conjecture

loubbrad·8d ago749pts

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

DNSSEC disruption affecting .de domains – Resolved

warpspin·2mo ago724pts

Current system status. View active incidents or upcoming maintenance. Subscribe to receive status notifications.

RaTeX: KaTeX-compatible LaTeX rendering engine in pure Rust

atilimcetin·2mo ago164pts

Rust TeX-style math layout with KaTeX-aligned golden tests. Ready-to-use packages for Web (WASM), iOS, Android, Flutter, and React Native—same display list everywhere.

Hacker wipes Romania's land registry database

speckx·8d ago673pts

In other news: Graykey maker sues former employee for leaking exploit; Hugging Face was hacked using AI; unauth RCE finally found in WordPress.