Voxel Grid Visibility
🧩Separation Logic
Flag this post
Petri Dish Neural Cellular Automata
🔲Cellular Automata
Flag this post
Becoming a Core Developer
stefaniemolin.com·2d
🔬Static Analysis
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·15h
λFunctional Programming
Flag this post
I built sbsh: Persistent terminal sessions with discovery, profiles, and an API
⎈Kubernetes
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
🌐Network Protocols
Flag this post
How to access and use Minimax M2 API
🐳Containerization
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
🛡️seL4
Flag this post
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·7h
🕸️Graph Theory
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·1d
🖥️Self-hosted Infrastructure
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
⚙️Compiler Design
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
👁️System Observability
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·7h
📚Automata Learning
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·7h
🔗Curry-Howard
Flag this post
AMD's Zen 5 RDSEED Issue Is Causing Headaches For Optimized CachyOS Builds
phoronix.com·22h
💾Cachix
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·14h
🐫Embedded OCaml
Flag this post
Loading...Loading more...