The theorem on formal functions
math.columbia.edu·13h
🔗Topology
Lifeless Slabs
metafilter.com·1d
📱UX Design
Suggested Schematic Standards
hackaday.com·7h
💻Creative Coding
❄️ I Built a Free Snow Day Calculator — Here’s How (and Why)
snowdaycalculatorfree.netlify.app·4h·
Discuss: DEV
💻Creative Coding
Alacritty Meets Tmux
m99.io·1d·
Discuss: r/commandline
💬Prompt Engineering
Build your first Software Template for Backstage
developers.redhat.com·3d
💻Creative Coding
AppSignal Adds OpenTelemetry Support to Monitoring Platform
devops.com·17h
💬Prompt Engineering
Why Computer-Use Agents Should Think Less
prava.co·1d·
Discuss: Hacker News
💬Prompt Engineering
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·1d·
Discuss: Lobsters, Hacker News
💻Creative Coding
Digital Engineering Transforms Chips For The Future
semiengineering.com·2d
🏗️Computational Architecture
CinePlex - ReactJS + Django Rest Framework project
github.com·19h·
Discuss: DEV
💻Creative Coding
The Shopify Resource Picker API: A Developer's Journey Through Version Changes (August 2025 )
dev.to·6h·
Discuss: DEV
💻Creative Coding
Moving Beyond RTL at #62DAC
semiwiki.com·1d
💬Prompt Engineering
Built full-stack project from scratch – would love your feedback! [NOT A SELF PROMOTION POST JUST NEED FEEDBACK ]
reddit.com·2h·
Discuss: r/webdev
💻Creative Coding
Your MkDocs Site Can Look 10x Better with Material Theme
dev.to·3d·
Discuss: DEV
💻Creative Coding
VisCodex: Unified Multimodal Code Generation via Merging Vision and Coding Models
arxiv.org·2d
💻Creative Coding
PVS-Studio 7.38: new C++ analyzer core, user annotations in Java, enhanced taint analysis, and more
dev.to·1d·
Discuss: DEV
💻Creative Coding
Show HN: Wrote a small tool that turns PDFs and docs into fine-tuning datasets
github.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Librum-Reader/Librum
github.com·8h
💻Creative Coding
I built an open-source, AI-powered visual canvas that works on the web and inside VS Code.
reddit.com·3d·
Discuss: r/opensource
💻Creative Coding