Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·10h
🔗Functional Compilers
The Latest DNS Threat Landscape: Why CISOs Must Rethink Blocking Strategies
circleid.com·1d
🌐DNS Security
What I Learned About Machine Learning – Don’t Use It!
bobbydurrettdba.com·2d
👁️System Observability
SonicWall says recent attack wave involved previously disclosed flaw, not zero-day
cybersecuritydive.com·20h
🔓Hacking
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·2d·
Discuss: Hacker News
⭐Awesome lists
ECScape: Understanding IAM Privilege Boundaries in Amazon ECS
sweet.security·1d·
Discuss: Hacker News
📦Container Security
What CMMC 3.0 Really Means for Government Contractors
darkreading.com·1d
🎯Threat Hunting
German security researchers say 'Windows Hell No' to Microsoft biometrics for biz
theregister.com·14h
🎯NTLM Attacks
Passwords Are Dead. What’s Your Excuse for Still Using Them?
hackernoon.com·2d
🔓Hacking
Technical Interviews are realigning with reality through AI
cendyne.dev·8h·
Discuss: Hacker News
📏Code Metrics
Mesa 25.2 Lands with Vulkan 1.4 on PanVK, Drops X11 DRI2 Support
linuxiac.com·1d
🎯Emulator Accuracy
Show HN: MCPJungle – self-hosted Gateway for connecting AI Agents to MCP tools
github.com·1d·
Discuss: Hacker News
⚡gRPC
Researchers Uncover RCE Attack Chains in HashiCorp Vault and CyberArk Conjur
csoonline.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
5 Python Libraries I Wish I'd Found Sooner
hackernoon.com·2d
🌳Incremental Parsing
The Critical Flaw in CVE Scoring
darkreading.com·20h
🔓Hacking
Machine Learning Fundamentals: model evaluation with python
dev.to·1d·
Discuss: DEV
📏Code Metrics
Fusion of Pervasive RF Data with Spatial Images via Vision Transformers for Enhanced Mapping in Smart Cities
arxiv.org·1d
📊Computational Geometry
GPT-5's Router: how it works and why Frontier Labs are now targeting the Pareto Frontier
latent.space·14h·
Discuss: Hacker News
🔌Interface Evolution
DRIVE-T: A Methodology for Discriminative and Representative Data Viz Item Selection for Literacy Construct and Assessment
arxiv.org·1d
🗺️Competency Maps
A Novel Architecture for Symbolic Reasoning with Decision Trees and LLM Agents
arxiv.org·6h
🧠Computational Logic