OpenAI’s Apps SDK: A Developer’s Guide to Getting Started
thenewstack.io·1d
🌐ActivityPub
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
SQLite concurrency and why you should care about it
jellyfin.org·1d·
Discuss: Hacker News
🧩Separation Logic
Flag this post
Revisiting interface segregation in Go
rednafi.com·1d·
💎Refinement Types
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·22h·
💻QEMU
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
My YC Pitch
lesswrong.com·2h
🌐ActivityPub
Flag this post
Composer Patches 2.0.0
cweagans.net·1d·
Discuss: Hacker News
💾Cachix
Flag this post
Smaller Surfaces
nrempel.com·15h·
Discuss: Hacker News
💎Refinement Types
Flag this post
A quick look at Apple's container runtime in macOS Tahoe
shipit.peterhollmer.com·3d·
Discuss: Hacker News
🐳Containerization
Flag this post
Compile from a git repo but make changes
reddit.com·17h·
Discuss: r/golang
📦Opam
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·7h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
λFunctional Programming
Flag this post
From $15 to $500K: Live Cohort – Build Your High-Ticket SaaS with Me
vvgond.gumroad.com·14h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Building NailArt AI: A Complete Technical Breakdown
dev.to·2h·
Discuss: DEV
🔧ppx
Flag this post
Clario streamlines clinical trial software configurations using Amazon Bedrock
aws.amazon.com·1d
🧠Automated Reasoning
Flag this post
The Development of Pie
terathon.com·14h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·8m·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·6h·
Discuss: Hacker News
📚Automata Learning
Flag this post