Ethics by Spinoza
โExistential Types
Flag this post
Bold Devlog - October Summary
๐ฌStatic Analysis
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
๐Refinement Types
Flag this post
TestDriven.io: Cursor vs. Claude for Django Development
testdriven.ioยท2h
๐ปCLI Tools
Flag this post
Rocket Roll Control, The Old Fashioned Way
hackaday.comยท1d
๐คRobotics
Flag this post
iOS 26.2 gives Freeform app brand new tables feature
9to5mac.comยท22h
๐Apple
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.orgยท14h
๐Term Rewriting
Flag this post
The Software Development Journey
๐งDevOps
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.orgยท1d
๐คDSLs
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.orgยท1d
๐Automata Learning
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
๐งDevOps
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
๐Automata Learning
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.comยท1d
๐งชProperty-Based Testing
Flag this post
Finally create Kubernetes clusters and deploy workloads in a single Terraform apply
โKubernetes
Flag this post
Loading...Loading more...