CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·9h
🌊Stream Ciphers
Interpolation in Classical Propositional Logic
arxiv.org·11h
🔗Combinatory Logic
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·11h
🔗Concatenative Programming
Show HN: Building a web search engine from scratch (a reply to Wilson Lin)
medium.com·44m·
Discuss: Hacker News
🗂️Vector Search
Validating Path Simplification: Strategies for Quick Feedback
andrews.wiki·2h·
Discuss: Hacker News
🧪Binary Fuzzing
How to Solve a Problem
henrikkarlsson.xyz·2h·
Discuss: Hacker News
❄️Nordic Design Philosophy
The System Inside the System
worksonmymachine.ai·11h·
Discuss: Lobsters, Hacker News
🔲Cellular Automata
Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
Modelling Exactly-Once Delivery Using TLA+
medium.com·12h·
Discuss: Hacker News
⚙️TLA+
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·3h
🔗Lisp
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·11h
🔗Parser Combinators
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·11h
📊Quantization
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·8h·
Discuss: Hacker News
🔄Migration Tools
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·11h
📼Tape Combinators
Simple Python Password Game for Beginners
dev.to·3h·
Discuss: DEV
🎯Proof Tactics
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·11h
🎯Performance Proofs
https://blog.wilsonl.in/search-engine/?s=09
blog.wilsonl.in·1d
🔍BitFunnel
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·9h·
Discuss: Hacker News
🧪Binary Fuzzing
Typechecker Zoo
sdiehl.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·11h
🧠Computational Logic