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

Program Verification, Certified Compilation, Type Safety, Mobile Code

Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·4d
🔄Reproducible Builds
Ticket-Driven Development: The Fastest Way to Go Nowhere
thecynical.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📏Code Metrics
Structured data response with Amazon Bedrock: Prompt Engineering and Tool Use
aws.amazon.com·1d
🌀Brotli Internals
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·2d
🔓Open Source Software
Welcome to The New Stack Agents, a Weekly Livestream on AI
thenewstack.io·49m
🔓Open Source Software
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·2d·
Discuss: DEV
📏Code Metrics
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·1d
💧Liquid Types
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Modernizing a large multi-team application with Micro Frontends
dev.to·7h·
Discuss: DEV
🕸️WebAssembly
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·1d
📃Manuscript Tokenization
🧠 Solving LeetCode Until I Become Top 1% — Day `32`
dev.to·9h·
Discuss: DEV
🌳Trie Structures
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
NeuroCode – Brain-Inspired AI for Code Understanding (Open Source)
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
libai: A C library for embedding Apple Intelligence on-device Foundation models in any application with full support for native tool calling and MCP.
github.com·4d·
Discuss: Hacker News, r/programming
🌀Brotli Internals
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·1d·
Discuss: DEV
🌊Stream Ciphers
Unla: Instantly turn APIs n MCP servers into MCP servers,no code changes needed
github.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750830996145900)
dev.to·2d·
Discuss: DEV
🌐Network Protocols
Show HN: Using Claude Code SDK to to implement an agentic CV parser
github.com·21h·
Discuss: Hacker News
🤖Archive Automation
Exploring High Efficiency Web Analysis Results(1750876031390300)
dev.to·2d·
Discuss: DEV
🌊Stream Processing
How and Why to Use Patches
dev.to·2d·
Discuss: DEV
📦Package Managers
Loading...Loading more...
AboutBlogChangelogRoadmap