CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·12h
🌊Stream Ciphers
AI's hidden state in the execution stack
ayende.com·6h
🎯Gradual Typing
https://blog.wilsonl.in/search-engine/?s=09
blog.wilsonl.in·1d
🔍BitFunnel
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·14h
📼Tape Combinators
Typechecker Zoo
sdiehl.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·14h
🎯Performance Proofs
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·14h
🧠Computational Logic
GPT-5 goes hard on real-world programming
omerba.dev·4h·
Discuss: Lobsters, Hacker News
✅Format Verification
Show HN: Building a web search engine from scratch (a reply to Wilson Lin)
medium.com·3h·
Discuss: Hacker News
🗂️Vector Search
AI 'Map Reduce': Scaling AI Tasks
danielsada.tech·9h·
Discuss: Hacker News
⚙️Batch Processing
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·12h·
Discuss: Hacker News
🧪Binary Fuzzing
The joy of recursion, immutable data, and pure functions: Generating mazes with JavaScript
jrsinclair.com·9h·
Discuss: Hacker News
λLambda Formalization
Characterizing NC1 with Typed Monoids
arxiv.org·14h
⚙️Syntactic Monoids
Presheaf automata
arxiv.org·14h
🎯Automata theory
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents
arxiv.org·14h
🔍Information Retrieval
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org·14h
👁️System Observability
Group Fairness Meets the Black Box: Enabling Fair Algorithms on Closed LLMs via Post-Processing
arxiv.org·14h
🧮Kolmogorov Bounds
A Comprehensive Perspective on Explainable AI across the Machine Learning Workflow
arxiv.org·14h
🤖AI Curation
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io·35m·
Discuss: Hacker News
🦀Rust Borrowing
Efficiently Verifiable Proofs of Data Attribution
arxiv.org·3d
🛡️Proof-Carrying Data