Bounded Model Checking, C Verification, SAT Solving, Bug Finding

Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·11h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Pain Points of OCaml
quamserena.com·1d·
📦Module Systems
Flag this post
Voxel Grid Visibility
cod.ifies.com·17h·
🧩Separation Logic
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·4d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Intentionality
lesswrong.com·5h
📵Digital Minimalism
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·12h
🩹Self-Healing Systems
Flag this post
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds
arxiv.org·4h
🤖Robotics
Flag this post
Variational Data-Consistent Assimilation
arxiv.org·1d
📐Linear Algebra
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·1d
👁️Observability
Flag this post
Measuring the Intrinsic Dimension of Earth Representations
arxiv.org·4h
🕸️Graph Theory
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
🧩Parser Combinators
Flag this post
Using ensemble learning with hybrid graph neural networks and transformers to predict traffic in cities
arxiv.org·4h
🕸️Graph Theory
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·4h
📐Linear Algebra
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post