Flatpak Happenings
🔬Unikernels
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
🔧Unikernel Development
Flag this post
Agents Are Commoditizing the Complement
🔧DevOps
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
💎Refinement Types
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·2d
🧩Separation Logic
Flag this post
Being "Usefully Concrete"
lesswrong.com·1d
➡️Category Theory
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·2d
📚Automata Learning
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
🔤Language Design
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·2d
🕸️Graph Theory
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·2d
📚Automata Learning
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·2d
⏱️Computational Complexity
Flag this post
SurgAnt-ViVQA: Learning to Anticipate Surgical Events through GRU-Driven Temporal Cross-Attention
arxiv.org·14h
🔲Cellular Automata
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·1d
🔍CBMC
Flag this post
Loading...Loading more...