🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Data

Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness

Big English Michela Dictionary
plover.stenoknight.com·2h·
Discuss: www.blogger.com
🌀Brotli Dictionary
CFP: Ethical AI in GLAM: Challenges and Opportunities for Digital Stewardship
archivespublishing.com·1d
🏛Digital humanities
Buffer Overflow Exploits: A Developer’s Nightmare
infosecwriteups.com·11h
🔓Hacking
8-Bit Boyz BBS Directory
8bitboyz.com·20m·
Discuss: Hacker News
🗃️ROM Preservation
Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec
database-doctor.com·4d·
Discuss: Hacker News
🔧KAITAI
Red-teaming a RAG app: What happens?
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
⚡Proof Automation
Litestar is worth a look
b-list.org·6h·
Discuss: Lobsters, Hacker News
⚙️WASM Runtime
Handling errors in concurrent goroutines with channels
reddit.com·3h·
Discuss: r/golang
🌊Stream Processing
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·22h
🌳Context free grammars
After I Ditched Docker, My World Became a Better Place
dev.to·2h·
Discuss: DEV
🔩Systems Programming
Automated C Solid-State NMR Fingerprint Reconstruction and Temporal Mapping for Carbon Sequestration Monitoring
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·1d
💻Local LLMs
AlignGuard-LoRA: Alignment-Preserving Fine-Tuning via Fisher-Guided Decomposition and Riemannian-Geodesic Collision Regularization
arxiv.org·1d
💻Local LLMs
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·1d
💻Local LLMs
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Machine Learning Fundamentals: model evaluation
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Quantum-RAG and PunGPT2: Advancing Low-Resource Language Generation and Retrieval for the Punjabi Language
arxiv.org·1d
🌀Brotli Internals
We're Building the Future of the Startup Economy with AI
angellist.com·9h·
Discuss: Hacker News
⚡Proof Automation
5 Major Business Mistakes When Working with Big Data: Lessons from a Company Managing 16 TB of Data
hackernoon.com·18h
🌊Stream Processing
Building AI-Powered Applications with C# and Semantic Kernel
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Loading...Loading more...
AboutBlogChangelogRoadmap