Linear Types for Programmers
twey.io·11h·
Discuss: Hacker News
📐Type Theory
lydiahallie/javascript-questions
github.com·2h
💻programming
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·15h·
Discuss: Lobsters, Hacker News
🐪ocaml
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·2d
🦀Rust
AI-Powered Code Generation from Ideas for Swift
dev.to·31m·
Discuss: DEV
🦀Rust
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·3d
🐪ocaml
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
GoLang101: Functions, Methods, and Go’s Minimal Object-Oriented Style
dev.to·1d·
Discuss: DEV
⚠️Error Handling
Issue 483
haskellweekly.news·2d
🐪ocaml
Show HN: List of Clojure-Like projects
github.com·1d·
Discuss: Hacker News
🐪ocaml
Parallel Programming Models
ayushgundawar.me·21h·
Discuss: Hacker News
🦀Rust
Chromahack, a programming language
blog.libove.org·1d
💻programming
Swiss to launch open source Large Language Model
lenews.ch·9h
🦀Rust
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
🦀Rust
A Library Approach to Constant Template Parameters
brevzin.github.io·14h·
Discuss: Hacker News, r/cpp
🦀Rust
Seed7: a programming language I plan to work on for decades
reddit.com·19h·
Discuss: r/programming
🦀Rust
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.com·1d
📐Type Theory
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
📐Type Theory
Bold Devlog - July Summary (JSON, DAP, LSP)
bold-edit.com·10h·
Discuss: r/programming
🦀Rust