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

Program Proving, TLA+, Coq, Type Theory

Liren 2 Shape Edge Performance Review
poizon.com·55m·
Discuss: r/BBallShoes
🏗Computer Architecture
GitRaven: How to use QTreeView with a custom model class
blog.suryatejak.in·5h·
Discuss: r/cpp
🧮Programming Language Theory
This Month in Rust OSDev: July 2025
rust-osdev.com·1d
🦀Rust
Abusing Ubuntu 24.04 features for root privilege escalation
labs.snyk.io·1d·
Discuss: Lobsters, Hacker News
🐧Linux
Teaching AI to Fix Your Code: My Summer Improving Quick Fix at Databricks
databricks.com·21h
🎲Probabilistic Programming
typo in the ISO/IEC 9899 n3550 draft
reddit.com·14h·
Discuss: r/C_Programming
📝Lisp
The Sword of Secrets - A Hardware CTF Platform - CrowdSupply Campaign is LIVE!
reddit.com·1d·
Discuss: r/embedded
🛡️IoT Security
[$] On the use of LLM assistants for kernel development
lwn.net·2d
🔧Compiler Design
Building 20 Online Tools in 6 Months: Lessons in Rapid Development
dev.to·7h·
Discuss: DEV
🔧Compiler Design
Implementing Offline-First Architecture in Flutter: Part 1 - Local Storage with Conflict Resolution
github.com·9h·
Discuss: DEV
🤝Protocol Design
AttriLens-Mol: Attribute Guided Reinforcement Learning for Molecular Property Prediction with Large Language Models
arxiv.org·1d
🔗Parser Combinators
How I made my embedding based model 95% accurate at classifying prompt attacks (only 0.4B params)
reddit.com·1d·
Discuss: r/programming
🧭SMT Solvers
The World According to LLMs: How Geographic Origin Influences LLMs' Entity Deduction Capabilities
arxiv.org·1d
🎲Probabilistic Programming
A Novel Architecture for Symbolic Reasoning with Decision Trees and LLM Agents
arxiv.org·1d
⚖️Logic Programming
Inside gomarklint: Building a High-Performance Markdown Linter in Go
dev.to·15h·
Discuss: DEV
🔗Parser Combinators
Please help me with my thesis project on metadata extraction
reddit.com·23h·
Discuss: r/LLM
🔧Compiler Design
Automated FLIM Data Calibration via Bayesian Meta-Learning and Adaptive Kernel Regression
dev.to·15h·
Discuss: DEV
🎲Probabilistic Programming
Expert-Level Low-Level Design Template
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
Federated Data Harmonization via Dynamic Schema Alignment & Semantic Graph Enrichment
dev.to·13h·
Discuss: DEV
🔗Parser Combinators
Towards Robust Evaluation of Visual Activity Recognition: Resolving Verb Ambiguity with Sense Clustering
arxiv.org·1d
🔗Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap