Scans for Port 8530/8531 (TCP). Likely related to WSUS Vulnerability CVE-2025-59287, (Sun, Nov 2nd)
isc.sans.edu·2h
💬Mach Messages
Flag this post
Local Digital Economy
brennenputh.me·8h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·2h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets
github.com·21h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Rhysida OysterLoader campaign leverages 40 code-signing certificates
scworld.com·4h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·2d·
Discuss: Hacker News
🖥️KVM
Flag this post
Tricks for Reliable Split-Second DNS Rebinding in Chrome and Safari
intruder.io·3d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·2h·
Discuss: Substack
📐Linear Algebra
Flag this post
Learn K8S quick
reddit.com·15h·
Discuss: r/kubernetes
⎈Kubernetes
Flag this post
Our Lunar Landing Site API goes Live Today!
dev.to·21h·
Discuss: DEV
🔌APIs
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·9h·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Flag this post
Automated Verification of Terrestrial Ecosystem Resilience via Hyperdimensional Network Analysis
dev.to·11h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·10h·
Discuss: DEV
🔌APIs
Flag this post
Top 6 API Architecture Styles
blog.algomaster.io·3d
🔌APIs
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
GitHub Issue Monitor AI Agent with Mastra
dev.to·1h·
Discuss: DEV
🔌APIs
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Opinions & advice on my homelab network setup
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·22h·
Discuss: Hacker News
💎Refinement Types
Flag this post