NDC Conferences: "Would YOU Survive the Titanic?", with ML and .NET - Simon Painter - NDC Copenhagen 2025
๐ML Language
Flag this post
are-dependent-types-actually-erased
๐Dependent Types
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท1d
๐Literate Programming
Flag this post
A Claude Code Command for Hypothesis
๐ฒProperty Testing
Flag this post
Linkers: A 20 Part Series
๐๏ธMinimal Compilers
Flag this post
I tried OpenAIโs AgentKit: Does it make Zapier and n8n obsolete?
blog.logrocket.comยท8h
๐ญProgram Synthesis
Flag this post
Post-training methods for language models
developers.redhat.comยท17h
๐ชRecursive Descent
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
๐ชEmbedded DSLs
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
๐กBinary Protocols
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
๐Go Scheduler
Flag this post
Computation as a Game
arxiv.orgยท19h
๐Type Inference
Flag this post
Self-Improving Vision-Language-Action Models with Data Generation via Residual RL
arxiv.orgยท19h
๐ชRecursive Descent
Flag this post
Loading...Loading more...