Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท22h
๐Category Theory
Flag this post
KCL part 1: units
ncameron.orgยท1d
๐ฑTiny Languages
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โ๏ธInference Rules
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
โจGleam
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
โ๏ธAssembly
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ชProgram Slicing
Flag this post
OpenSMTPD 7.8.0p0
bsdsec.netยท16h
๐ฑForth Kernels
Flag this post
Scala 3 / HOCON Parsing
alexn.orgยท1d
๐Lexical Scoping
Flag this post
GHC 9.14.1-rc1 is now available
๐Linear Haskell
Flag this post
Fungus: The Befunge CPU(2015)
๐ณB+ Trees
Flag this post
๐ฒ On LLMs
kaukas.mataroa.blogยท18h
๐ฎLanguage Ergonomics
Flag this post
What are you doing this weekend?
๐ฌInteractive REPLs
Flag this post
Java 25: Top 3 Features That Redefine Performance, Startup, and Efficiency
๐Linear Types
Flag this post
Mocking TSAN is fun
๐Bytecode Interpreters
Flag this post
My First Rust Project
binwang.meยท3d
๐ฆMIR Optimization
Flag this post
Loading...Loading more...