🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Fortnight notes: 16 – 29 June
neilojwilliams.net·23h
🧬Bitstream Evolution
The Whole Code Catalog
futureofcoding.org·4d·
Discuss: Hacker News
🔗Concatenative Programming
MongoDB Is Great for Analytics; Until It's Not (2023)
seattledataguy.substack.com·19h·
Discuss: Substack
🌊Stream Processing
We accidentally solved robotics by watching 1M hours of YouTube
ksagar.bearblog.dev·22h·
Discuss: Hacker News
🔲Cellular Automata
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4d·
Discuss: Substack
🦀Rust Macros
How to Translate Documents Online Securely and Accurately: A Complete Guide
dev.to·7h·
Discuss: DEV
✏️OCR Correction
When the CTO Asks You to Use Autocomplete
idiallo.com·5h·
Discuss: Hacker News
🔄Language Evolution
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·3d·
Discuss: Hacker News
🧭Content Discovery
Coding Agents 101: Some tips for using agents productively
devin.ai·2d·
Discuss: Hacker News
⚡Proof Automation
The AI delegation dilemma
foxhound.systems·2d·
Discuss: Hacker News, r/programming
🗺️Competency Maps
Day 1 of 7 – Learnings from “Learn React with TypeScript ” by Carl Rippon.
dev.to·7h·
Discuss: DEV
🎯Gradual Typing
OpenAI Agents SDK (TS): voice and multi-agent framework, MIT-licensed
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Extreme Left Shifting
dev.to·2d·
Discuss: DEV
❄️Nix Adoption
Exploring Image Generation via Mutually Exclusive Probability Spaces and Local Correlation Hypothesis
arxiv.org·10h
🧠Machine Learning
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·6d
💻Local LLMs
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·6d
💻Local LLMs
PostgreSQL + Outbox Pattern Revamped — Part 2
dev.to·15h·
Discuss: DEV
🦋Format Metamorphosis
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·3d
🧠Machine Learning
The Untold Worker Exploitation Behind Large Language Models
hackernoon.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Loading...Loading more...
AboutBlogChangelogRoadmap