๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โšก Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

80% of Norwegian Public Sector to Use Chainsaws by End of Year, Government Says
eaj.noยท22hยท
Discuss: Hacker News
๐Ÿ‡ณ๐Ÿ‡ดNorwegian Computing
Valuable News โ€“ 2025/08/11
vermaden.wordpress.comยท3d
๐Ÿ”ŒOperating system internals
'Urgent' bans on abusive childcare workers to take up to 12 months, says attorney-general
abc.net.auยท8h
๐Ÿ“ABNF Parsing
James Talarico Is on the Run
wired.comยท1d
๐ŸŒŠCBOR Streaming
Boy, 12, with rare genetic skin disorder can now play football after breakthrough medical trial
the-independent.comยท8h
๐Ÿ”“Open Source Software
Cursor to change Teams pricing, after Sep 15
cursor.comยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Hackers could take over millions of Dahua CCTV cameras because of two critical flaws - here's how to stay safe
techradar.comยท12h
๐Ÿ”“Hacking
Wire Repo Archived without Notice
github.comยท3dยท
Discuss: r/golang
๐Ÿค–Network Automation
Why financial services choose single-tenant SaaS
about.gitlab.comยท1d
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
libarchive: Security vulnerability turns out to be critical
heise.deยท3d
๐Ÿ’ฃZIP Vulnerabilities
Quantum Inspired Legal Tech Environmental Integration for Emergency Pharmaceutical Logistics with Entropy Modulated Collapse and Multilevel Governance
arxiv.orgยท2d
๐Ÿ”Quantum Security
Launch HN: Cyberdesk (YC S25) โ€“ Automate Windows legacy desktop apps
news.ycombinator.comยท16hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Are Electrodermal Activity-Based Indicators of Driver Cognitive Distraction Robust to Varying Traffic Conditions and Adaptive Cruise Control Use?
arxiv.orgยท4h
โœ‹Tactile Computing
Targeted Gut T-Cell Modulation via CRISPR-Cas13d for Celiac Disease Immunotherapy
dev.toยท1dยท
Discuss: DEV
๐ŸงฌCopy Number Variants
The hidden cost of evaluation loops
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Optimized Recycled Aggregate Grading via Multi-Objective Genetic Algorithm
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Redact: AI powered prompt security analysis
dev.toยท4dยท
Discuss: DEV
โšกRedis Internals
**Hyper-Specific Interleukin Sub-Field Selection & Paper Generation**
dev.toยท6hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Pushdown Reward Machines for Reinforcement Learning
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
Stack Overflow is trying to honeypot their data dump
meta.stackexchange.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap