Coding on Paper
⚙️Compiler Design
Flag this post
AI Energy Score
📊Runtime Verification
Flag this post
Up and Down the Ladder of Abstraction
🔲Cellular Automata
Flag this post
Petri Dish Neural Cellular Automata
🔲Cellular Automata
Flag this post
A Project Is Not a Bundle of Tasks
🔧DevOps
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
🧩Separation Logic
Flag this post
[Linkpost] How to Win Board Games
lesswrong.com·18h
🎮Verification Games
Flag this post
Active Noise Control Method Using Time Domain Neural Networks for Path Decoupling
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Inter-Agent Trust Models: A Comparative Study of Brief, Claim, Proof, Stake, Reputation and Constraint in Agentic Web Protocol Design-A2A, AP2, ERC-8004, and Be...
arxiv.org·1d
🌐NetworkProtocols
Flag this post
Computational Imaging Meets LLMs: Zero-Shot IDH Mutation Prediction in Brain Gliomas
arxiv.org·1d
🔍CBMC
Flag this post
Alleviating Hyperparameter-Tuning Burden in SVM Classifiers for Pulmonary Nodules Diagnosis with Multi-Task Bayesian Optimization
arxiv.org·1d
⏱️Computational Complexity
Flag this post
Unveiling Deep Semantic Uncertainty Perception for Language-Anchored Multi-modal Vision-Brain Alignment
arxiv.org·6h
🧩Parser Combinators
Flag this post
AI-Driven Predictive Hazard Mitigation via Dynamic Structural Health Monitoring
🩹Self-Healing Systems
Flag this post
A 2032 Takeoff Story
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Submanifold Sparse Convolutional Networks for Automated 3D Segmentation of Kidneys and Kidney Tumours in Computed Tomography
arxiv.org·6h
📐Linear Algebra
Flag this post
Loading...Loading more...