Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2h·
Discuss: Hacker News
📐Type Theory
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·8h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·21h·
Discuss: DEV
🌳Data Structures
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·3d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
📐Type Theory
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·8h
🔢algo
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·35m
📐Type Theory
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·4h·
Discuss: Hacker News
🌳Data Structures
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.com·15h·
Discuss: r/rust
🕸️WebAssembly
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·1d·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Lowering in Reverse
buttondown.com·18h
🗄️Database Internals
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·4h·
Discuss: DEV
⚙️Systems Programming
Flag this post
Low-Level Hacks
blog.raycursive.com·10h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·16h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Dive into Systems
diveintosystems.org·20h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·1d·
Discuss: DEV
📐Type Theory
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
📐Type Theory
Flag this post