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

LTL, CTL, Model Checking, System Verification

Pocket Dremel Tool With USB Charging – Easy DIY
hackster.io·5h
⚙️Cassette Mechanics
I made my VM think it has a CPU fan
wbenny.github.io·9h·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
How much code does that proc macro generate?
nnethercote.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4d·
Discuss: Substack
🦀Rust Macros
BNFGen: A random text generator based on context-free grammars
baturin.org·4d·
Discuss: Hacker News
🌳Context free grammars
[D] SAMformer -- a lesson in reading benchmarks carefully
reddit.com·15h·
Discuss: r/MachineLearning
📈Time Series
📓 Dev Notebook – Part 0: 🎯 The Core Concepts of Forecasting You Should Understand Before Building Anything
dev.to·1d·
Discuss: DEV
📈Time Series
Compose Multiplatform looks promising 🚀
dev.to·14h·
Discuss: DEV
💧Liquid Types
AI Agents Explained: How They Think & Operate
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·3d·
Discuss: DEV
⚡Effectful Programming
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3d
✅Format Verification
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·4d·
Discuss: DEV
✓Automated Theorem Proving
Machine Learning Fundamentals: adam optimizer with python
dev.to·2d·
Discuss: DEV
📊Feed Optimization
Node.js vs Python: Battle of the Unhinged Scripting Languages That Ruined My Sleep Schedule
dev.to·10h·
Discuss: DEV
🌳Incremental Parsing
Claude Code Requirements Builder
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record(1751009131538400)
dev.to·2d·
Discuss: DEV
🎬WebCodecs API
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·3d
🔌Interface Evolution
Efficient Reporting: Query Caching and Big Data Report Generation with Queues
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
GCP Fundamentals: Data Labeling API
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Why I Like Go
dev.to·23h·
Discuss: DEV
🌐Protocol Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap