Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
blog.stephenturner.usยท22mยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Flag this post
Music in rust with tunes
reddit.comยท1dยท
Discuss: r/rust
๐Ÿ’ŽRefinement Types
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.meยท13hยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท3dยท
Discuss: Hacker News
โš™๏ธCompiler Design
Flag this post
Writing an LLM from scratch, part 27 โ€“ what's left, and what's next?
gilesthomas.comยท9hยท
Discuss: Hacker News
๐ŸŽฏHindley-Milner
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.comยท20hยท
๐Ÿ”คLanguage Design
Flag this post
Intervaltree with Rust Back End
github.comยท2dยท
Discuss: Hacker News
๐Ÿ—๏ธDune
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.orgยท5h
๐Ÿ“ฆModule Systems
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.orgยท1d
๐Ÿ”„Finite State Machines
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.orgยท5h
๐Ÿ“Linear Algebra
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post
Beyond Visualization: Building Decision Intelligence Through Iterative Dashboard Refinement
arxiv.orgยท1d
๐Ÿ‘๏ธSystem Observability
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ยท5h
๐Ÿ“šAutomata Learning
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.toยท4hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Flag this post
Part 2: Building Station Station - A Real-World SDD Case Study
dev.toยท4hยท
Discuss: DEV
๐Ÿ”ŒAPIs
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.orgยท5h
๐Ÿง Automated Reasoning
Flag this post