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

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

Philips Hue White Ambiance is actually terrible…
wejn.org·2d
🔓Reverse engineering
A Lot of Packets
funcall.blogspot.com·1d·
Discuss: www.blogger.com
📡Network Archaeology
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·4d
🔗Functional Compilers
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·1d·
Discuss: Hacker News
📥Feed Aggregation
ORM for Mongodb
reddit.com·22h·
Discuss: r/golang
📦METS Containers
Researchers explore machine learning to automate early modern text transcription ethically
phys.org·1d
📜Digital Philology
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·4d·
Discuss: Hacker News, r/programming
🔒Type Safety
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
[R] Paper recommendations?
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·2d
📐Geometric Hashing
Vibe Coding - Conversational Software Development - Part 2 In Practice
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·3d
💻Local LLMs
Machine Learning Fundamentals: dropout tutorial
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Day 33/100: Counter, defaultdict, and OrderedDict in Python
dev.to·18h·
Discuss: DEV
📝Concrete Syntax
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
utkarshkanwat.com·11h·
Discuss: r/programming
💾Persistence Strategies
Streamflow: From Vision to Velocity
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·3d
🔍Information Retrieval
Loading...Loading more...
AboutBlogChangelogRoadmap