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

GenAI sustainability: a review of the 2025 numbers
blog.scottlogic.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Emmett - Event Sourcing made practical, fun and straightforward
event-driven-io.github.io·6d·
Discuss: r/programming
🎯Gradual Typing
Copy/paste text to highlight AI writing patterns like "It's not X. It's Y"
unaiify.com·2d·
Discuss: Hacker News
💾Binary Linguistics
Data Over Time
blog.julik.nl·2d·
Discuss: Hacker News
🧬Bitstream Evolution
Scanning for Post-Quantum Cryptographic Support
anvilsecure.com·2d·
Discuss: Hacker News
🔐Certificate Analysis
The Impact of Event Data Partitioning on Privacy-aware Process Discovery
arxiv.org·2d
🧬PostgreSQL Forensics
Predicting Graph Structure via Adapted Flux Balance Analysis
arxiv.org·2d
🕸️Graph Algorithms
On the Complexity of Problems on Graphs Defined on Groups
arxiv.org·2d
🔗Graph Isomorphism
Property Elicitation on Imprecise Probabilities
arxiv.org·2d
🐛Fuzzing
Multi-Modal Face Anti-Spoofing via Cross-Modal Feature Transitions
arxiv.org·2d
👁️Perceptual Hashing
Network APIs Are Radically Reshaping Dev-CSP Collaboration
thenewstack.io·1d
🔌Interface Evolution
How I Built a Self-Improving AI Agent That Evolves Its Own Mind
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Building My First End-to-End Machine Learning Project
dev.to·4d·
Discuss: DEV
🎵Audio ML
Affine Frequency Division Multiplexing Over Wideband Doubly-Dispersive Channels With Time-Scaling Effects
arxiv.org·3d
🎯Performance Proofs
Building BiasDetector: My Journey into AI Text Analysis with n8n and LLMs
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Mental Math: Three Basic Principles
denisegaskins.com·1d
📚Proof Pedagogy
Game-Theoretic Modeling of Vehicle Unprotected Left Turns Considering Drivers' Bounded Rationality
arxiv.org·3d
🔲Cellular Automata
Bridging Vision and Language: Optimal Transport-Driven Radiology Report Generation via LLMs
arxiv.org·3d
🤖Advanced OCR
Identify, Isolate, and Purge: Mitigating Hallucinations in LVLMs via Self-Evolving Distillation
arxiv.org·3d
💻Local LLMs
Microsoft’s Revolutionary Diagnostic Medical AI, Explained
towardsdatascience.com·2d
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap