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

Genesis CCA: Special Effects and Final Polish
bumbershootsoft.wordpress.com·16h
📼Retro Games
Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·2d·
Discuss: Substack
⬜Minimalism
Why we finally allowed arbitrary waits in our tests
octomind.dev·1d·
Discuss: Hacker News, r/programming
🔍Concolic Testing
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·3d
🤝Distributed Consensus
I've been fighting with burnout for 18 years
news.ycombinator.com·3h·
Discuss: Hacker News
💾Persistence Strategies
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·18h·
Discuss: Hacker News
📝Text Compression
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·2d·
Discuss: DEV
⚡Proof Automation
20% Slower Is a Good Start
aboard.com·1d·
Discuss: Hacker News
⚡Performance Mythology
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·3d·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: dropout
dev.to·2d·
Discuss: DEV
🌊Stream Processing
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·2d·
Discuss: r/MachineLearning
🌐Protocol Synthesis
The Power of HTML - Part 6: HTML5 APIs: Local Storage, Geolocation, and Offline Capabilities
dev.to·1h·
Discuss: DEV
🌐Web Standards
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·5d
✨Effect Handlers
A puzzling and pleasant first experience with Google AI Studio
dev.to·1d·
Discuss: DEV
⚡Proof Automation
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev·2d·
Discuss: Hacker News
🔐Quantum Security
Robust Beamforming Design for Secure Near-Field ISAC Systems
arxiv.org·2d
ℹ️Information Theory
Python Fundamentals: cassandra-driver
dev.to·1d·
Discuss: DEV
🔀CRDT
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·2d
📊Learned Metrics
Information Must Flow: Recursive Bootstrapping for Information Bottleneck in Optimal Transport
arxiv.org·5d
⧗Information Bottleneck
My favorite use-case for AI is writing logs
vickiboykis.com·4d
🌳Incremental Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap