How we trained an ML model to detect DLL hijacking
securelist.com·1h
🔗Binary Similarity
Three important things to get right for successful AI Coding
kau.sh·16h
Proof Automation
Lazy text capitalization with low latency large language models
blog.florianschulz.info·1d·
Discuss: Hacker News
🌀Brotli Internals
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·2d·
Discuss: Hacker News
📼Cassette Combinators
WebGPU Fundamentals
webgpufundamentals.org·21h·
Discuss: Hacker News
🎬WebCodecs
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·5h
📋Document Grammar
Signal Braces For Quantum Age With SPQR Encryption Upgrade
it.slashdot.org·2d
🔐Quantum Security
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·20h·
Discuss: DEV
SMT Integration
Decoding the Future: Tensor Networks for Lightning-Fast Wireless Signals
dev.to·1d·
Discuss: DEV
🕸️Tensor Networks
Med-K2N: Flexible K-to-N Modality Translation for Medical Image Synthesis
arxiv.org·5h
🧠Machine Learning
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
λLambda Encodings
Neural Jump ODEs as Generative Models
arxiv.org·5h
📊Quantization
Embracing the parallel coding agent lifestyle
simonw.substack.com·8h·
Discuss: Substack
🌳Incremental Parsing
Breaking decompilers with single-function, and no-main() C codebases
joshua.hu·3d·
Discuss: Hacker News
🧠Lisp Dialects
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
🔬Lean
A PhD in Snapshots
rbharath.github.io·8h·
Discuss: Hacker News
🧠Machine Learning
A Study of Neural Polar Decoders for Communication
arxiv.org·5h
🧠Neural Codecs
Geometry Meets Vision: Revisiting Pretrained Semantics in Distilled Fields
arxiv.org·5h
🌀Differential Geometry