Handbook of Satisfiability (2021)
iospress.com·2d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·16h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·6h·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·5h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Gen AI in Automotive: Applications, Challenges, and Opportunities with a Case study on In-Vehicle Experience
arxiv.org·21h
🩹Self-Healing Systems
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Self-Improving Vision-Language-Action Models with Data Generation via Residual RL
arxiv.org·21h
📚Automata Learning
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·21h
📚Automata Learning
Flag this post
FLoC: Facility Location-Based Efficient Visual Token Compression for Long Video Understanding
arxiv.org·21h
🧩Parser Combinators
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·21h
🧮SMT Solvers
Flag this post
MoSa: Motion Generation with Scalable Autoregressive Modeling
arxiv.org·21h
📐Linear Algebra
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·14h·
Discuss: r/MachineLearning
💾Retro Computing
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·21h
🩹Self-Healing Systems
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·6h·
Discuss: Hacker News
📦Opam
Flag this post
Chain of Pattern: Rethink
dev.to·2d·
Discuss: DEV
🔤Language Design
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·21h
🧩Parser Combinators
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·9h·
Discuss: Hacker News
🐳Containerization
Flag this post
ParaScopes: What do Language Models Activations Encode About Future Text?
arxiv.org·21h
🧩Parser Combinators
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
🛡️seL4
Flag this post