🐿️ 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·12h
🎯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·22h·
Discuss: Hacker News
🔐Quantum Security
I got my dev job on Twitter
catalins.tech·8h·
Discuss: Hacker News
🔓Open Source Software
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·12h·
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
Machine Learning Fundamentals: machine learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Context Engineering: Building Better AI Agents
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Estimating Reliability of Electric Vehicle Charging Ecosystem using the Principle of Maximum Entropy
arxiv.org·20h
📈Entropy Estimation
Introduction to Microservices
thenewstack.io·30m
🌊Streaming Systems
No, AI is not Making Engineers 10x as Productive
simonwillison.net·19m
📏Code Metrics
Coding Agents are here: Is your team ready for AI devs?
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Machine Learning Fundamentals: machine learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Nakamoto Consensus from Multiple Resources
arxiv.org·20h
🤝Distributed Consensus
Building AI-Powered Applications with C# and Semantic Kernel
dev.to·18h·
Discuss: DEV
🔩Systems Programming
Actionable Counterfactual Explanations Using Bayesian Networks and Path Planning with Applications to Environmental Quality Improvement
arxiv.org·20h
🔲Cellular Automata
The Evolution of DevOps Continues: How 2,000 Token-Per-Second AI Code Generation Changes Everything
devops.com·1d
🌊Stream Processing
Coding with Claude
blog.puzzmo.com·8h·
Discuss: Hacker News
🎯Gradual Typing
GNN-ASE: Graph-Based Anomaly Detection and Severity Estimation in Three-Phase Induction Machines
arxiv.org·20h
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap