Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·11h
🧭SMT Solvers
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
📈Complexity Theory
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙Functional Programming
Flag this post
What Are Auto-regressive Models? A Deep Dive and Typical Use Cases
blog.pangeanic.com·1d
🎲Probabilistic Programming
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·11h
🎲Probabilistic Programming
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·4h
🧮Programming Language Theory
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·11h
🎲Probabilistic Programming
Flag this post
Hans-Juergen Schoenig: Counting Customers in PostgreSQL
cybertec-postgresql.com·10h
🗄️Database Theory
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·1d
🔌Network Programming
Flag this post
Prog8
🏗Computer Architecture
Flag this post
Towards Automated Petrography
arxiv.org·11h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...