Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·3h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·8h
🧮SMT Solvers
Flag this post
📢 New Series: Neuro-Symbolic Wednesday
dev.to·5h·
Discuss: DEV
🤖Transformers
Flag this post
Petri Dish Neural Cellular Automata
pub.sakana.ai·12h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·34m·
Discuss: DEV
⏭️Skip Lists
Flag this post
Molecular Alchemy: AI-Powered Design of Novel Compounds by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🎭Program Synthesis
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·1d
🔲Cellular Automata
Flag this post
Tackling Incomplete Data in Air Quality Prediction: A Bayesian Deep Learning Framework for Uncertainty Quantification
arxiv.org·8h
📱Edge AI
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
dev.to·19h·
Discuss: DEV
🌳Tree-sitter
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·8h
🔥PyTorch
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·10h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·8h
🌳Tree-sitter
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·8h
📊Dynamic Programming
Flag this post
Computation as a Game
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·1d
⚡Incremental Computation
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·8h
🔀Procedural Generation
Flag this post