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

Is this even close to a legit listing?
ebay.co.ukΒ·5hΒ·
Discuss: r/homelab
βœ…Format Verification
Research Worth Reading Week 32/2025
pentesterlab.comΒ·1d
πŸ”“Hacking
Status Week 34
blogs.gnome.orgΒ·11h
❄️Nix Flakes
How to Write Docstrings in Python
realpython.comΒ·23h
πŸ“Concrete Syntax
Breaking the Architecture Bottleneck β€’ Andrew Harmel-Law & Marit van Dijk β€’ GOTO 2025
youtube.comΒ·1d
πŸ”—Topological Sorting
SSL certificate requirements are becoming obnoxious
chrislockard.netΒ·14mΒ·
Discuss: Hacker News
πŸ”Certificate Analysis
Show HN: Async – Claude Code and Linear and GitHub PRs in One Opinionated Tool
github.comΒ·23hΒ·
Discuss: Hacker News
πŸ”“Open Source Software
Using Real Survey Data to Create Authentic AI Personas for Extended Research
askrally.comΒ·17mΒ·
Discuss: Hacker News
πŸ›Digital humanities
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.orgΒ·9h
πŸ”—Constraint Handling
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.orgΒ·9h
πŸ”§Hardware Verification
Using Copilot with Legacy PHP: Lessons from Refactoring, Database Migration, and AI Hallucinations
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Language Evolution
When Code Starts Talking Back: A Love-Hate Story
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Concatenative Programming
Catch Secrets in Real Time on GitHub with EnvScanner 2.0 and AI
hackernoon.comΒ·1d
πŸ”„Archival Workflows
Making Games in Go: 3 Months Without LLMs vs. 3 Days with LLMs
marianogappa.github.ioΒ·1dΒ·
Discuss: Hacker News, r/programming
🧩WASM Components
Azure: Serverless website deployment 100% automated in multiple environments (Test, QA and…
blog.devops.devΒ·23h
πŸ€–Archive Automation
Which is the stronger password? g72$l#pT9a or –.COW
ianmccloy.comΒ·1dΒ·
Discuss: Hacker News
πŸ”“Password Cracking
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.comΒ·15hΒ·
Discuss: r/kubernetes
πŸ“¦Container Security
Show HN: Making hardware-integarted app development easier (open source)
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ”“Open Source Software
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.comΒ·2dΒ·
Discuss: Hacker News, r/cpp
πŸ”’Type Safety
TypeScript 5.0: Explore New Features & Updates
dev.toΒ·59mΒ·
Discuss: DEV
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap