Research roundup: 6 cool science stories we almost missed
arstechnica.com·2h
🦴Database Paleontology
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
🌳Context free grammars
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·4h·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·2d·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
✨Algebraic Effects
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·21h
⚡Proof Automation
Flag this post
Type Club - Understanding typing through the lens of Fight Club
revelry.co·4d·
Discuss: r/programming
📜Binary Philology
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4h·
Discuss: Hacker News
🖥️Game Emulation
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
dev.to·9h·
Discuss: DEV
🧠Intelligence Compression
Flag this post
The Abode of Salvation
rohanparanjpe.substack.com·21h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Linear Types
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
💻Programming languages
Flag this post
Three Meanings of Reference
sandordargo.com·1d·
Discuss: Hacker News, r/cpp
🔗Concatenative Programming
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·6h·
Discuss: DEV
🗄️Database Internals
Flag this post