🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Muddled Libra: From Social Engineering to Enterprise-Scale Disruption
paloaltonetworks.com·4h
🔓Hacking
Fixing Auth for Personal AI Agents
vivekhaldar.com·39m·
Discuss: Hacker News
🏠Homelab Automation
Breaking down the Single-Email XPIA Vulnerability Enabling Complete Gmail Data Exfiltration in Zapier Auto-Reply Agents
repello.ai·1d·
Discuss: r/programming
🔓Hacking
MirrorVM: Compiling WebAssembly using Reflection
sbox.game·5d·
Discuss: r/programming
🔗Concatenative Programming
US DOE Taps Federal Sites For Fast-Track AI Datacenter, Energy Builds
hardware.slashdot.org·18h
🏠Homelab Federation
AI coding agents in CI/CD pipelines create new attack vectors
stepsecurity.io·2d·
Discuss: Hacker News
🔓Open Source Software
Safe Cell field projection in Rust (2020)
abubalay.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The Real Python Podcast – Episode #258: Supporting the Python Package Index
realpython.com·1d
🌀Brotli Internals
Why I Do Programming
esafev.com·10h·
Discuss: Hacker News
🔩Systems Programming
Accept the Software Update: Why It Can Ward Off Cybercriminals
hackernoon.com·2h
🔓Hacking
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·2d·
Discuss: Hacker News
📺Terminal UI
One Tool to Rule JWTs — Easy JWT Pentesting with JWTAuditor
infosecwriteups.com·1d
🎫Kerberos Attacks
Show HN: Blueboots – A retro themed Fedora OS built with one Containerfile
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·4d
🔍Type Inference
Ramírez’s Decade With Org Mode
irreal.org·1h
🐧FOSS
Show HN: An AI tool that filters high-quality info from the noise
github.com·2d·
Discuss: Hacker News
🌊Apache Kafka
🧠 AI-Powered Quote Finder – Discover the Wisdom of Your Favorite Characters
dev.to·3h·
Discuss: DEV
🏛Digital humanities
Closing the complexity gap of the double distance problem
arxiv.org·3d
🧮Kolmogorov Complexity
Building Trust in AI: Enterprise Knowledge Base Validation with MindsDB
dev.to·20h·
Discuss: DEV
🧬PostgreSQL Forensics
The Production Readiness Gap: What AI and Bootcamps Don't Teach About Backend Engineering
dev.to·23h·
Discuss: DEV
🌐WASI
Loading...Loading more...
AboutBlogChangelogRoadmap