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

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

No title
markjgsmith.com·1d
🔗Concatenative Programming
When I install an unhandled structured exception filter, why doesn’t std::terminate get called?
devblogs.microsoft.com·1d·
Discuss: r/cpp
✨Effect Handlers
AI malware can now evade Microsoft Defender — open-source LLM outsmarts tool around 8% of the time after three months of training
tomshardware.com·18h·
Discuss: r/technews
🔓Hacking
Netflix Tudum Architecture: from CQRS with Kafka to CQRS with RAW Hollow
netflixtechblog.com·10h·
Discuss: Hacker News
🌊Streaming Systems
OpenAI’s open language model is imminent
theverge.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🕸️WASM Archives
Java Criminally Underhyped? Not Back in 1997. (2021)
dylanbeattie.net·1d·
Discuss: Hacker News
🎮Switch Archaeology
How a big shift in training LLMs led to a capability explosion
arstechnica.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Intel's leaders have stopped pretending – and it's about time
theregister.com·8h
🖥️Terminal Renaissance
First term on Wikipedia at the University: what have we done so far?
diff.wikimedia.org·14h
📇Dublin Core
Announcing egui 0.32.0 - Atoms, popups, and better SVG support
reddit.com·14h·
Discuss: r/rust
🦀Rust Macros
Update to my home lab!
reddit.com·23m·
Discuss: r/homelab
🏠HomeLab
Show HN: Discord-oidc-proxy: Convert Discord to an OIDC provider
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem
arxiv.org·2d
⚛️Quantum Compression
Nyay-Darpan: Enhancing Decision Making Through Summarization and Case Retrieval for Consumer Law in India
arxiv.org·2d
🔍Information Retrieval
Dataless Neural Networks for Resource-Constrained Project Scheduling
arxiv.org·2d
🎯Performance Proofs
CPKD: Clinical Prior Knowledge-Constrained Diffusion Models for Surgical Phase Recognition in Endoscopic Submucosal Dissection
arxiv.org·3d
🧠Machine Learning
Practical Go Concurrency Tuning: Mastering Bottlenecks with pprof
dev.to·2d·
Discuss: DEV
⚡Performance Tools
Integrating Diffusion-based Multi-task Learning with Online Reinforcement Learning for Robust Quadruped Robot Control
arxiv.org·2d
✨Effect Handlers
Can AI Coding Tools Learn to Rank Code Quality?
hackernoon.com·5d
📏Code Metrics
Business Wire: "JEDEC Releases New LPDDR6 Standard to Enhance Mobile and AI Memory Performance"
businesswire.com·1d·
Discuss: Hacker News, r/hardware
🔧Hardware Verification
Loading...Loading more...
AboutBlogChangelogRoadmap