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

Show HN:typed - Markdown app for writers, students, professionals, and creators
play.google.comยท1dยท
Discuss: Hacker News
๐Ÿ“„PostScript
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.aiยท1dยท
Discuss: Hacker News, Hacker News
๐Ÿค–Grammar Induction
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.eduยท1dยท
Discuss: Hacker News
๐Ÿ“กNetwork Protocol Design
How to help someone use a computer
pages.gseis.ucla.eduยท6hยท
Discuss: Lobsters
๐Ÿ”ŒOperating system internals
Teaching Open Source in North Korea
izbicki.meยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
When Flatpakโ€™s Sandbox Cracks: Realโ€‘Life Security Issues Beyond the Ideal
linuxjournal.comยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ“ฆContainer Security
Is Sass Dead Yet? CSS Mixins & Functions &c
conffab.comยท2dยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
Scientists are Learning to Rewrite the Code of Life
nytimes.comยท1dยท
Discuss: Hacker News
๐ŸงฌPalindrome Codes
Pair Programming With ChatGPT: An Experience Report
brainbaking.comยท6dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Emacs: The macOS Bug
xlii.spaceยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ–ฅ๏ธVintage Macintosh
NIST discovers DevSecOps, thinks world should really check this out
theregister.comยท1d
๐Ÿ›กCybersecurity
DICOM De-Identification via Hybrid AI and Rule-Based Framework for Scalable, Uncertainty-Aware Redaction
arxiv.orgยท1d
๐Ÿ”„Archival Workflows
Top 10 Secure Coding Tactics to Prevent Data Breaches in On-Demand Apps (2025 Dev Guide)
dev.toยท4dยท
Discuss: DEV
๐Ÿ”Archive Encryption
I Built a Fully Automated Newsletter with OpenAI + n8n
dev.toยท6hยท
Discuss: DEV
๐Ÿ“ฐFeed Readers
x86 and ARM architectures comparison thread.
forums.anandtech.comยท1d
๐Ÿš€RISC-V Vector
ShellGuard: Building an AI-Assisted Command Approval System for SSH Security
dev.toยท1dยท
Discuss: DEV
๐ŸšShell Automation
STDC14 to 2.54mm STLINK-V3 Adapter + USB/LiPo Power
hackster.ioยท1d
โšกHomebrew CPUs
[KIS-2025-04] SugarCRM <= 14.0.0 (css/preview) LESS Code Injection Vulnerability
seclists.orgยท3d
๐ŸงชCBOR Fuzzing
Show HN: LLM-benchmark โ€“ Make LLMs fight for fastest ops/SEC on your code
github.comยท4dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
7 Best No-Code Tools to Build AI-Powered Apps in 2025
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap