🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

Nullable but Not Null
efe.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🗃️Database Internals
Proxmox Backup Server 4.0 BETA released with S3 support
forum.proxmox.com·1d·
Discuss: Hacker News
🧩Microservices
Launching OpenCommunity Software License (OCSL) Version 1.0
madalin.me·4d·
Discuss: Hacker News
💻Programming languages
European Cloud Hosting with Exoscale
exoscale.com·13h·
Discuss: Hacker News
🌐Distributed systems
NextTurn – GitHub meets LinkedIn with XP, ranks, and Prestige for developers
nextturn.dev·1d·
Discuss: Hacker News
💻Programming languages
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor
poeticoding.com·2d·
Discuss: Hacker News
📊Performance Profiling
Using a Decision Tree to Find the Tipping Point for Elite MLB Hitters
runningonnumbers.com·3d·
Discuss: Hacker News
📈Timeseries
Building My First iOS App
loukidelis.com·3d·
Discuss: Hacker News
📮Message Queues
Global Forests Abs
nytimes.com·2d·
Discuss: Hacker News
📈Timeseries
Recursively self improving AI might not work without these functions
secondsight.dev·4d·
Discuss: Hacker News
🗃️Database Internals
3I/Atlas: Another Interstellar Visitor – Just as AI Reaches AGI Threshold?
news.ycombinator.com·17h·
Discuss: Hacker News
🌐Distributed systems
AI coding agents in CI/CD pipelines create new attack vectors
stepsecurity.io·3d·
Discuss: Hacker News
💻Programming languages
Vibe Coding an SMTP Server, in Rust
mailpace.com·4d·
Discuss: Hacker News
💻Programming languages
Financial Services Firms Will Bank On Homegrown AI Training
nextplatform.com·2d·
Discuss: Hacker News
🌐Distributed systems
When Regulation Meets UX: Why Compliance Shouldn’t Break the Product
hackernoon.com·2d
🔐Security Patterns
Coding with LLMs in the summer of 2025 (an update)
simonwillison.net·5d
💻Programming languages
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·2d·
Discuss: Hacker News
💻Programming languages
Hacker inserts destructive code in Amazon Q as update goes live
csoonline.com·2d·
Discuss: Hacker News
💻Programming languages
Robots That Learn to Fear Like Humans Survive Better
spectrum.ieee.org·10h·
Discuss: Hacker News
📊Systems Monitoring
Why Your WYSIWYG Editor is a Critical Accessibility Tool
hackernoon.com·2d
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap