🐿️ 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

New cryptologie.net
cryptologie.net·1d
🌀Brotli Internals
Unlocking high software engineering pace: Build less, ship frequently, learn faster
dev.jimgrey.net·16h
🔄Reproducible Builds
Why Dictionaries Still Define Us
nytimes.com·1d·
Discuss: Hacker News
🔤Morphological Analysis
How to Create and Combine SwiftUI Views Without Getting Lost in Deep Nesting and Complex Layouts
matteomanferdini.com·16h·
Discuss: Hacker News
📋Format Specification
How I Found Myself In the Game Industry
nothings.org·1d·
Discuss: Lobsters, Hacker News
🇸🇪Nordic Demoscene
How to create a PDFs API using Puppeteer with auto-deploy to AWS Lambda
buglesstack.com·14h·
Discuss: Hacker News
🔌Archive APIs
You Can't Buy Integration (2021)
martinfowler.com·2d·
Discuss: Hacker News
⚡SMT Integration
[D] Gemini officially achieves gold-medal standard at the International Mathematical Olympiad
reddit.com·9h·
Discuss: r/MachineLearning
📰SGML
Vibe coding a Greek learning app without knowing Gree
mikeborozdin.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Responsible AI in Enterprise Applications: A Practitioner's View
jjude.com·1d·
Discuss: Lobsters, Hacker News
🔐Capability Systems
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·4d·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Advanced React Hooks: 10 Key Concepts for Experienced Developers
dev.to·21h·
Discuss: DEV
🧩WASM Components
PostgreSQL Schema Management via Source Files
github.com·2d·
Discuss: Hacker News
🔄Schema Evolution
I Test E-Bikes, and These Are My Top Picks for Every Kind of Rider
lifehacker.com·6h
🌀Hyperbolic Geometry
Serverless Inferencing: Transforming AI Deployment for a Scalable Future
dev.to·22h·
Discuss: DEV
🌊Stream Processing
Thoughts on External Memory for LLMs
medium.com·3d·
Discuss: Hacker News
⚡Hardware Transactional Memory
How to Operationalize Your ML Model Using KitOps and AWS DevOps Guru
dev.to·12h·
Discuss: DEV
🔗Dependency Resolution
Use generative AI in Amazon Bedrock for enhanced recommendation generation in equipment maintenance
aws.amazon.com·10h
🏠Homelab Orchestration
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·3d
✓Automated Theorem Proving
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·3d
🧮Kolmogorov Complexity
Loading...Loading more...
AboutBlogChangelogRoadmap