Hacker News: matt_dhttps://news.ycombinator.com/user?id=matt_dHacker News RSShttps://hnrss.org/hnrss v2.1.1Thu, 13 Aug 2026 18:49:10 +0000<![CDATA[Spaghettifying DRAM]]>Article URL: https://github.com/xoreaxeaxeax/skitter-creek-bath-salts

Comments URL: https://news.ycombinator.com/item?id=49286341

Points: 318

# Comments: 97

]]>Thu, 13 Aug 2026 14:17:13 +0000https://github.com/xoreaxeaxeax/skitter-creek-bath-saltsmatt_dhttps://news.ycombinator.com/item?id=49286341https://news.ycombinator.com/item?id=49286341<![CDATA[Specula: Scaling formal specs for autonomous model checking of system code]]>Article URL: http://muratbuffalo.blogspot.com/2026/08/specula-scaling-formal-specifications.html

Comments URL: https://news.ycombinator.com/item?id=49281628

Points: 6

# Comments: 0

]]>Thu, 13 Aug 2026 03:54:37 +0000http://muratbuffalo.blogspot.com/2026/08/specula-scaling-formal-specifications.htmlmatt_dhttps://news.ycombinator.com/item?id=49281628https://news.ycombinator.com/item?id=49281628<![CDATA[Principia Mathematica is modern and insightful]]>Article URL: https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html

Comments URL: https://news.ycombinator.com/item?id=49279928

Points: 260

# Comments: 140

]]>Wed, 12 Aug 2026 23:26:21 +0000https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.htmlmatt_dhttps://news.ycombinator.com/item?id=49279928https://news.ycombinator.com/item?id=49279928<![CDATA[Estimating Branch Probabilities]]>Article URL: https://maskray.me/blog/2026-08-09-estimating-branch-probabilities

Comments URL: https://news.ycombinator.com/item?id=49269377

Points: 1

# Comments: 0

]]>Wed, 12 Aug 2026 08:33:34 +0000https://maskray.me/blog/2026-08-09-estimating-branch-probabilitiesmatt_dhttps://news.ycombinator.com/item?id=49269377https://news.ycombinator.com/item?id=49269377<![CDATA[A SAT Attack on Tarski's High School Algebra Problem]]>Article URL: https://arxiv.org/abs/2608.08421

Comments URL: https://news.ycombinator.com/item?id=49268565

Points: 3

# Comments: 0

]]>Wed, 12 Aug 2026 06:30:57 +0000https://arxiv.org/abs/2608.08421matt_dhttps://news.ycombinator.com/item?id=49268565https://news.ycombinator.com/item?id=49268565<![CDATA[What Evolves When We Talk About Harness Evolution?]]>Article URL: https://wenwen-d.github.io/blog/harness-delta-attribution/

Comments URL: https://news.ycombinator.com/item?id=49268055

Points: 1

# Comments: 0

]]>Wed, 12 Aug 2026 05:13:19 +0000https://wenwen-d.github.io/blog/harness-delta-attribution/matt_dhttps://news.ycombinator.com/item?id=49268055https://news.ycombinator.com/item?id=49268055<![CDATA[LSPs for LLMs]]>Article URL: https://ianbarber.blog/2026/08/11/lsps-for-llms/

Comments URL: https://news.ycombinator.com/item?id=49267518

Points: 1

# Comments: 0

]]>Wed, 12 Aug 2026 03:26:10 +0000https://ianbarber.blog/2026/08/11/lsps-for-llms/matt_dhttps://news.ycombinator.com/item?id=49267518https://news.ycombinator.com/item?id=49267518<![CDATA[mmiotic: Latency x-ray for undocumented hardware]]>Article URL: https://github.com/xoreaxeaxeax/mmiotic

Comments URL: https://news.ycombinator.com/item?id=49265900

Points: 3

# Comments: 0

]]>Tue, 11 Aug 2026 23:28:42 +0000https://github.com/xoreaxeaxeax/mmioticmatt_dhttps://news.ycombinator.com/item?id=49265900https://news.ycombinator.com/item?id=49265900<![CDATA[The Unseen Delta: Characterizing the Compiler Optimization Landscape]]>Article URL: https://arxiv.org/abs/2608.09530

Comments URL: https://news.ycombinator.com/item?id=49265760

Points: 2

# Comments: 0

]]>Tue, 11 Aug 2026 23:13:54 +0000https://arxiv.org/abs/2608.09530matt_dhttps://news.ycombinator.com/item?id=49265760https://news.ycombinator.com/item?id=49265760<![CDATA[Don't Stall Me Now: Hiding Memory Latency in eBPF]]>Article URL: https://dl.acm.org/doi/10.1145/3789240.3829175

Comments URL: https://news.ycombinator.com/item?id=49265648

Points: 2

# Comments: 0

]]>Tue, 11 Aug 2026 22:58:55 +0000https://dl.acm.org/doi/10.1145/3789240.3829175matt_dhttps://news.ycombinator.com/item?id=49265648https://news.ycombinator.com/item?id=49265648<![CDATA[A Preliminary Study on Simultaneous Coscheduling for Discrete GPU vs. Fused GPU]]>Article URL: https://arxiv.org/abs/2608.09647

Comments URL: https://news.ycombinator.com/item?id=49262243

Points: 1

# Comments: 0

]]>Tue, 11 Aug 2026 18:12:44 +0000https://arxiv.org/abs/2608.09647matt_dhttps://news.ycombinator.com/item?id=49262243https://news.ycombinator.com/item?id=49262243<![CDATA[New comment by matt_d in "Scope and Lifetime Restrictions in Swift"]]>Context: https://hachyderm.io/@rjmccall/117073259835476299

"We've been thinking about a lot about the language design of expressing lifetime restrictions and dependencies for non-escapable types in Swift, and I put all that into a long and somewhat rambling design paper which folks might find interesting."

]]>Tue, 11 Aug 2026 07:22:03 +0000https://news.ycombinator.com/item?id=49254506matt_dhttps://news.ycombinator.com/item?id=49254506https://news.ycombinator.com/item?id=49254506<![CDATA[Scope and Lifetime Restrictions in Swift]]>Article URL: https://github.com/rjmccall/swift-evolution/blob/scope-restrictions/scope-restriction-models.md

Comments URL: https://news.ycombinator.com/item?id=49254505

Points: 2

# Comments: 1

]]>Tue, 11 Aug 2026 07:22:03 +0000https://github.com/rjmccall/swift-evolution/blob/scope-restrictions/scope-restriction-models.mdmatt_dhttps://news.ycombinator.com/item?id=49254505https://news.ycombinator.com/item?id=49254505<![CDATA[RISC-V: Public Review for the RVA23.1 and RVB23.1 Profiles]]>Article URL: https://groups.google.com/a/groups.riscv.org/g/isa-dev/c/JBT5kq4ryLc

Comments URL: https://news.ycombinator.com/item?id=49254110

Points: 1

# Comments: 0

]]>Tue, 11 Aug 2026 06:29:54 +0000https://groups.google.com/a/groups.riscv.org/g/isa-dev/c/JBT5kq4ryLcmatt_dhttps://news.ycombinator.com/item?id=49254110https://news.ycombinator.com/item?id=49254110<![CDATA[Cylic Trait Implementations: Motivation]]>Article URL: https://smallcultfollowing.com/babysteps/blog/2026/08/10/cyclic-trait-solving/

Comments URL: https://news.ycombinator.com/item?id=49254084

Points: 1

# Comments: 0

]]>Tue, 11 Aug 2026 06:25:51 +0000https://smallcultfollowing.com/babysteps/blog/2026/08/10/cyclic-trait-solving/matt_dhttps://news.ycombinator.com/item?id=49254084https://news.ycombinator.com/item?id=49254084<![CDATA[Moving integer division to floating-point is trivial]]>Article URL: http://marc-b-reynolds.github.io/math/2026/08/10/IntDivByFP.html

Comments URL: https://news.ycombinator.com/item?id=49253831

Points: 10

# Comments: 0

]]>Tue, 11 Aug 2026 05:48:56 +0000http://marc-b-reynolds.github.io/math/2026/08/10/IntDivByFP.htmlmatt_dhttps://news.ycombinator.com/item?id=49253831https://news.ycombinator.com/item?id=49253831<![CDATA[Optimizing GEMM and Activation on CDNA4 with TLX]]>Article URL: https://www.amd.com/en/developer/resources/technical-articles/2026/optimizing-gemm-with-tlx.html

Comments URL: https://news.ycombinator.com/item?id=49251319

Points: 1

# Comments: 0

]]>Mon, 10 Aug 2026 23:33:11 +0000https://www.amd.com/en/developer/resources/technical-articles/2026/optimizing-gemm-with-tlx.htmlmatt_dhttps://news.ycombinator.com/item?id=49251319https://news.ycombinator.com/item?id=49251319<![CDATA[EvoHarnessRL: Learning Self-Evolving Runtime Harness for Long-Horizon LLM Agents]]>Article URL: https://arxiv.org/abs/2608.05446

Comments URL: https://news.ycombinator.com/item?id=49249998

Points: 3

# Comments: 0

]]>Mon, 10 Aug 2026 21:28:07 +0000https://arxiv.org/abs/2608.05446matt_dhttps://news.ycombinator.com/item?id=49249998https://news.ycombinator.com/item?id=49249998<![CDATA[Optimizing an NVFP4 Blockscaled GEMM on RTX Pro 6000 Blackwell GPU (SM120)]]>Article URL: https://research.colfax-intl.com/optimizing-an-nvfp4-blockscaled-gemm-on-rtx-pro-6000-blackwell-gpu-sm120/

Comments URL: https://news.ycombinator.com/item?id=49248291

Points: 2

# Comments: 0

]]>Mon, 10 Aug 2026 19:11:55 +0000https://research.colfax-intl.com/optimizing-an-nvfp4-blockscaled-gemm-on-rtx-pro-6000-blackwell-gpu-sm120/matt_dhttps://news.ycombinator.com/item?id=49248291https://news.ycombinator.com/item?id=49248291<![CDATA[Let's Stop Calling Everything "Linear Attention"]]>Article URL: https://htor.inf.ethz.ch/blog/index.php/2026/08/09/lets-stop-calling-everything-linear-attention/

Comments URL: https://news.ycombinator.com/item?id=49240499

Points: 2

# Comments: 0

]]>Mon, 10 Aug 2026 07:33:43 +0000https://htor.inf.ethz.ch/blog/index.php/2026/08/09/lets-stop-calling-everything-linear-attention/matt_dhttps://news.ycombinator.com/item?id=49240499https://news.ycombinator.com/item?id=49240499