Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
🔧functional programming languages
[D] reflecting on 8 years of model inference
reddit.com·4h·
Discuss: r/MachineLearning
🦀Rust
How should we learn from bugs?
typesanitizer.com·5h·
Discuss: Hacker News
⚠️Error Handling
A Library Approach to Constant Template Parameters
brevzin.github.io·1d·
Discuss: Hacker News, r/cpp
🦀Rust
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·5h·
Discuss: Substack
⚠️Error Handling
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·5h·
Discuss: www.blogger.com
🔧functional programming languages
Check my new Blog Post
dinaroxentool.blog·2h·
Discuss: r/LLM
🔧functional programming languages
Stop Writing For Loops: Interactive Array Methods Playground + Complete Guide
dev.to·1h·
Discuss: DEV
💻programming
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·4h·
Discuss: Substack, r/programming
💻programming
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·2d
🔧functional programming languages
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🐪ocaml
Introduction to Supervised Machine Learning for Beginners
github.com·1d·
Discuss: DEV
💻programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·3d·
Discuss: Hacker News
⚠️Error Handling
Using Dspy to Detect Document Boundaries
kmad.ai·18h·
Discuss: Hacker News
💻programming
How to Write Inductive Invariants
quint-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
⚠️Error Handling
Tactics versus strategies in the theory of games
infinitelymore.xyz·13h
🐪ocaml
C Language Enum Tips & Tricks (2021)
kubyshkin.name·16h·
Discuss: Lobsters, Hacker News
⚠️Error Handling
Preface to "Simulacra and Simulation: Sections from the Work of Janus"
lesswrong.com·1d
🔄Async Rust
BACON: An Improved Vector Commitment Construction with Applications to Signatures
eprint.iacr.org·1d
🦀Rust
Opinions on this refactor
reddit.com·2h·
Discuss: r/reactjs
🦀Rust