Dependent types I › Universes, or types of types
jonmsterling.com·1d·
Discuss: Hacker News
🔤Type Theory
Apple iOS 26 public beta 5 is live: Here are all the new iPhone features coming in September
engadget.com·8h
🖥️Vintage Macintosh
Hmf4j parallelizes as well as orders message processing
handy-messaging-framework.github.io·11h·
Discuss: Hacker News
🌊Apache Kafka
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·3d·
Discuss: Hacker News
🔓Password Cracking
Countering Chinese State-Sponsored Actors Compromise of Networks Worldwide
cisa.gov·11h·
Discuss: Hacker News
🕵️Penetration Testing
Build Better Agents With MorphLLM
fly.io·3d
🎙️Whisper
Popular nx packages compromised on NPM
aikido.dev·20h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·3d·
Discuss: Hacker News
🌳Incremental Parsing
IoT Integration for Smart Fence Lighting Systems
dev.to·10h·
Discuss: DEV
🏠Home Automation
What company discovery/Intel features would you want in a tool like this?
news.ycombinator.com·1d·
Discuss: Hacker News
🔍BitFunnel
The agentic runtime is a crystal ball
dev.to·19h·
Discuss: DEV
🌊Streaming Systems
Ask HN: How to Learn to Build Agentic AI Systems (Like Claude Code)
news.ycombinator.com·9h·
Discuss: Hacker News
👑Isabelle
The Gold Standard of Cloud Security: Why Our SOC2 Type 2 Compliance Sets Backblaze Apart
backblaze.com·16h
✅Archive Fixity
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·2d
🗄️File Systems
ChatGPT, Claude, & Gemini security scanning with Cloudflare CASB
blog.cloudflare.com·1d
🏠Homelab Pentesting
Can I Let AI Work While I Drink Coffee? A Hard-Learned Lesson
dev.to·1d·
Discuss: DEV
🏠Homelab Automation
EffNetViTLoRA: An Efficient Hybrid Deep Learning Approach for Alzheimer's Disease Diagnosis
arxiv.org·3h
🧠Machine Learning
What Makes AI Applications Acceptable or Unacceptable? A Predictive Moral Framework
arxiv.org·3h
🤖AI Curation
01 Getting Started with the Trenz TE0950 Board
hackster.io·21h
⚡Homebrew CPUs
Project Lightning Talk: Dockerfiles vs Buildpacks: What's The Cloud Native Way? - Ram Iyengar
youtube.com·1d
📦Container Security