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

France: Jellyfish force French nuclear plant shutdown
france24.com·2h
🐚Bash Monads
Xerox patches critical vulnerability in FreeFlow Core application
cybersecuritydive.com·4h
💣ZIP Vulnerabilities
Mental Math: Early Addition
denisegaskins.com·6h
📐Mathematical Art
Annie Jacobsen on Nuclear War, Intelligence Operations, and Conspiracy Realities
conversationswithtyler.com·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
A Visual Diagnostic Toolkit for PPO's Entropy Bonus
theprincipledagent.com·1d·
Discuss: Hacker News
📈Entropy Estimation
Pace Layering an Application Portfolio
frederickvanbrabant.com·2d·
Discuss: Hacker News, r/programming
🦋Format Evolution
Linux Security Hardening and Other Tweaks
vez.mrsk.me·6h·
Discuss: Hacker News
🔌Operating system internals
Doomprompting Is the New Doomscrolling
workingtheorys.com·2d·
Discuss: Lobsters, Hacker News
🧠Intelligence Compression
Show HN: Was frustrated w ChatGPTs health advice so I built better biomed search
news.ycombinator.com·1d·
Discuss: Hacker News
🔍Information Retrieval
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·4d·
Discuss: Hacker News, Hacker News
🌊Streaming Algorithms
Anthropic’s Claude AI model can now handle longer prompts
techcrunch.com·1d
🤖AI Paleography
LightShed: Defeating Perturbation-based Image Copyright Protections
usenix.org·12h
👁️Perceptual Hashing
How AI and Agents Are Slashing 3 A.M. Wakeups
thenewstack.io·4h
🌊Stream Processing
Diagrams-to-Dynamics (D2D): Exploring Causal Loop Diagram Leverage Points under Uncertainty
arxiv.org·2d
✨Effect Systems
🚀 Redis AI Query Optimizer: Predicting Database Performance Before It Breaks
dev.to·3d·
Discuss: DEV
⚡Redis Internals
Intel IDXD Accelerator Driver Cleaned Up For Some "Not So Happy Code Paths"
phoronix.com·6h
🧪Hardware Fuzzing
Securing the supply chain at scale: Starting with 71 important open source projects
github.blog·2d·
Discuss: Hacker News
🔓Open Source Software
Information Bottleneck-based Causal Attention for Multi-label Medical Image Recognition
arxiv.org·1d
🧠Machine Learning
Frequency Prior Guided Matching: A Data Augmentation Approach for Generalizable Semi-Supervised Polyp Segmentation
arxiv.org·1d
🕳️Persistent Homology
GPT-6 or GTA 6 - Which Will Arrive First?
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
Loading...Loading more...
AboutBlogChangelogRoadmap