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

Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·8h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Pain Points of OCaml
quamserena.com·1d·
📦Module Systems
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Voxel Grid Visibility
cod.ifies.com·13h·
🧩Separation Logic
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·4d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
medium.com·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Intentionality
lesswrong.com·2h
📵Digital Minimalism
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·1d
📦OPAM
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
Identification of Capture Phases in Nanopore Protein Sequencing Data Using a Deep Learning Model
arxiv.org·1d
👁️Observability
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds
arxiv.org·1h
🤖Robotics
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·17h·
Discuss: DEV
🔧ppx
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·1h
🕸️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·1h
🕸️Graph Theory
Flag this post