CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·14h
🌊Stream Ciphers
Friday 10 October 2025 - 11am
informatics.ed.ac.uk·5h
🧠Machine Learning
Typechecker Zoo
sdiehl.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·11h·
Discuss: DEV
🔗Constraint Handling
A programmer's field guide to assertions
typesanitizer.com·1d·
Discuss: Lobsters
📜Proof Carrying Code
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·16h
🎨Graph Coloring
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·16h
🧠Computational Logic
The Impact of Large Language Models (LLMs) on Code Review Process
arxiv.org·16h
📏Code Metrics
Czkawka / Krokiet 10.0,
medium.com·4h
🦀Rust Macros
The joy of recursion, immutable data, and pure functions: Generating mazes with JavaScript
jrsinclair.com·11h·
Discuss: Hacker News
λLambda Formalization
Automated Multi-Modal Scientific Knowledge Synthesis via Graph-Augmented Bayesian Inference
dev.to·3h·
Discuss: DEV
📊Citation Graphs
LLM from scratch, part 18 – residuals, shortcut connections, and the Talmud
gilesthomas.com·35m·
Discuss: Hacker News
📊Quantization
The Weirdest Syntax in Programming Languages (And Why It Exists)
dev.to·7h·
Discuss: DEV
💻Programming languages
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·14h·
Discuss: Hacker News
🧪Binary Fuzzing
Show HN: Building a web search engine from scratch (a reply to Wilson Lin)
medium.com·5h·
Discuss: Hacker News
🗂️Vector Search
Compilation Isn't Just for Programming Languages
architecture-weekly.com·6h·
Discuss: r/programming
🌊Stream Processing
AGI's Moving Finish Line
signalfire.com·33m·
Discuss: Hacker News
🧮Theorem Proving
GPT-5 goes hard on real-world programming
omerba.dev·6h·
Discuss: Lobsters, Hacker News
✅Format Verification
Can Multi-modal (reasoning) LLMs detect document manipulation?
arxiv.org·16h
🤖Advanced OCR
Towards Efficient Hash Maps in Functional Array Languages
arxiv.org·16h
🔗Functional Compilers