๐Ÿฟ๏ธ 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

Halfway Through The S21 Transcriber Spotlight Session
forensicfocus.comยท4h
๐Ÿ‘‚Audio Evidence
Vibe Coding 4 -- Speed Scrabble
joelgrus.comยท2d
๐ŸงชBinary Fuzzing
Radiofrequency radiation injures trees around mobile phone base stations (2016)
pubmed.ncbi.nlm.nih.govยท2hยท
Discuss: Hacker News
๐Ÿ“ปHomebrew Protocols
Using Dspy to Detect Document Boundaries
kmad.aiยท3dยท
Discuss: Hacker News
๐Ÿ“„Document Digitization
Nvidia defiant over backdoors and kill switches in GPUs as U.S. mulls tracking requirements โ€” calls them 'permanent flaws' that are 'a gift to hackers'
tomshardware.comยท59m
๐Ÿ–ฅ๏ธModern Terminals
Fail-Open: Reckless or Resilient?
nextorbit.coยท10hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Boundaries
Parallel Programming Models
ayushgundawar.meยท4dยท
Discuss: Hacker News
๐ŸงฎCompute Optimization
Help me understand what this guy means by LLMs and language?
arstechnica.comยท1dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
[$] Python performance myths and fairy tales
lwn.netยท1d
โšกPerformance Mythology
Python Code to Generate Digital QR Checklists for Technicians After Final Cleaning
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฑQR Archaeology
Trip Helper App for Rocket.Chat ๐Ÿš€ - GSoC 2025 Final Report
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ฑQR Archaeology
Getting Started with AWS Bedrock AgentCore : Part 1
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Translating Machine Learning Interpretability into Clinical Insights for ICU Mortality Prediction
arxiv.orgยท1d
๐Ÿง Machine Learning
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.toยท5dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Looking for a Simple No-Code Workflow Engine in Go
reddit.comยท2dยท
Discuss: r/golang
๐Ÿ”“Open Source Software
OpenMed NER: Open-Source, Domain-Adapted State-of-the-Art Transformers for Biomedical NER Across 12 Public Datasets
arxiv.orgยท1d
๐ŸŒ€Brotli Internals
LLMs' AI-Generated Code Remains Wildly Insecure
darkreading.comยท4d
๐Ÿ“Code Metrics
Constructive Disintegration and Conditional Modes
arxiv.orgยท2d
๐Ÿ—๏ธConstructive Logic
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.orgยท10h
๐ŸŒณContext free grammars
The Convention Generation Experiment: Why AI Can't Build What I Hoped It Could
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap