🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧠 Separation Logic

Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning

Containment as a Core Security Strategy
darkreading.com·2d
🛡️Error Boundaries
Double Maths First Thing: Issue 2E
aperiodical.com·10h
👑Isabelle
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·16h
🧮SMT Solvers
Visualising the Trade Lifecycle - Phase 2: Refactoring with Cursor IDE
blog.scottlogic.com·1d
🌀Brotli Internals
Serverless single tenant RAG with DuckDB
summer.io·1h·
Discuss: Hacker News
📰Feed Readers
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
blog.play.ai·6h·
Discuss: Hacker News
🎙️Whisper
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.org·1d
🔲Cellular Automata
The borrowchecker is what I like the least about Rust
viralinstruction.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Level Up Your Go Code: Must-Know Design Patterns for Cleaner, Scalable Apps
dev.to·1d·
Discuss: DEV
🔧Binary Parsers
Data Scale is not all you need
interpretai.tech·14h·
Discuss: Hacker News
🧠Intelligence Compression
Understanding Matrices | Part 3: Matrix Transpose
towardsdatascience.com·20h
📐Linear Algebra
Machine Learning Fundamentals: feature engineering
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Python Fundamentals: classes
dev.to·1d·
Discuss: DEV
💧Liquid Types
GASPnet: Global Agreement to Synchronize Phases
arxiv.org·13h
📝ABNF Parsing
The Dangers of Vibe Coding Part 1: Premature Optimization
dev.to·3h·
Discuss: DEV
⚡Effectful Programming
Contextualizing ancient texts with generative neural networks
nature.com·1h
🤖AI Paleography
How I Accidentally Built a Full-Stack Portfolio While Completing a Google IT Certification Project
dev.to·3h·
Discuss: DEV
🦋Format Metamorphosis
Ununderstanding – Intellectual Work in the Age of AI
considerthebulldog.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
LLMs must evolve from scaling to full orchestration
victorwynne.com·1d·
Discuss: Hacker News, r/LLM
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap