Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
📐Type Theory
lydiahallie/javascript-questions
github.com·17h
💻programming
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🐪ocaml
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·3d
🦀Rust
Dart Lesson 6: Advanced Functions - Higher-Order Functions and Closures
dev.to·15h·
Discuss: DEV
⚠️Error Handling
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·2h·
Discuss: www.blogger.com
📐Type Theory
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·5h·
Discuss: Lobsters
🦀Rust
How AI is Transforming Programming: A Developer’s Guide to Enhanced Workflows
pub.towardsai.net·5h
🦀Rust
[D] reflecting on 8 years of model inference
reddit.com·1h·
Discuss: r/MachineLearning
📐Type Theory
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1h·
Discuss: Substack, r/programming
💻programming
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
⚠️Error Handling
why you should learn ocaml
sarthak2143.bearblog.dev·4d
🐪ocaml
ECMA-262, 16th edition, June 2025
262.ecma-international.org·3h·
Discuss: Hacker News
🐪ocaml
7 Upcoming JavaScript Features to Watch in 2025 🚀
dev.to·8h·
Discuss: DEV
💻programming
How should we learn from bugs?
typesanitizer.com·1h·
Discuss: Hacker News
⚠️Error Handling
If Odin Had Macros
gingerbill.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Running C++ on Cloudflare WASM
saus.app·9h·
Discuss: Hacker News
🦀Rust
Issue 483
haskellweekly.news·3d
🐪ocaml
AI-Powered Code Generation from Ideas for Swift
dev.to·15h·
Discuss: DEV
🦀Rust
Parallel Programming Models
ayushgundawar.me·1d·
Discuss: Hacker News
🦀Rust