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

A Gentle Introduction To Fortran
hackaday.com·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Cisco’s Foundation AI Advances AI Supply Chain Security With Hugging Face
blogs.cisco.com·10h
🎯Threat Hunting
ECMA-262, 16th edition, June 2025
262.ecma-international.org·2d·
Discuss: Hacker News
🎯Gradual Typing
The Coming Wave: Post-Quantum Cryptography and the Future of Cybersecurity
blog.publiccomps.com·20h·
Discuss: Hacker News
🔐Quantum Security
I got my dev job on Twitter
catalins.tech·6h·
Discuss: Hacker News
🔓Open Source Software
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·10h·
Discuss: Hacker News
📼Tape Combinators
Every Visual Workflow Tool Is Just Excel for Developers Who Gave Up
medium.com·1d·
Discuss: Hacker News
📏Code Metrics
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·1d
⚡gRPC
Six Guidelines for Trustworthy, Ethical and Responsible Automation Design
arxiv.org·18h
🏠Home Automation
Orchestrating Agentic Coding
brethorsting.com·1d·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Pipeline for Software Engineering: A Systematic Literature Review
arxiv.org·1d
📏Code Metrics
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·1d·
Discuss: DEV
🦀Rust Macros
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·18h
💻Local LLMs
These centuries-old equations predict flowing fluid – until they don’t
newscientist.com·4h
📐Mathematical Art
Context Engineering: Building Better AI Agents
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Machine Learning Fundamentals: machine learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Estimating Reliability of Electric Vehicle Charging Ecosystem using the Principle of Maximum Entropy
arxiv.org·18h
📈Entropy Estimation
Coding Agents are here: Is your team ready for AI devs?
dev.to·3h·
Discuss: DEV
🔄Language Evolution
Machine Learning Fundamentals: machine learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Nakamoto Consensus from Multiple Resources
arxiv.org·18h
🤝Distributed Consensus
Loading...Loading more...
AboutBlogChangelogRoadmap