๐Ÿฟ๏ธ 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

Make Your Own Backup System โ€“ Part 1: Strategy Before Scripts
it-notes.dragas.netยท15h
๐Ÿ’ฟBackup Strategies
CVE-2024-12029 โ€“ InvokeAI Deserialization of Untrusted Data vulnerability
offsec.comยท1d
๐ŸŒWASI
It Would Be Good if the AI Bubble Burst
stephendiehl.comยท21h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.comยท15hยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.comยท10hยท
Discuss: Substack
๐ŸŒ€Brotli Internals
Async Without the Headache: Meet areq, the Drop-In Replacement for Pythonโ€™s Requests
hackernoon.comยท17h
โšกgRPC
The case of the invalid instruction exception on an instruction that should never have executed
devblogs.microsoft.comยท8h
๐ŸงชHardware Fuzzing
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.devยท1dยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
GORM Magic: Go Database Made Easy โšก
dev.toยท1dยท
Discuss: DEV
โ›๏ธSQL Archaeology
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.orgยท3d
โœจEffect Handlers
A puzzling and pleasant first experience with Google AI Studio
dev.toยท1hยท
Discuss: DEV
โšกProof Automation
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.devยท12hยท
Discuss: Hacker News
๐Ÿ”Quantum Security
Ask HN: How to Argue Against AI Enthusiasts?
news.ycombinator.comยท13hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Robust Beamforming Design for Secure Near-Field ISAC Systems
arxiv.orgยท18h
โ„น๏ธInformation Theory
Python Fundamentals: cassandra-driver
dev.toยท10hยท
Discuss: DEV
๐Ÿ”€CRDT
Show HN: Fluent-state: a new fresh take on local React state
github.comยท11hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.orgยท18h
๐Ÿ“ŠLearned Metrics
Information Must Flow: Recursive Bootstrapping for Information Bottleneck in Optimal Transport
arxiv.orgยท3d
โง—Information Bottleneck
Ask HN: Thoughts on combining static analysis and AI for system understanding?
news.ycombinator.comยท7hยท
Discuss: Hacker News
โš™๏ธBuild Archaeology
My favorite use-case for AI is writing logs
vickiboykis.comยท2d
๐ŸŒณIncremental Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap