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

| Oligo Security
oligo.security·7h
📦Container Security
Study and Comparison of Data Lakehouse Systems (2023) [pdf]
doria.fi·3h·
Discuss: Hacker News
💿ZFS Archaeology
Try Deep Think in the Gemini app
blog.google·17h·
Discuss: Hacker News
🌀Brotli Internals
Mama, There's a Plagiarist Behind You
thenoosphere.substack.com·7h·
Discuss: Substack
🏠Personal Archives
A Practitioner's Taxonomy of IaC Patterns in the Wild
chkk.io·3d·
Discuss: Hacker News
🔌Interface Evolution
Practical Implementation of Encoder–Decoder Architecture
adaline.ai·3d·
Discuss: Hacker News
🚀SIMD Text Processing
Why “vibe physics” is the ultimate example of AI slop
bigthink.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
arxiv.org·3d
🧪Binary Fuzzing
From Python to ML: A Challenge-Based Learning Journey
dev.to·11h·
Discuss: DEV
🧠Machine Learning
The Performance of Low-Synchronization Variants of Reorthogonalized Block Classical Gram--Schmidt
arxiv.org·3d
🌊Stream Ciphers
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·3d
🧠Machine Learning
LLM-Assisted Cheating Detection in Korean Language via Keystrokes
arxiv.org·1d
🧠Intelligence Compression
Scaling with Redis Sharding in Go: A Practical Guide with Hashing Strategies
dev.to·1d·
Discuss: DEV
🗄️Database Sharding
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·4d
🤖Grammar Induction
Cactus Language • Pragmatics 5
inquiryintoinquiry.com·3d
📐Format Grammars
Cloud Washing in the Age of AI: When ‘Sovereign’ Isn’t
thenewstack.io·15h
🖥️Self-hosted Infrastructure
A Markov Categorical Framework for Language Modeling
arxiv.org·5d
🧮Kolmogorov Complexity
Top LLM Evaluation Tools in 2025
dev.to·19h·
Discuss: DEV
👁️System Observability
Helping or Homogenizing? GenAI as a Design Partner to Pre-Service SLPs for Just-in-Time Programming of AAC
arxiv.org·3d
🎙️Whisper
Show HN: Send real-time updates to your mobile apps with Stac Framework
github.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Loading...Loading more...
AboutBlogChangelogRoadmap