🐿️ 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·7h
📼Retro Games
FSM Library for Embedded C Projects
hackster.io·6d
🦀Embedded Rust
5 Collaboration Strategies Every Workplace Needs
hackernoon.com·7h
🔀CRDT
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·3d
🤝Distributed Consensus
Hierarchical Modeling (H-Nets)
cartesia.ai·4d·
Discuss: Hacker News
🌀Hyperbolic Geometry
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·3d·
Discuss: r/golang
🦀Rust Verification
Grok 4 Has Landed: A Deep Dive into xAI's
dev.to·1d·
Discuss: DEV
🤖Automated Parsing
Machine Learning Fundamentals: dropout project
dev.to·1d·
Discuss: DEV
🌊Stream Processing
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·4d
🔢Denotational Semantics
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·9h·
Discuss: Hacker News
📝Text Compression
Fastest AI Model ever
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Are we trading our hard-earned intelligence for convenience?
lmyslinski.com·2d·
Discuss: Hacker News
📏Code Metrics
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·2d·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: dropout
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Unveiling 18 Transformative AI Applications Redefining 2025
dev.to·1d·
Discuss: DEV
🌊Stream Processing
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·1d·
Discuss: r/MachineLearning
🌐Protocol Synthesis
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·4d
✨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·1d·
Discuss: Hacker News
🔐Quantum Security
Loading...Loading more...
AboutBlogChangelogRoadmap