CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·16h
🌊Stream Ciphers
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·8h
💻Programming languages
GHC Developer Blog: GHC 9.10.3-rc4 is now available
haskell.org·22h
🔗Functional Compilers
Show HN: Building a web search engine from scratch (a reply to Wilson Lin)
medium.com·7h·
Discuss: Hacker News
🗂️Vector Search
The Weirdest Syntax in Programming Languages (And Why It Exists)
dev.to·10h·
Discuss: DEV
💻Programming languages
Compilation Isn't Just for Programming Languages
architecture-weekly.com·9h·
Discuss: r/programming
🌊Stream Processing
AGI's Moving Finish Line
signalfire.com·2h·
Discuss: Hacker News
🧮Theorem Proving
How to Solve a Problem
henrikkarlsson.xyz·9h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Can Multi-modal (reasoning) LLMs detect document manipulation?
arxiv.org·18h
🤖Advanced OCR
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org·18h
🔗Functional Compilers
Indirect Prompt Injections Exploit Context, Format, and Salience
fogel.dev·2h·
Discuss: Lobsters, Hacker News
🧪Protocol Fuzzing
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·18h
🔗Concatenative Programming
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·2h·
Discuss: Hacker News
⚡Homebrew CPUs
Code changes and Improvements for neural web
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
GPT-5 goes hard on real-world programming
omerba.dev·9h·
Discuss: Lobsters, Hacker News
✅Format Verification
Faceclick: A lightweight Emoji picker with keyword search
ratfactor.com·2d·
Discuss: Lobsters
📝Text Compression
Rule2Text: A Framework for Generating and Evaluating Natural Language Explanations of Knowledge Graph Rules
arxiv.org·18h
🔗Constraint Handling
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·18h
🎯Performance Proofs
Apriel-Nemotron-15B-Thinker
arxiv.org·18h
💻Local LLMs
Beyond the Rosetta Stone: Unification Forces in Generalization Dynamics
arxiv.org·18h
🌳Context free grammars