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...