Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
💎Refinement Types
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Music in rust with tunes
💎Refinement Types
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
💾Cachix
Flag this post
Intervaltree with Rust Back End
🏗️Dune
Flag this post
Building Tableau Web Data Connectors for FactSet: A Practical Guide for Financial Data Visualization
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·19h
🧠Automated Reasoning
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
👁️Observability
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·19h
📚Automata Learning
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·19h
🧠Automated Reasoning
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
🔄Reproducible Builds
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·19h
⏱️Computational Complexity
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.org·19h
🧩Parser Combinators
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·19h
🔤DSLs
Flag this post
Loading...Loading more...