go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·14h·
Discuss: r/golang
🦀Rust Borrowing
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·22h
🌊Streaming Systems
Implicit `operator bool` participates in comparison
quuxplusone.github.io·22h
🦀Rust Verification
Codeminer42 Dev Weekly #82
blog.codeminer42.com·4h
🎯Gradual Typing
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Show HN: I've built C# source code generator Fluent API library
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
TypeScript Flaws (2024)
intercaetera.com·3d·
Discuss: Hacker News
🎯Gradual Typing
A Gentle Introduction to TypeScript for Python Programmers
kdnuggets.com·4d
🎯Gradual Typing
C++26: range support for std:optional
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·8h·
Discuss: Hacker News
🌐Protocol Synthesis
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Does Go have types?
youtube.com·9h·
Discuss: r/golang
🔒Linear Types
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
💻Programming languages
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·3h·
Discuss: Hacker News
🔗Concatenative Programming
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·14h·
Discuss: Hacker News
✨Effect Handlers