Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
OlmoEarth: A new state-of-the-art Earth observation foundation model family
allenai.org·21h·
Discuss: Hacker News
👁️Observability
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·18h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·4d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
It Doesn’t Need to Be a Chatbot
towardsdatascience.com·1d
📚Automata Learning
Flag this post
Cognitive Alignment in Personality Reasoning: Leveraging Prototype Theory for MBTI Inference
arxiv.org·1d
📚Automata Learning
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·6h
📚Automata Learning
Flag this post
GeneFlow: Translation of Single-cell Gene Expression to Histopathological Images via Rectified Flow
arxiv.org·1d
🧩Parser Combinators
Flag this post
Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with B\'ezier Curves
arxiv.org·1d
📚Automata Learning
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🛡️seL4
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·1d
📚Automata Learning
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·19h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·1d
🤖Robotics
Flag this post
Collaborative Attention and Consistent-Guided Fusion of MRI and PET for Alzheimer's Disease Diagnosis
arxiv.org·6h
🎨GADTs
Flag this post
Interpretable Heart Disease Prediction via a Weighted Ensemble Model: A Large-Scale Study with SHAP and Surrogate Decision Trees
arxiv.org·6h
🕸️Graph Theory
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
The older I get, the better my code becomes
dev.to·9h·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·5h·
Discuss: DEV
📦Module Systems
Flag this post
A generative adversarial network optimization method for damage detection and digital twinning by deep AI fault learning: Z24 Bridge structural health monitorin...
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
dev.to·16h·
Discuss: DEV
📊Runtime Verification
Flag this post