Python steering council accepts lazy imports
🔧ppx
Flag this post
Becoming a Core Developer
stefaniemolin.com·2d
🔬Static Analysis
Flag this post
ClickHouse welcomes LibreChat: Introducing the open-source Agentic Data Stack
🌐ActivityPub
Flag this post
Reforging the ReScript Build System
🔄Reproducible Builds
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·12h
👁️System Observability
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
Adaptive Neighborhood-Constrained Q Learning for Offline Reinforcement Learning
arxiv.org·4h
📚Automata Learning
Flag this post
Challenging DINOv3 Foundation Model under Low Inter-Class Variability: A Case Study on Fetal Brain Ultrasound
arxiv.org·4h
👁️Observability
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·1d
🧩Separation Logic
Flag this post
SCOUT: Semi-Lagrangian COnservative and Unconditionally sTable schemes for nonlinear advection-diffusion problems
arxiv.org·1d
🐫OCaml
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·4h
📚Automata Learning
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·1d
🔲Cellular Automata
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·1d
🔍CBMC
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
Loading...Loading more...