Robust Control Synthesis via Persistent Homology-Guided Network Pruning
⚡Control Synthesis
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧩Constraint Solvers
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
🧮Combinator Calculus
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
🎲Property Testing
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
📚Self-Documenting Code
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
🔗Go Generics
Flag this post
Looking for advice - I've built an AI-augmented Network Configuration and Troubleshooting Agent - worth it?
✅Configuration Validation
Flag this post
Adaptive continuity-preserving simplification of street networks
sciencedirect.com·1d
💬Smalltalk VMs
Flag this post
So I made a Full-stack coding framework at 16 years old called ScrollForge: Causal Graph Programming which unifies state, logic, and style in one causal graph.
🌊Reactive Languages
Flag this post
Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1d
🔄Loop Optimization
Flag this post
Speedrunning an RL Environment
✨Gleam
Flag this post
Loading...Loading more...