Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.usยท4hยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.plยท2hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
Music in rust with tunes
reddit.comยท1dยท
Discuss: r/rust
๐Ÿ’ŽRefinement Types
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท3dยท
Discuss: Hacker News
โš™๏ธCompiler Design
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
AI and Financial Inclusion: Rethinking Credit Scoring for All
dev.toยท1hยท
Discuss: DEV
โฑ๏ธComputational Complexity
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post
Chain of Pattern: Rethink
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ค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
dev.toยท3dยท
Discuss: DEV
๐Ÿ”„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]
reddit.comยท3hยท
๐Ÿ’พ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
dev.toยท9hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Flag this post
Part 2: Building Station Station - A Real-World SDD Case Study
dev.toยท9hยท
Discuss: DEV
๐Ÿ”ŒAPIs
Flag this post