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

New resource on AI & Open Source for U.S. policymakers
opensource.org·4d·
Discuss: Hacker News
🔓Open Source Software
MetaScope Build 10: Revolutionary File Processing and External Drive Support
zalodesignstudio.com·1d·
Discuss: Hacker News
✅Archive Fixity
Protections needed to stop people believing chatbots are friends – expert
the-independent.com·18h
🎙️Whisper
The Trauma of Gaslighting and Veridical Distortion
cristinagherghel.substack.com·1d·
Discuss: Substack
🔍Archive Semantics
Reddit - anyone do a diy photobooth?
reddit.com·1d·
Discuss: r/photobooth
⚙️DIY Electronics
Show HN: I Boiled a Decade of Debugging into a Practical Guide
jwworth.gumroad.com·5d·
Discuss: Hacker News
🔬Binary Analysis
ScotRail to replace controversial AI voice on trains
bbc.com·18h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Junk is the new punk: Why we're falling back in love with retro tech
theregister.com·20h·
Discuss: Hacker News
🕹️Retro Gaming
Train a GPT2 model with JAX on TPU for free
developers.googleblog.com·6d
⚡Incremental Computation
VMware before Broadcom was ‘A unicorn in fluffy cloudland’
theregister.com·8h
💿Proxmox HA
CachyOS Introduces Packages Dashboard, GRUB+Btrfs Bootable Snapshots
phoronix.com·1d
❄️Nix Flakes
High-binding-energy material achieves record QLED efficiency and lifetime
phys.org·10h
⚛️Quantum Tape
LLMs generate ‘fluent nonsense’ when reasoning outside their training zone
venturebeat.com·6d·
Discuss: Hacker News
⚙️Proof Engineering
🚀From Zero to Hero: How I Integrated AI-Driven Prompt Engineering into My Dev Workflow
dev.to·5d·
Discuss: DEV
⚡Proof Automation
A New Relaxation of Fairness in Two-Sided Matching Respecting Acquaintance Relationships
arxiv.org·4d
🌸Bloom Variants
Hackers deploy DripDropper via Apache ActiveMQ flaw, patch systems to evade detection
securityaffairs.com·4d
🔓Hacking
DCP-o-matic • Re: Veriying DCP on Synology NAS via CLI
dcpomatic.com·1d
📟Terminal Forensics
What is ASPM? Everything You Need to Know
boostsecurity.io·1d
🛡️CLI Security
Building an Autonomous Token Deployment Agent on Celo
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Sophia Genetics Growth Story Clouded By Persistent Losses: Why I'm Choosing To Hold
seekingalpha.com·3h
📡Feed Security
Loading...Loading more...
AboutBlogChangelogRoadmap