🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Archive Verification

Formal Proofs, Storage Correctness, Integrity Checking, Preservation Logic

What’s new on Clever Cloud, Q2 2025
clever-cloud.com·9h
🏠Homelab Preservation
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·21h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Show HN: TrueSift – AI-Powered Real-Time Fact-Checking Chrome Extension
truesift.dev·56m·
Discuss: Hacker News
✅FLAC Verification
A Guide to Fixed Asset Verification
dev.to·2d·
Discuss: DEV
✅Archive Validation
Embedding User-Defined Indexes in Apache Parquet Files
datafusion.apache.org·3d·
Discuss: Lobsters, Hacker News, r/programming
💾Database Formats
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·9h·
Discuss: Hacker News
🐛Fuzzing
Machine Learning Fundamentals: dropout
dev.to·4h·
Discuss: DEV
🌊Stream Processing
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·2h·
Discuss: Hacker News
🧠Memory Allocators
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
.expub – Exploring Expanded Publishing
expandedpublishing.net·1d·
Discuss: Hacker News
🔍Archive Semantics
Agents Built from Alloys
xbow.com·6h·
Discuss: Hacker News
⚡Proof Automation
Achieving SOTA LongMemEval scores (80%) with RAG alone
mastra.ai·2h·
Discuss: Hacker News
🧠Memory Forensics
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·10h·
Discuss: Hacker News
🌳Incremental Parsing
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Binary Parsers
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·18h
🔍Information Retrieval
Smarter Code Reviews: OpenAI Meets GitHub PRs
dev.to·12h·
Discuss: DEV
🤖Archive Automation
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Finding Order-Preserving Subgraphs
arxiv.org·1d
🕸️Graph Algorithms
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🔒Type Safety
Mastering the Exhaustive Prior Art Search Challenge
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Loading...Loading more...
AboutBlogChangelogRoadmap