SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧩SAT Solvers
Let's Write a Macro in Rust
hackeryarn.com·1h·
Discuss: Hacker News
🦀Rust Macros
Categorical systems theory
topos.institute·5h
🔗Category Theory
In the Shadow of the Hadamard Test: Using the Garbage State for Good and Further Modifications
journals.aps.org·17h
Partial Evaluation
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🪜Recursive Descent
Experimenting with ACL2 and Claude Code
mikedodds.org·5h·
Discuss: Hacker News
💬Interactive REPLs
HE-based On-the-Fly MPC, Revisited: Universal Composability, Approximate and Imperfect Computation, Circuit Privacy
eprint.iacr.org·4d
Control Synthesis
Neuro-Symbolic AI
en.wikipedia.org·3h·
Discuss: Hacker News
🎭Program Synthesis
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·13h
🗺️Region Inference
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·3h·
Discuss: Hacker News
🧩Constraint Solvers
MECE — The AI Principle You’ll Never Stop Using After Reading This
pub.towardsai.net·6h
🎭Program Synthesis
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.com·2d
🔄Tail Call Analysis
Patina project – a Rust implementation of UEFI firmware
github.com·10h·
Discuss: Hacker News
🚂Cranelift Backend
An enough week
blog.mitrichev.ch·21h·
🌲Deforestation
Electrician + uni student, looking to build an inverter.
reddit.com·7h·
Discuss: r/embedded
🔌Microcontrollers
Ship Broken Things
matmul.net·22h·
Discuss: Hacker News
🌳Tree Shaking
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·1d
Quantified Types
GlobalFoundries, MIPS, and the Chiplet Race for AI Datacenters
semiwiki.com·1d
💾Zig Allocators