On This Day in Math - June 26
pballew.blogspot.com·19h·
Discuss: www.blogger.com
🗃️Punched Cards
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·4d
λLambda Encodings
[$] Supporting kernel development with large language models
lwn.net·9h
💻Local LLMs
How much code does that proc macro generate?
nnethercote.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Next Generation of Red Teaming for LLM Agents
promptfoo.dev·4h·
Discuss: Hacker News
⚡Proof Automation
U.S. Lawmakers Urge Action on Cybersecurity in Face of Quantum Threat
thequantuminsider.com·5h·
Discuss: Hacker News
🔐Quantum Security
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Can You Patch a Protobuf File? Not Really—and Here’s Why
hackernoon.com·1d
📋Protocol Buffers
NeuroCode – Brain-Inspired AI for Code Understanding (Open Source)
github.com·8h·
Discuss: Hacker News
🔓Open Source Software
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·2d·
Discuss: Hacker News
🕸️WebP Analysis
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Weakly Private Information Retrieval from Heterogeneously Trusted Servers
arxiv.org·3d
📊Compression Proofs
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·2d
⚽Sphere Packing
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·1d·
Discuss: DEV
📋DFDL
Language Modeling by Language Models
arxiv.org·20h
🤖Grammar Induction
Iterative Quantum Feature Maps
arxiv.org·1d
⚛️Quantum Circuits
Learning from Anatomy: Supervised Anatomical Pretraining (SAP) for Improved Metastatic Bone Disease Segmentation in Whole-Body MRI
arxiv.org·1d
🧠Machine Learning
Focus Your Attention: Towards Data-Intuitive Lightweight Vision Transformers
arxiv.org·2d
🔄Lens Laws
UltraSketchLLM: Saliency-Driven Sketching for Ultra-Low Bit LLM Compression
arxiv.org·2d
🗜️LZW Variants
Boson sampling finds first practical applications in quantum AI
phys.org·1d
⚛️Quantum Algorithms