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

[$] Libxml2's "no security embargoes" policy
lwn.net·22h
🔓Free and open source
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·17h
🔄Language Evolution
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·15h·
Discuss: Hacker News
📟Terminal Typography
How much code does that proc macro generate?
nnethercote.github.io·14h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·20h·
Discuss: Hacker News
⚡Proof Automation
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·6h
🔐Quantum Security
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·6h
🔓Password Cracking
15 Go Packages Worth Your Time
dev.to·2h·
Discuss: DEV
💧Liquid Types
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·2d
💧Liquid Types
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·6h
🌊Streaming Systems
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
Memory Safety in Web Rust System Zero Cost Secure(1750885516953300)
dev.to·17h·
Discuss: DEV
🦀Rust Borrowing
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·2d
🔄Schema Evolution
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·2h·
Discuss: DEV
🔄Reproducible Builds
Single Core Hundred Thousand Concurrency(1750866547511600)
dev.to·22h·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap