🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

Make Your Own Backup System – Part 1: Strategy Before Scripts
it-notes.dragas.net·1d
💿Backup Strategies
Lessons Without Leashes
fayziev.com·5h·
Discuss: Hacker News
🔲Cellular Automata
MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles
usenix.org·1h·
Discuss: Hacker News
📼Cassette Networking
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·1d·
Discuss: Substack
🌀Brotli Internals
Making a StringBuffer in C, and questioning my sanity
briandouglas.ie·4d·
Discuss: Hacker News, r/programming
🧠Lisp Dialects
Azure's Inferno: Escape from API Hell
wallpunch.net·2d·
Discuss: Hacker News, r/programming
🔗Hypermedia APIs
Async Without the Headache: Meet areq, the Drop-In Replacement for Python’s Requests
hackernoon.com·1d
⚡gRPC
GORM Magic: Go Database Made Easy ⚡
dev.to·1d·
Discuss: DEV
⛏️SQL Archaeology
Show HN: Fluent-state: a new fresh take on local React state
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
🧠 Kaizen Agent Architecture — How Our AI Agent Improves Other Agents
dev.to·15h·
Discuss: DEV
⚔️Lean Tactics
Ask HN: Thoughts on combining static analysis and AI for system understanding?
news.ycombinator.com·23h·
Discuss: Hacker News
⚙️Build Archaeology
My favorite use-case for AI is writing logs
vickiboykis.com·3d
🌳Incremental Parsing
Predicting the Future with Python: My Magic 8-Ball Project
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Using AI in the development of stdlib
dev.to·1d·
Discuss: DEV
📏Code Metrics
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·1d
📝ABNF Extensions
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·1d
🧠Neural Compression
Synthetic Conscious Pixels
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.com·1d·
Discuss: r/MachineLearning
🌀Brotli Internals
Cactus Language • Stylistics 4
inquiryintoinquiry.com·3d
🌳Context free grammars
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org·3d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap