nREPL 1.4
metaredux.com·3d
🧩Theorem Proving
Woman ordered to tear down decking by council after being snitched on by neighbours... despite it being in garden when bought £295k home
dailymail.co.uk·4h
⚙Functional Programming
An Intuitive Guide to Interface Design
photonlines.substack.com·4h·
Discuss: Substack
🏗️Software Architecture
A week notes to round out the summer
eli.li·6h
🧮Programming Language Theory
The Trillion Dollar Chart
blog.charliemeyer.co·2d·
Discuss: Hacker News
🔗Parser Combinators
Connect to a Local Ollama AI Instance From Within Your LAN
thenewstack.io·6h
🔌Network Programming
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·3d·
Discuss: Substack
📝Lisp
I have hacked to gather a software stack to take over the world
yetanotherprojecttosavetheworld.org·2d·
Discuss: Hacker News
👐Open Source Software
‘I take full responsibility’: Angela Rayner’s resignation letter in full
theguardian.com·1d
🧭SMT Solvers
<p>Exactly two weeks ago, <a href="/20250821/feeling-strangely-optimistic">I wrote here on the blog</a> that I was feeling <strong>strangely optimistic.</strong...
jaredwhite.com·1d
🧫Cellular Automata
AI that plans your meals so you do not have to
future.forem.com·4h·
Discuss: DEV
⚖Algorithmic Game Theory
Sharing about semantic memory search tool I built for ClaudeCode, and my take on memory system. Let me know your thoughts!
reddit.com·2d·
Discuss: r/ClaudeAI
🧠Memory Management
HTB Certified Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·14h
🔐Cryptography
My AI Journey
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Level Up Your Python: From Guild Master to Portal Architect (Flask Web App Tutorial)
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
LLM Prompt Management in 2025: A Practical Playbook for Scale, Quality, and Speed
dev.to·3d·
Discuss: DEV
🔧Compiler Design
When Agents go Astray: Course-Correcting SWE Agents with PRMs
arxiv.org·3d
🧩Theorem Proving
Understanding MongoDB $lookup performance
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Mayor's Press Availability : SFGTV : September 5, 2025 8:30pm-9:01pm PDT
archive.org·16h
🔌Network Programming
Building a Cost-Efficient Game Launcher with AWS Pre-Signed URLs
dev.to·2d·
Discuss: DEV
🤝Protocol Design