How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·2d·
📏Linear Types
Astrophysics Source Code Library
ascl.net·3h·
Discuss: Hacker News
💻Programming languages
Performance Improvements in .NET 10
devblogs.microsoft.com·2d·
💻Programming languages
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·1d·
Discuss: Hacker News
💻Programming languages
Show HN: I made a generative online drum machine with ClojureScript
dopeloop.ai·5h·
💻Programming languages
The 100MHz 6502
e-basteln.de·23h·
Discuss: Hacker News
🏹Apache Arrow
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·1d·
Discuss: Hacker News
🏹Apache Arrow
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·1d·
📏Linear Types
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·1d·
Discuss: Hacker News
💻Programming languages
Reduce bandwidth costs with dm-cache: fast local SSD caching for network storage
devcenter.upsun.com·3d·
Discuss: Hacker News
💾Storage Engines
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·1d·
Discuss: Hacker News
📮Message Queues
Demystifying Tensor Parallelism
robotchinwag.com·3d·
Discuss: Hacker News
SIMD Optimization
SQLite can handle most of it
binaryigor.com·6d·
Discuss: Hacker News
💾Storage Engines
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com·3d·
Discuss: Hacker News
💾Storage Engines
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
💻Programming languages
Program management update — August 2025
blog.rust-lang.org·1d·
📏Linear Types
Image-GS: Content-Adaptive Image Representation via 2D Gaussians
github.com·20h·
Discuss: Hacker News
SIMD Optimization
DHH is immortal, and costs $200M
danieltenner.com·21m·
Discuss: Hacker News
💻Programming languages
The short case for Oracle (via ChatGPT)
news.ycombinator.com·1d·
Discuss: Hacker News
🦆DuckDB
An Interactive Guide to TanStack DB
frontendatscale.com·2d·
Discuss: Hacker News
🦀Rust