Pragma Unroll
🔀OCaml Multicore
Flag this post
Becoming a Core Developer
stefaniemolin.com·3d
🔬Static Analysis
Flag this post
Python steering council accepts lazy imports
🔧ppx
Flag this post
Reforging the ReScript Build System
🔄Reproducible Builds
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·2d
🔧DevOps
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·1d
🧩Parser Combinators
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Bayesian Natural Gradient Fine-Tuning of CLIP Models via Kalman Filtering
arxiv.org·1d
🎯Hindley-Milner
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·12h
🔲Cellular Automata
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·1d
🧮SMT Solvers
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·1d
📐Linear Algebra
Flag this post
Algorithmic Assistance with Recommendation-Dependent Preferences
arxiv.org·1d
⏱️Computational Complexity
Flag this post
For Synthetic Situations
lesswrong.com·2d
🎮Verification Games
Flag this post
VidEmo: Affective-Tree Reasoning for Emotion-Centric Video Foundation Models
arxiv.org·12h
📚Automata Learning
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·1d
🔍CBMC
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·1d
❓Existential Types
Flag this post
Loading...Loading more...