On this day in 1988, the Morris worm infected 10% of the Internet within 24 hours — worm slithered out and sparked a new era in cybersecurity
🕸️WASM
Flag this post
Build your own GPG in Rust
🐫OCaml
Flag this post
Beyond Localhost: Security, Authentication, and Real-World Sources
hackernoon.com·2d
🕸️WASM
Flag this post
How do you stay safe from malware?
❄️Nix Flakes
Flag this post
We built a simple AI-powered tool for URL Monitoring + On-Call management — now live (Free tier)
🕸️WASM
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
λFunctional Programming
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
λFunctional Programming
Flag this post
Is There Still a Difference Between DevOps and AIOps?
devops.com·22h
🕸️WASM
Flag this post
The Software Development Journey
λFunctional Programming
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
🐫OCaml
Flag this post
Loading...Loading more...