Windows VTL2 Technical Exploration
🛡️Capability VMs
Flag this post
Nov Week 3 Digest
anarchaeopteryx.bearblog.dev·1h
🔄Bootstrapping
Flag this post
Yet Another Post on the Use of AI
4s.bearblog.dev·7h
🎮Language Ergonomics
Flag this post
Move Fast And Fix Things - In Praise Of Rust
i-programmer.info·4d
🚂Cranelift Backend
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
The Ultimate MCP Guide for Vibe Coding: What 1000+ Reddit Developers Actually Use (2025 Edition)
🎯99-Line Tools
Flag this post
I hated VS Code’s global search — so I forked it, then turned it into an extension.
📚Forth Internals
Flag this post
Simplifying API Review - A Tool Based Approach for Kubernetes and Beyond - Bryce Palmer & Joel Speed
youtube.com·1d
📦Monorepos
Flag this post
Help restructuring a terraform monorepo.
📦Monorepos
Flag this post
I built a developer-focused AI mentor to help structure and guide projects — would love feedback from fellow devs
🐛Interactive Debuggers
Flag this post
Loading...Loading more...