LGTM for code reviews?
looksgtm.com·1h·
Discuss: r/webdev
🧩Theorem Proving
Got tired of bad PDF WebApp so we made a Free, Open-Sourced, Private Alternative
luxpdf.com·22h·
Discuss: Hacker News
🤝Protocol Design
PiTrac – The DIY Golf Launch Monitor
hackaday.io·3h·
Discuss: Hacker News
💾Retrocomputing
“I tried Servo, the undercover web browser engine made with Rust”
osnews.com·2d
🦀Rust
Open Source, Self Hosting – importance of digital sovereignty in changing world
fusil.uk·13h·
Discuss: Hacker News
🌍Distributed Systems
What is your personal online "tech stack"? How do you like it?
tildes.net·14h
💻Operating Systems
v3.37.2
gitlab.exherbo.org·2d
🦀Rust
New Educational App Lets Users Explore the Human Side of AI Alignment
simulateai.io·2h·
Discuss: Hacker News
🤖Sci-Fi
Testing out Crush, a TUI based coding agent (in neovim btw)
grahamhelton.com·18h
🧩Theorem Proving
Bonus Drop #93 (2025-08-03): Two Out Of Three Ain’t Bad?
dailydrop.hrbrmstr.dev·3h
🔌Network Programming
Show HN: CKEditor 5 integration with Elixir and Phoenix
github.com·1d·
Discuss: Hacker News
📦WebAssembly
Connect AI to microM8 Apple IIe Emulator and turtleSpaces Logo using MCP (Model Context Protocol) for ‘Vibe Coding’ and other activities…
paleotronic.com·1d·
Discuss: Hacker News
🔧Compiler Design
A love letter to legacy projects
frederickvanbrabant.com·2d·
Discuss: r/webdev
📦WebAssembly
Nudl v0.0.1 MVP Release
github.com·1d·
Discuss: r/golang
🔧Compiler Design
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·1d·
Discuss: Hacker News
💻Operating Systems
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·22h·
Discuss: Hacker News
🔧Compiler Design
Getting Started with FastAPI + Docker: A Beginner-Friendly Cloud Setup
dev.to·12h·
Discuss: DEV
🦀Rust
Fresh Resources for Web Designers and Developers (July 2025)
hongkiat.com·3d
🤝Protocol Design
This web framework was built by Claude
rgk.io·2d·
Discuss: Hacker News
🏗️Software Architecture
Marketing for Developers: The A-Z Guide to Taking Your Project from Zero to Hero
dev.to·16h·
Discuss: DEV
⚖Algorithmic Game Theory