Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.us·11h·
Discuss: Hacker News
💎Refinement Types
Flag this post
How devtools map minified JS code back to your TypeScript source code
polarsignals.com·6h·
Existential Types
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·9h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·1d·
🔤Language Design
Flag this post
Intervaltree with Rust Back End
github.com·2d·
Discuss: Hacker News
🏗️Dune
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·16h
📐Linear Algebra
Flag this post
Beyond Visualization: Building Decision Intelligence Through Iterative Dashboard Refinement
arxiv.org·1d
👁️System Observability
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Enhanced Bone Fracture Prediction via Multi-Modal FEA & Deep Learning Integration
dev.to·19h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Chain of Pattern: Rethink
dev.to·2d·
Discuss: DEV
🔤Language Design
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·16h
📚Automata Learning
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·15h·
Discuss: DEV
👁️System Observability
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·10h·
💾Retro Computing
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·16h
🧠Automated Reasoning
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·16h
📚Automata Learning
Flag this post