Getting Started on Inexplicably Tough Tasks
psychologytoday.com·6h
🎲Probabilistic Programming
I paired NotebookLM with ChatGPT and Perplexity, and it makes the ultimate knowledge power combo
xda-developers.com·3h
🧩Theorem Proving
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·1d·
Discuss: Hacker News
🔍Static Analysis
From Shy Engineer to Director at Oracle and a Skilled Communicator
newsletter.eng-leadership.com·1h·
Discuss: r/programming
🤝Protocol Design
How I code with AI on a budget/free
wuu73.org·22h·
Discuss: Hacker News
🧩Theorem Proving
FREON – Threshold digital signature library in Go
github.com·9h·
Discuss: Hacker News
🤝Protocol Design
Building Cursor Powered App: A Devlog Series, Powered by Cursor (Part 4) – Authentication Logic
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Even professional software engineers write spaghetti code
reddit.com·1d·
Discuss: r/godot
🔧Compiler Design
Looking for an alternative to Lokole
github.com·1d·
Discuss: r/selfhosted
👐Open Source Software
Algorithmic Fairness Calibration via Adaptive Bayesian Network Pruning
dev.to·31m·
Discuss: DEV
🎲Probabilistic Programming
Ngrok – Your Localhost’s Passport to the Internet
reddit.com·5h·
Discuss: r/programming
👐Open Source Software
RefPerSys inference engine project
github.com·12h·
Discuss: DEV
🧭SMT Solvers
I built a tiny tool to convert Pydantic models to TypeScript in seconds
reddit.com·2h·
Discuss: r/webdev
📐Type Theory
📘 Everything you need to understand about TCP/IP - summary
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Layer 4 Load Balancing Using NGINX and Docker
dev.to·2d·
Discuss: DEV
🦀Rust
Best practices for building a trading journal web app?
reddit.com·14h·
Discuss: r/AskProgramming
📦WebAssembly
Middleware Architecture Patterns for Request Processing(0608)
dev.to·10h·
Discuss: DEV
🏗️Software Architecture
AI Nurturing Framework–Developing AI through guidance instead of control
github.com·1h·
Discuss: Hacker News
🧩Theorem Proving
Inside gomarklint: Building a High-Performance Markdown Linter in Go
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
I built an AI tool that can redesign old websites & create new landing pages instantly — want to test it?
reddit.com·5h·
Discuss: r/web_design
🧩Theorem Proving