A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3h·
Discuss: Lobsters, Hacker News
📝Lisp
Issue 483
haskellweekly.news·2d
📝Lisp
A Library Approach to Constant Template Parameters
brevzin.github.io·1h·
Discuss: Hacker News
🧮Programming Language Theory
🐥 Elixir Anti-Patterns
yellowduck.be·22h
📝Lisp
Vibe coding complex changes in Rust
youtube.com·18h
🦀Rust
GoLang101: Functions, Methods, and Go’s Minimal Object-Oriented Style
dev.to·20h·
Discuss: DEV
📝Lisp
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·2d
🧮Programming Language Theory
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🧩Theorem Proving
Show HN: List of Clojure-Like projects
github.com·19h·
Discuss: Hacker News
🔧Compiler Design
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
🧮Programming Language Theory
why you should learn ocaml
sarthak2143.bearblog.dev·3d
📝Lisp
Parallel Programming Models
ayushgundawar.me·9h·
Discuss: Hacker News
🏗Computer Architecture
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·5h·
Discuss: Hacker News
🔗Parser Combinators
Sometimes it's hard to be lazy
yamlscript.org·2d
📝Lisp
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔢Mathematical Logic
Structured Concurrency in Swift
dev.to·21h·
Discuss: DEV
⚡Concurrency
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory