I Learned A New Word Today
mtwb.blogยท1d
๐งฎFunctional programming
Flag this post
Implementing E Unification using SMT
philipzucker.comยท3d
๐งฎFunctional programming
Flag this post
Quoting Steve Krouse
simonwillison.netยท9h
๐๏ธSoftware Engineering
Flag this post
Differentially private machine learning at scale with JAX-Privacy
research.googleยท11h
๐๏ธSoftware Engineering
Flag this post
My strong belief is that you should be able to ask a program how it wants to be talked to, so you can:
๐๏ธSoftware Engineering
Flag this post
Managers Have the Right Skills for AI Coding, While ICs Have Issues
๐๏ธSoftware Engineering
Flag this post
Automating My Buzzer: Learning Hardware with ChatGPT (and what I learned from the experience).
๐งฎFunctional programming
Flag this post
Resolving the Scourge of Java's Checked Exceptions on Its Streams and Lambdas
๐งฎFunctional programming
Flag this post
I'm using this self-hosted app to replace Google Keep and Obsidian
xda-developers.comยท13h
๐๏ธSoftware Engineering
Flag this post
EvoSyn: Generalizable Evolutionary Data Synthesis for Verifiable Learning
๐งฎFunctional programming
Flag this post
Manual to Automation โ the transformation every company needs!
๐๏ธSoftware Engineering
Flag this post
Claude Code Web is the future of coding... once they fix it!
๐๏ธSoftware Engineering
Flag this post
Why Your Developer CV Isn't Getting Interviews (And How to Fix It with AI)
๐๏ธSoftware Engineering
Flag this post
The Dream of a Fool
๐๏ธSoftware Engineering
Flag this post
When Correct Is Not Safe: Can We Trust Functionally Correct Patches Generatedby Code Agents?
๐๏ธSoftware Engineering
Flag this post
Coding and Life โ Turning 30 and the Tech Dreams of a Golang Indie Hacker
๐๏ธSoftware Engineering
Flag this post
Choosing Your AI Orchestration Stack for 2026
thenewstack.ioยท6h
๐Distributed systems
Flag this post
A Peek Under the Hood: Technical Learnings from Halls of Torment (godotfest2025)
cdn.media.ccc.deยท1d
๐๏ธSoftware Engineering
Flag this post
Loading...Loading more...