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

This Week in Bitcoin Core
insider.btcpp.dev·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
hardmode-triangle-0
glfmn.io·4d·
Discuss: Lobsters, Hacker News
🖥️Terminal Emulators
KDE Frameworks 6.17 Is Out, Here’s What’s New
linuxiac.com·3d
🏺ZIP Archaeology
Code rant: The Configuration Complexity Clock
mikehadlow.blogspot.com·3d
🔌Interface Evolution
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5d·
Discuss: Hacker News
🌳Persistent Data Structures
Red Teams Jailbreak GPT-5 with Ease, Warn It's 'Nearly Unusable' for Enterprise
securityweek.com·2d·
Discuss: Hacker News
🔓Hacking
A New Lens on Homelessness: Daily Tent Monitoring with 311 Calls and Street Images
arxiv.org·14h
📊Count-Min Sketch
Open source lowcode builder – looks awesome for business needs
github.com·2d·
Discuss: Hacker News
📦Git LFS
The Invisible War: How AI Is Already Rewriting the Rules of Cyber Conflict
hackernoon.com·16h
🎯Threat Hunting
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·5d
🔬Refinement Types
A Technical Deep Dive into My Network Reconnaissance Tool
dev.to·16h·
Discuss: DEV
🛣️BGP Hijacking
A Graph Neural Network Approach for Mapping the Conceptual Structure and Inter-Branch Connectivity of Physics
arxiv.org·14h
🕸️Graph Embeddings
LostFound AI: Real-Time Lost & Found Matching with Redis 8 Vector Search
dev.to·2d·
Discuss: DEV
⚡Redis Internals
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·4d
💻Local LLMs
G-UBS: Towards Robust Understanding of Implicit Feedback via Group-Aware User Behavior Simulation
arxiv.org·14h
🎛️Feed Filtering
My first Go project after a career in .NET: A Serilog-inspired logging library
reddit.com·4d·
Discuss: r/golang
📝Log Parsing
Enhanced Design Optimization via Adaptive Hyperparameter Resonance Mapping
dev.to·5h·
Discuss: DEV
🛡️Error Boundaries
Electrochemical Random Access Memory (ECRAM): Enhanced Endurance Through Stochastic Ion Trapping Modulation
dev.to·22h·
Discuss: DEV
🧲Cassette Physics
An Introduction to Ruby on Rails – From someone with a frontend background New to Rails? Let's skim over the basics of the framework!
blog.codeminer42.com·3d
🔌Interface Evolution
Machine Learning Fundamentals: model overfitting with python
dev.to·3d·
Discuss: DEV
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap