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

The Top Two Stories on Techmeme Right Now Are Lies
pxlnv.com·3h
📡RSS
original ↗
benjamincongdon.me·2d
💾Persistence Strategies
Function Colors Represent Different Execution Contexts
danieltan.weblog.lol·2d·
Discuss: r/programming
✨Effect Handlers
★ OpenAI Brings Back Legacy ChatGPT 4o Model in Response to Outcry From Users Who Find GPT-5 Emotionally Unsatisfying
daringfireball.net·1d
🕸️WASM Archives
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev·3d·
Discuss: Hacker News
🌐Web Standards
Show HN: I built an SEO tool for the terminal
seofor.dev·13h·
Discuss: Hacker News
🚀Indie Hacking
New homelab (and new user): plans, software and hardware questions
pcpartpicker.com·1d·
Discuss: r/homelab
🏠HomeLab
Qwen3-4B-Thinking: "This is art - pelicans don't ride bikes!"
simonwillison.net·2d
⚡Homebrew CPUs
The GPT-5 rollout has been a big mess
arstechnica.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
AI coding tools crash on launch, could reboot better in future
theregister.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·3d·
Discuss: Hacker News
🎙️Whisper
Building Safeguards for Claude
anthropic.com·1d·
Discuss: Hacker News
🎯Threat Hunting
MambaEviScrib: Mamba and Evidence-Guided Consistency Enhance CNN Robustness for Scribble-Based Weakly Supervised Ultrasound Image Segmentation
arxiv.org·1d
🧠Machine Learning
TEFormer: Texture-Aware and Edge-Guided Transformer for Semantic Segmentation of Urban Remote Sensing Images
arxiv.org·1d
🔶Voronoi Diagrams
Towards Safer AI Moderation: Evaluating LLM Moderators Through a Unified Benchmark Dataset and Advocating a Human-First Approach
arxiv.org·22h
🤖AI Curation
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
arxiv.org·22h
🧮SMT Solvers
VesselRW: Weakly Supervised Subcutaneous Vessel Segmentation via Learned Random Walk Propagation
arxiv.org·22h
🕸️Algebraic Topology
AI-Driven Nanoparticle Detection Enhancement in Microchannel Plate Detectors via Adaptive Resonance Theory
dev.to·19h·
Discuss: DEV
📄Document Digitization
Text Embedded Swin-UMamba for DeepLesion Segmentation
arxiv.org·1d
🔤Character Classification
Discovery Learning accelerates battery design evaluation
arxiv.org·22h
⚡Circuit Design
Loading...Loading more...
AboutBlogChangelogRoadmap