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

CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·1d
🌐WASI
It Would Be Good if the AI Bubble Burst
stephendiehl.com·18h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.com·12h·
Discuss: Hacker News
🗃️Database Storage
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·7h·
Discuss: Substack
🌀Brotli Internals
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·3d
📜Proof Carrying Code
Ask HN: How to Argue Against AI Enthusiasts?
news.ycombinator.com·10h·
Discuss: Hacker News
🔲Cellular Automata
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·3h
🏛️Mainframe Archaeology
The case of the invalid instruction exception on an instruction that should never have executed
devblogs.microsoft.com·5h
🧪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·21h·
Discuss: DEV
⛏️SQL Archaeology
Machine Learning Fundamentals: dropout
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·3d
✨Effect Handlers
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·9h·
Discuss: Hacker News
🔐Quantum Security
Robust Beamforming Design for Secure Near-Field ISAC Systems
arxiv.org·15h
ℹ️Information Theory
Show HN: Fluent-state: a new fresh take on local React state
github.com·8h·
Discuss: Hacker News
🔗Concatenative Programming
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·15h
📊Learned Metrics
Information Must Flow: Recursive Bootstrapping for Information Bottleneck in Optimal Transport
arxiv.org·3d
⧗Information Bottleneck
My favorite use-case for AI is writing logs
vickiboykis.com·2d
🌳Incremental Parsing
Predicting the Future with Python: My Magic 8-Ball Project
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
ChatGPT Gets Agentic Powers: What OpenAI’s New Automation Means for Everyone
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap