🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Proof Engineering

Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software

Using Eldoc to show entities with given uuids in the echo area
mbork.pl·3h
✅Format Verification
On Being Haunted By My Corporate Software Past
brainbaking.com·1h
🔓Hacking
GPT-5 Pushes Vibe Coding Beyond My Wildest Dreams
parkerortolani.blog·22h·
Discuss: Hacker News
🌀Brotli Internals
When OpenAI Fires Your Favorite Coworker
relantic.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Deepfake detectors are slowly coming of age, at a time of dire need
theregister.com·6h
👂Audio Evidence
Prompt Engineering for Developers: Integrating LLMs into Apps for Higher Accuracy and Faster Time-to-Market
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Automated Anomaly Detection in High-Throughput Power Semiconductor Manufacturing via Multi-Scale Feature Fusion
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Automated Electrochemical Impedance Spectroscopy Data Analysis for Battery Degradation Prediction
dev.to·18h·
Discuss: DEV
🔧Hardware Verification
Comparing Knowledge Injection Methods for LLMs in a Low-Resource Regime
arxiv.org·14h
💻Local LLMs
Heterogeneous optimized Schwarz Methods for heat conduction in composites with thermal contact resistance
arxiv.org·14h
🌐Computational Topology
Tired of Juggling WSL Terminals? I Built a Simple GUI Manager with Python.
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Hyperdimensional Semantic Graph Analysis for Automated Scientific Knowledge Graph Construction
dev.to·1d·
Discuss: DEV
📋Document Grammar
Automated Faro Scan Data Anomaly Detection via Deep Graph Neural Networks
dev.to·1d·
Discuss: DEV
🌀Riemannian Computing
UR$^2$: Unify RAG and Reasoning through Reinforcement Learning
arxiv.org·14h
🔍Information Retrieval
I “Vibe” Built a System Inspired by Nature's Math, and It's 1.82x Faster Than Nginx
dev.to·4d·
Discuss: DEV
🎯Performance Proofs
How to Install & Run GPT-OSS 20b and 120b GGUF Locally?
dev.to·8h·
Discuss: DEV
🏠HomeLab
AI-Driven Data Governance and Compliance Best Practices
kdnuggets.com·1h
🤖AI Curation
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·2d·
Discuss: Hacker News
🧬Bitstream Evolution
I tried vibe coding, and survived to tell (well kinda) - Part 1
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Posterior-GRPO: Rewarding Reasoning Processes in Code Generation
arxiv.org·3d
🔨Compilers
Loading...Loading more...
AboutBlogChangelogRoadmap