🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ›οΈ Dependent Archives

Type-safe Storage, Verified Preservation, Format Correctness, Proof-carrying Data

Digital dependency: Plattner emphasizes detour to sovereignty
heise.deΒ·8h
πŸ–₯️Self-hosted Infrastructure
Engineering stories behind the Medium Daily Digest Algorithm: Part 1
medium.engineeringΒ·2h
πŸ“°RSS Reading Practices
Fancy a cuppa? My epic kettle showdown – and what I learned
theguardian.comΒ·3h
β˜•Coffee
Nullable vs. Nullable in C#
einarwh.noΒ·19hΒ·
Discuss: Lobsters, Hacker News, r/programming
βœ…Format Verification
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.comΒ·3dΒ·
Discuss: Substack
πŸ“„Text Chunking
Do I not like Ruby anymore? (2024)
sgt.hootr.clubΒ·6hΒ·
Discuss: Hacker News, r/programming
🎯Gradual Typing
How much power does gzip save on IoT web access?
bitbanksoftware.blogspot.comΒ·1dΒ·
Discuss: Lobsters, Hacker News
πŸ“¦Deflate
Improving Search for Deep Research Agents
vishnudut.comΒ·16hΒ·
Discuss: Hacker News
🧠Query Planners
What Is a Foreign Key Constraint in SQL?
blog.devops.devΒ·1d
πŸš€Query Optimization
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.comΒ·3dΒ·
Discuss: Hacker News
🚚Data Migration
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blogΒ·1dΒ·
Discuss: Hacker News
⚑Proof Automation
Show HN: I made a WASI orchestration prototype
github.comΒ·1dΒ·
Discuss: Hacker News
🌐WASI
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.orgΒ·9h
🧠Intelligence Compression
The Impact of Artificial Intelligence on Human Thought
arxiv.orgΒ·9h
πŸ”²Cellular Automata
Multimodal Medical Endoscopic Image Analysis via Progressive Disentangle-aware Contrastive Learning
arxiv.orgΒ·9h
🧠Machine Learning
HiCL: Hippocampal-Inspired Continual Learning
arxiv.orgΒ·9h
πŸ”²Cellular Automata
Show HN: Open-source Go repo comparing DCA vs. Grid with reproducible backtests
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”—Hash Chains
The AI Data Scientist
arxiv.orgΒ·9h
πŸ§ͺData science
COVID19 Prediction Based On CT Scans Of Lungs Using DenseNet Architecture
arxiv.orgΒ·9h
πŸ•ΈοΈAlgebraic Topology
Help me device between AM5/B650 and W680 platform for my server
reddit.comΒ·15hΒ·
Discuss: r/homelab
πŸ–₯Home Lab Setup
Loading...Loading more...
AboutBlogChangelogRoadmap