Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
๐Refinement Types
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
๐Escape Analysis
Flag this post
Music in rust with tunes
๐Refinement Types
Flag this post
My first fifteen compilers (2019)
โ๏ธCompiler Design
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
AI and Financial Inclusion: Rethinking Credit Scoring for All
โฑ๏ธComputational Complexity
Flag this post
Defining Energy Indicators for Impact Identification on Aerospace Composites: A Physics-Informed Machine Learning Perspective
arxiv.orgยท9h
๐Linear Algebra
Flag this post
Knowledge Elicitation with Large Language Models for Interpretable Cancer Stage Identification from Pathology Reports
arxiv.orgยท9h
๐งฉParser Combinators
Flag this post
Chain of Pattern: Rethink
๐คLanguage Design
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.orgยท9h
๐Automata Learning
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
๐Reproducible Builds
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
๐พRetro Computing
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.orgยท9h
๐ง Automated Reasoning
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.orgยท9h
๐Automata Learning
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.orgยท9h
๐ง Automated Reasoning
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
๐๏ธSystem Observability
Flag this post
Loading...Loading more...