Ethics by Spinoza
gutenberg.org·6h·
Discuss: Hacker News
❓Existential Types
Flag this post
What Apple’s UK Strategic Market Status Designation means for Browsers and Web Apps
open-web-advocacy.org·1d·
Discuss: Hacker News
🍎Apple
Flag this post
Bold Devlog - October Summary
bold-edit.com·4d·
Discuss: r/programming
🔬Static Analysis
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·2d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·2d·
Discuss: Hacker News
🏗️Dune
Flag this post
Rocket Roll Control, The Old Fashioned Way
hackaday.com·1d
🤖Robotics
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
The Software Development Journey
dev.to·1d·
Discuss: DEV
🔧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
I Built Figma for AI Coding (Using Itself)
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·3d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
How AI Coding Agents Are Reshaping Developer Workflows
dev.to·8h·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
📦Module Systems
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
dev.to·17h·
Discuss: DEV
📚Automata Learning
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·2d·
Discuss: Hacker News
🐫OCaml
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·3h·
Discuss: DEV
💻CLI Tools
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·1d
🧪Property-Based Testing
Flag this post