Lean4 Macros for Implementing Custom Quantifiers
☁cloud
Flag this post
Support for Yocto buildtools added to upstream Kas
bootlin.com·2h
⚙devops
Flag this post
Build Galaga with ClojureScript & Scittle
clojurecivitas.github.io·1d
⚙devops
Flag this post
Using Chrome-devtools-MCP with Polypane
⚙devops
Flag this post
A Pragmatic Leap
jxself.org·12h
☁cloud
Flag this post
🎲 Here I Go(dot) Again
kaigulliksen.com·1d
☁cloud
Flag this post
My version of a scroll limiting automation
☁cloud
Flag this post
Unleash your creativity: Google Meet adds nearly 4,000 emojis for reactions in video calls
androidcentral.com·4h
☁cloud
Flag this post
Get the core right and the resilient code will follow
bell.bz·6h
⚙devops
Flag this post
Erasing someone's entire code from the git
⚙devops
Flag this post
Gonka.ai – Decentralized Infrastructure for AI
☁cloud
Flag this post
After a year building an open-source AI framework, I’m starting to wonder what actually gets attention
⚙devops
Flag this post
Beckett 01 · Version Control for Space and Structure
inkandswitch.com·18h
⚙devops
Flag this post
Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.com·5h
⚙devops
Flag this post
Loading...Loading more...