🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

League opener halted after Semenyo reports racist abuse
bbc.com·21h
λLambda Formalization
Implementing an ikiwiki subset in Rust
blog.liw.fi·1d
🦀Rust Macros
Show HN: Mapping the Network Behind "The Network State"
evai.ai·1d·
Discuss: Hacker News
📡BGP Archaeology
Pentagon Funded Experiment Develops Robots that Change by ‘Consuming’ Other Robots
404media.co·1d
🏠Homelab Automation
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
osec.io·4d·
Discuss: Hacker News
🔒Type Safety
This Scary State of Consciousness Can Trick Your Brain Into Seeing “Demons.” A Neuroscientist Explains Why.
popularmechanics.com·1d
🧠Machine Learning
Feynman corner: We have access to a lot more examples than we used to.
statmodeling.stat.columbia.edu·2d
🌡️Preservation Physics
Vibe Coding as a Non-Technical Founder
elliotboucher.com·2d·
Discuss: Hacker News
🚀Indie Hacking
Observability reimagined: from reactive chaos to strategic clarity
techradar.com·1d
👁️System Observability
How Observability Unifies Workloads in a Hybrid Cloud World
thenewstack.io·2d
📊Homelab Monitoring
8 Big Data Dashboard Design Practices
dev.to·1d·
Discuss: DEV
💾Persistence Strategies
Physics-Informed Deep Contrast Source Inversion: A Unified Framework for Inverse Scattering Problems
arxiv.org·1d
🏺Computational Archaeology
Musk And DOGE (And Others) Take Another Loss, As The Wheels Of Justice Slowly Grind Forward
techdirt.com·1d
🎫Kerberos Attacks
Real-time deep learning phase imaging flow cytometer reveals blood cell aggregate biomarkers for haematology diagnostics
arxiv.org·2d
🏺Computational Archaeology
Automated Defect Classification in Wafer Fabrication via Multi-Modal Data Fusion and Graph Neural Networks
dev.to·3d·
Discuss: DEV
📄Document Digitization
Google Jules: Vulnerable to Multiple Data Exfiltration Issues
embracethered.com·2d
🕵️Vector Smuggling
AI with a Purpose: Automating Marketing for Small Teams & Side Hustles
dev.to·1d·
Discuss: DEV
🤖AI Curation
Turning creators into curators: AI implementation in DevOps
techradar.com·2d
❄️Nix Adoption
TAR-TVG: Enhancing VLMs with Timestamp Anchor-Constrained Reasoning for Temporal Video Grounding
arxiv.org·4d
⏱️SMPTE Timecode
Deep Reinforcement Learning with Local Interpretability for Transparent Microgrid Resilience Energy Management
arxiv.org·4d
⚙️TLA+
Loading...Loading more...
AboutBlogChangelogRoadmap