You Could Have Come Up with Kimi Delta Attention

121 AnhTho_FR 2026-07-28 16:27:06 UTC blog.doubleword.ai GoogleT5 Share 29

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. ...

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

61 speerer 2026-07-28 16:27:06 UTC slow-journalism.com Full Share 33

Verifying that you are not a robot...

How Do I Profile eBPF Code?

51 snaveen 2026-07-28 16:27:06 UTC naveensrinivasan.com Llama Share 3

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.

Zig's Incremental Compilation Internals

66 garyhtou 2026-07-28 16:27:06 UTC mlugg.co.uk Llama Share 14

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.

7.1 Earthquake in Japan

696 krembo 2026-07-28 08:27:06 UTC data.jma.go.jp Full Share 168

都道府県 市町村名

Kimi K3 Architecture Overview and Notes

55 ModelForge 2026-07-28 16:27:06 UTC sebastianraschka.com Llama Share 5

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.

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

48 surprisetalk 2026-07-28 15:27:06 UTC arxiv.org Llama Share 38

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.

Show HN: XY – Fast, composable, GPU-accelerated Python charting library

40 apetuskey 2026-07-28 16:27:06 UTC github.com/reflex-dev Llama Share 15

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.

New HIV vaccine shows unprecedented success in preclinical study

350 codebyaditya 2026-07-28 13:27:06 UTC lji.org Llama Share 167

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.

Kimi Linear: An Expressive, Efficient Attention Architecture

198 ronfriedhaber 2026-07-28 11:27:06 UTC arxiv.org Llama Share 73

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.

Discovering Cryptographic Weaknesses with Claude

4 gslin 2026-07-28 17:23:06 UTC anthropic.com Prefix Share 0

Using Claude Mythos Preview, researchers at Anthropic have discovered improved ways to attack cryptographic algorithms (the mathematical methods used to keep online data private). The first attack significantly weakens HAWK, a digital signature scheme that was built for a post-quantum world. The second identifies a new way to attack round-reduced AES, the most widely used symmetric cipher. ...

Substack writers, you need a website

11 speckx 2026-07-28 16:59:06 UTC elizabethtai.com Llama Share 3

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.

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

111 adulion 2026-07-28 10:27:06 UTC ciphercue.com Llama Share 80

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

315 cainxinth 2026-07-28 07:27:06 UTC taxa.substack.com Llama Share 60

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)

16 kugurerdem 2026-07-28 16:27:06 UTC lisyarus.github.io Llama Share 12

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 ...

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

87 permute 2026-07-28 13:27:06 UTC github.com/schildep Llama Share 38

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 ...

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

15 rbanffy 2026-07-28 15:27:06 UTC cacm.acm.org Llama Share 7

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.

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

99 doener 2026-07-28 15:27:06 UTC citizens-initiative.europa.eu Full Share 30

Want to learn and collaborate?

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

39 IndySun 2026-07-28 14:27:06 UTC github.com/utmapp Full Share 22

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...

Scientific computing in the age of agentic AI

4 mfiguiere 2026-07-28 17:14:06 UTC openai.com Prefix Share 0

A field report shows how scientists are using coding agents to modernize scientific software for genomics and other data-rich fields. Scientific computing is a core pillar of modern research across academia and industry. Yet the software needed to analyze scientific information has struggled to keep pace with the rapid rate of data generation. Many widely used research tools began as code ...

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

107 jordigg 2026-07-28 10:27:06 UTC spawn-queue.acm.org Llama Share 61

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.

Steel Bank Common Lisp version 2.6.7

3 tmtvl 2026-07-28 17:13:06 UTC sbcl.org Prefix Share 0

New SBCL versions are usually released at the end of each month: check the Sourceforge File List to see the current version. The new features of all SBCL releases are listed below. Back to top new contrib module: SB-MANUAL contains the SBCL manual in docstrings of section definitions, which tie together the docstrings of normal Lisp definitions. The manual can thus be explored interactively ...

Solving Fermat: Andrew Wiles

46 1970-01-01 2026-07-28 13:27:06 UTC pbs.org Llama Share 21

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.

Anthropeum

33 bookofjoe 2026-07-28 15:27:06 UTC anthropeum.com Llama Share 9

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.

Xenharmlib (music theory library) adds support for Just Intonation

6 retooth 2026-07-28 16:27:06 UTC xenharmlib.readthedocs.io Prefix Share 0

As far as new features are concerned, version 0.4.0 is not a step but a leap forward. Xenharmlib’s core has been refactored to allow not only equal-division temperaments but also tunings with multiple generator intervals. This means that it now supports the entire range of regular temperaments, including Just Intonation. With the sole exception of irregular temperaments (such as the ...

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

8 minpym 2026-07-28 16:27:06 UTC flashpaper.app Prefix Share 2

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 ...

Italy Blocks Reproductive Health Websites Women on Web and Women Help Women

95 miniBill 2026-07-28 14:27:06 UTC ooni.org Llama Share 83

OONI data indicates that at least 6 ISPs in Italy, including Fastweb and Vodafone Italia, began blocking access to Women on Web and Women Help Women websites in mid-February 2026 through DNS tampering. The blocking techniques used include DNS tampering, NXDOMAIN responses, and TLS certificate validation failures, suggesting that ISPs in Italy are restricting access to reproductive healthcare ...

Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser

63 eranation 2026-07-28 12:27:06 UTC scalatutorials.com Full Share 26

Free and open source. The code runs on Scastie, the Scala Center's playground. Nothing to install, no account needed. The tour targets Scala 3, with a dedicated section on what changed since Scala 2.

Setup Script Should Support Git Worktrees

14 speckx 2026-07-28 16:27:06 UTC piechowski.io Llama Share 3

A setup script prepares a Git worktree for development by copying environment files and setting up databases, ports, and resource names. The script should be idempotent, check for requirements, and handle concurrency to ensure a robust and isolated development environment.

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

18 pimterry 2026-07-28 15:27:06 UTC unawatch.com Full Share 6

local_rate_limited