🐿️ 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

Python Fundamentals: all
dev.to·13h·
Discuss: DEV
💧Liquid Types
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Rethinking Network Security
reddit.com·13h·
Discuss: r/homelab
🔍eBPF
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·19h·
Discuss: Hacker News
🗣️Domain-Specific Languages
The Architecture of Web-Based Graphic Editors and 7 Design Patterns (Part 2)
dev.to·1h·
Discuss: DEV
✨Effect Handlers
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Machine Learning Fundamentals: a/b testing example
dev.to·4h·
Discuss: DEV
👁️Observatory Systems
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com·14h·
Discuss: r/MachineLearning
🧠Learned Compression
Engineered Meta-Cognitive Workflow Architecture for Windsurf
entrepeneur4lyf.github.io·1d·
Discuss: Hacker News
✨Effect Handlers
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·13h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Memory Safety in Web Rust System Zero Cost Secure(1750570224424500)
dev.to·6h·
Discuss: DEV
🦀Rust Borrowing
Microcontrollers: Getting Started
youtube.com·1d
🔌Microcontrollers
Controller Synthesis for Parametric Timed Games
arxiv.org·3d
🔲Cellular Automata
Lockfree Programming: A Mental Model
xorvoid.com·1d·
Discuss: Hacker News, Hacker News
⚡Hardware Transactional Memory
Introduction to Semantic Kernel: The .NET Developer's Guide Building AI Agents
developersvoice.com·2d·
Discuss: Hacker News
⚡SMT Integration
higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap