You Could Have Come Up with Kimi Delta Attention

200 AnhTho_FR 2026-07-28 16:40:29 UTC blog.doubleword.ai GoogleT5 Share 78

Modern linear attention variants are complex, and it is not easy to see what they are designed to achieve. a state kernel performs the only inter-chunk scan, producing the state entering each chunk and resolving its delta errors. the resulting matrices can be used to construct the causal akkakkakk interaction matrix, which is used for decoding if only one new token is available at the time. ...

Steel Bank Common Lisp version 2.6.7

58 tmtvl 2026-07-28 17:40:29 UTC sbcl.org Llama Share 9

SBCL has released new versions with various bug fixes, optimizations, and minor incompatible changes. The updates include improvements to the compiler, documentation, and platform support, as well as fixes for issues related to type checking, memory management, and foreign function calls.

Delayed Gratification – Proud to Be 'Last to Breaking News'

116 speerer 2026-07-28 16:40:29 UTC slow-journalism.com Full Share 51

A beautiful quarterly publication which revisits the events of the last three months to offer in-depth, independent journalism in an increasingly frantic world. Read more about DG. Subscribe Slow Journalism in your inbox, plus infographics, offers and more: sign up for the DG newsletter Sign up

Zig's Incremental Compilation Internals

100 garyhtou 2026-07-28 16:40:29 UTC mlugg.co.uk Llama Share 50

The Zig compiler's incremental compilation feature allows for fast rebuilds by detecting changed code and recompiling only that, patching the resulting bytes into the output binary. The feature involves caching source files' generated ZIR, tracking dependencies between analysis units, and using a linked file abstraction to handle incremental linking.

Kimi K3 Architecture Overview and Notes

99 ModelForge 2026-07-28 16:40:29 UTC sebastianraschka.com Llama Share 10

Kimi K3 is a scaled-up version of Kimi Linear with a new LatentMoE component and attention residuals. It improves inference efficiency and validation loss, but adds 4% training and 2% inference cost.

7.1 Earthquake in Japan

725 krembo 2026-07-28 08:40:29 UTC data.jma.go.jp Full Share 186

都道府県 市町村名

How Do I Profile eBPF Code?

71 snaveen 2026-07-28 16:40:29 UTC naveensrinivasan.com Llama Share 6

To measure the performance impact of eBPF code, a simple C test harness is created to measure file open performance, discarding the first 10% of results as a warmup period. The perf tool is used to profile the eBPF code, resolving symbols to analyze where the issue is and pinpointing where optimizations are required.

Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library

63 apetuskey 2026-07-28 16:40:29 UTC github.com/reflex-dev Llama Share 19

XY is a fast, interactive, and customizable Python charting library for web, notebooks, and static exports. It supports large datasets and offers features like hover, pan, and zoom.

Discovering Cryptographic Weaknesses with Claude

54 gslin 2026-07-28 17:40:29 UTC anthropic.com Llama Share 16

Researchers at Anthropic used Claude Mythos Preview to discover improved attacks on cryptographic algorithms, including HAWK and AES. These attacks significantly weaken HAWK and improve the speed of AES attacks, but do not currently affect production systems.

WOFF 1.0: a milestone on W3C's journey of fonts on the web

25 hn_acker 2026-07-28 17:40:29 UTC w3.org Llama Share 0

W3C's Web Fonts technology, starting with WOFF in 2010, revolutionized web typography by allowing custom fonts without DRM. The technology has evolved with WOFF 2.0 and now Incremental Font Transfer aims to improve font loading efficiency and support for complex scripts.

New HIV vaccine shows unprecedented success in preclinical study

395 codebyaditya 2026-07-28 13:40:29 UTC lji.org Llama Share 192

Scientists at La Jolla Institute for Immunology and Scripps Research developed an HIV vaccine that trains immune cells to see past HIV's defenses by prompting the body to make broadly neutralizing antibodies. The vaccine resulted in the best HIV-fighting antibody response ever seen in primates and human trials have now started.

MCP 2026-07-28 Specification: transport going stateless

4 Eldodi 2026-07-28 18:37:29 UTC blog.modelcontextprotocol.io Prefix Share 0

Since our last November release MCP continued to grow at an astonishing rate. Across our Tier 1 SDKs, we’re seeing close to half-a-billion downloads a month, with both TypeScript and Python SDKs crossing the 1 billion total downloads threshold. In just a few months, the protocol continued to grow as the data and interactivity substrate for agentic workflows. Today, we’re officially pushing ...

Kimi Linear: An Expressive, Efficient Attention Architecture

222 ronfriedhaber 2026-07-28 11:40:29 UTC arxiv.org Llama Share 85

Kimi Linear outperforms full attention in various scenarios with superior performance and efficiency, reducing KV cache usage by up to 75% and achieving up to 6 times decoding throughput. It can be a drop-in replacement for full attention architectures with a pre-trained model and open-source code available.

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

60 surprisetalk 2026-07-28 15:40:29 UTC arxiv.org Llama Share 45

A music theory book is rewritten to present harmony as a scientific theory, considering physical and computational phenomena. The book derives three fundamental music phenomena: the Major Scale, the Standard Chord Dictionary, and the difference between Major and Minor Triads.

Substack writers, you need a website

83 speckx 2026-07-28 17:40:29 UTC elizabethtai.com Llama Share 76

Writers should not make Substack their digital home, as it's short-sighted and can derail long-term visibility on the internet. Instead, they should treat their website as the definitive source of truth and use platforms like Substack as distribution pipes.

Now Is the Time to Give LLMs Access to the ACM Digital Library

50 rbanffy 2026-07-28 15:40:29 UTC cacm.acm.org Llama Share 17

The website is using Cloudflare security and blocked my action, possibly due to a trigger like a certain word or SQL command. I was trying to perform an action when this page came up, and the Cloudflare Ray ID is needed to report the issue to the site owner.

Anthropeum

73 bookofjoe 2026-07-28 15:40:29 UTC anthropeum.com Llama Share 15

Players guess the origin and time period of 10 Met artifacts daily, with points awarded for proximity in both dimensions. Scores are then ranked on a distribution curve with other players who participated that day.

Using a Gaming PC's RTX 5070 from a separate Linux workstation

16 microbial 2026-07-28 17:40:29 UTC stephenkrings.com Llama Share 4

User set up a headless Linux GPU server on a Windows gaming machine using NVIDIA's driver passthrough and WSL2, allowing SSH access to the GPU from a Linux development box. The setup involves portproxy, firewall rules, and a scheduled task to keep the WSL VM alive, enabling GPU-accelerated development on the Linux box.

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

140 adulion 2026-07-28 10:40:29 UTC ciphercue.com Llama Share 86

DMARC adoption is low, with 68.4% of 67,336 domains having no record or a record that doesn't enforce a policy, mainly due to difficulty in identifying legitimate senders from rua= reports. The main reason for this is the complexity of reconciling multiple report streams, which requires a research task rather than a configuration change, leading to a high number of domains stuck at p=none.

How to Survive Boiling Water

357 cainxinth 2026-07-28 07:40:29 UTC taxa.substack.com Llama Share 75

A college student's abandoned milk carton became a 27-year dorm tradition, sparking a story about the value of discarded items. A scientist investigates a probiotic tea, discovering that its bacteria can survive boiling water due to spore-forming properties.

So, you want to make a game engine (2023)

31 kugurerdem 2026-07-28 15:40:29 UTC lisyarus.github.io Llama Share 24

The user discusses the pros and cons of creating a custom game engine, including the benefits of freedom from corporate decisions, optimization for specific needs, and learning opportunities, but also notes the challenges of engine development, such as lack of features and potential burnout. The user proposes a definition of a game engine as a set of tools and libraries designed to help make ...

Stop Killing the Internet: No Digital ID and No Age Verification

201 doener 2026-07-28 15:40:29 UTC citizens-initiative.europa.eu Full Share 62

Want to learn and collaborate?

Scientific computing in the age of agentic AI

19 mfiguiere 2026-07-28 17:40:29 UTC openai.com Llama Share 2

Scientists are using coding agents to modernize scientific software, making it more efficient and better maintained. This allows researchers to focus on discovery rather than tedious implementation tasks, accelerating the pace of iteration in scientific computing.

Una Watch: Garmin watch competitor but repairable, open ecosystem and USB-C

44 pimterry 2026-07-28 15:40:29 UTC unawatch.com Full Share 35

local_rate_limited

VMs can't boot with Network Mode set to Bridged on Apple M5 Pro machines

48 IndySun 2026-07-28 13:40:29 UTC github.com/utmapp Full Share 26

Describe the issue Can't boot VMs with Network Mode set to 'Bridged' on machines with the new Apple M5 Pro I tested the latest ubuntu-24.04.4-live-server-arm64.iso It boots fine with Network Mode set to 'Host Only' or 'Extended' Configur...

Google's Beyond Zero: Enterprise Security for the AI Era

117 jordigg 2026-07-28 10:40:29 UTC spawn-queue.acm.org Llama Share 64

The website is using Cloudflare security and blocked my action, possibly due to a trigger like a certain word or SQL command. I was trying to perform an action when this page came up, and the Cloudflare Ray ID is needed to report the issue to the site owner.

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

91 permute 2026-07-28 13:40:29 UTC github.com/schildep Llama Share 42

A formally verified implementation of a 3D constructive solid geometry (CSG) operation, mesh intersection, was implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly. The implementation prioritizes minimizing the effort of human review of correctness over performance, resulting in a slower but formally verified mesh ...

Xenharmlib (music theory library) adds support for Just Intonation

10 retooth 2026-07-28 16:40:29 UTC xenharmlib.readthedocs.io Llama Share 1

Xenharmlib version 0.4.0 introduces significant new features including support for regular temperaments, Just Intonation, and interval arithmetic. It also includes new tools for scale analysis such as interval class vectors and closest frequency approximation.

Show HN: Flashpaper – Self-destructing secret sharing with no database

21 minpym 2026-07-28 15:40:29 UTC flashpaper.app Prefix Share 4

Flashpaper is the simplest way to send private notes, keys, and files. The instant your recipient opens the link, the content burns out completely—leaving nothing stored behind. Obscures secret text behind an interactive spotlight lens mask to deter screen capture and shoulder surfing Volatile RAM-Only Storage: Secrets are stored only in volatile server memory — never written to disk or a ...

Solving Fermat: Andrew Wiles

57 1970-01-01 2026-07-28 13:40:29 UTC pbs.org Llama Share 24

Andrew Wiles spent his career proving Fermat's Last Theorem, a famous mathematical problem. He finally succeeded in 1993 but initially made an error in his proof.