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

Why Intel acquired McAfee, then un-bought it
dfarq.homeip.net·1h
🧲RISC-V Archaeology
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·1d
💻Programming languages
Calling Their Bluff
anguscheng.com·11h·
Discuss: Hacker News
🛣️BGP Hijacking
Anna's Archive: An Update from the Team
annas-archive.org·1d·
Discuss: Hacker News
📦Archive Formats
I Run a Full Linux Desktop in Docker Just Because I Can
howtogeek.com·3d·
Discuss: Hacker News
📦Container Security
The Best 4K TVs Bring Everything You Watch and Play to Life
popularmechanics.com·17h
🎬Video Codecs
NVR for self-hosting: Frigate now recognizes license plates and faces
heise.de·2d
🔄Sync Engine
US Attorney investigates AI chatbots from Meta and Character.ai
heise.de·17h
🎙️Whisper
Someone's poking the bear with infostealers targeting Russian crypto developers
theregister.com·2d
🚀Indie Hacking
Show HN: Basely - Open Source Content Creation Platform for Developers
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Enhanced Quantum Dot LED Color Purity via Core-Shell Perovskite Passivation
dev.to·1d·
Discuss: DEV
⚛️Quantum Tape
Unlocking the Magic: My First ML Project – Handwritten Digit Recognition with MNIST ✨
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Question: Building a server for Minecraft server hosting
reddit.com·1d·
Discuss: r/homelab
🔒Linear Types
Linuxiac Weekly Wrap-Up: Week 33 (Aug 11 – 17, 2025)
linuxiac.com·2d
🔓Open Source Software
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·1d
🔲Cellular Automata
Introducing r/OpenAIML
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Automating your content with Sanity's Agent Actions, Functions & Blueprints
dev.to·1d·
Discuss: DEV
⚡Proof Automation
How Beginners Can Use AI Without Becoming Dependent On It
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Always Up-to-Date API Docs Are Real (And No, It’s Not AI)
dev.to·4d·
Discuss: DEV
🔌Archive APIs
The 10x PM Paradox: Why Organization Beats Genius Every Time
zakelfassi.com·13h·
Discuss: Hacker News
🏛️Mainframe Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap