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

Tech Minds: Testing the ATS Decoder Mega SDR Radio
rtl-sdr.comΒ·2h
πŸ“»Homebrew Protocols
A New Chapter for AI and Cybersecurity: SentinelOne Acquires Prompt Security
sentinelone.comΒ·1d
🎯Threat Hunting
Updating dependencies
so.nwalsh.comΒ·4d
πŸ”—Dependency Resolution
Spectral: A Screen-First Typeface (2017)
design.googleΒ·1dΒ·
Discuss: Hacker News
πŸ”€Font Archaeology
No One Is Working
humaninvariant.comΒ·3hΒ·
Discuss: Hacker News
πŸ—ΊοΈCompetency Maps
Debian 13 Trixie Review: 11 Features That Make It the Biggest Release in Years
dtptips.comΒ·5hΒ·
Discuss: Hacker News
❄️Nix Adoption
Dell ControlVault: Critical gaps make security component a risk
heise.deΒ·9h
πŸ”’Secure Boot
Forward Deployed Engineering Principles
builders.ramp.comΒ·15hΒ·
Discuss: Hacker News, Hacker News
πŸ’ΎPersistence Strategies
Microsoft pledges it will make WinUI "truly open source" - but don't hold your breath
techradar.comΒ·19h
πŸ”“Open Source Software
Shelling Out Is Selling Out
petersobot.comΒ·3dΒ·
Discuss: Hacker News
🎞️MKV Forensics
The hidden engineering behind foundation model building
poolside.aiΒ·4dΒ·
Discuss: Hacker News
⚑Incremental Computation
Detection of Autonomic Dysreflexia in Individuals With Spinal Cord Injury Using Multimodal Wearable Sensors
arxiv.orgΒ·38m
βœ‹Tactile Computing
The Hidden Cost of Performance: How High-Load Specialization Warps Engineering Intuition
hackernoon.comΒ·3d
🎯Performance Forensics
How AI Tools Are Assisting Smart Contract Testing & Auditing in 2025
dev.toΒ·1dΒ·
Discuss: DEV
🏠Homelab Pentesting
PHP Meets AI – Integrating OpenAI or Gemini APIs in Your PHP Stack
dev.toΒ·15hΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Bella AI: Your New Digital Companion is Awakening!
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Debugging a mysterious HTTP streaming issue
dev.toΒ·1dΒ·
Discuss: DEV
🌊Streaming Systems
🧠 Building a Local PDF Summarizer with LLMs β€” In Under 24 Hours
dev.toΒ·2dΒ·
Discuss: DEV
πŸ€–Archive Automation
Amp Code: Arbitrary Command Execution via Prompt Injection Fixed
embracethered.comΒ·1d
πŸ›‘οΈCLI Security
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.orgΒ·2d
🌳Context free grammars
Loading...Loading more...
AboutBlogChangelogRoadmap