The Why of PGP Authentication
articles.59.caΒ·5d
πŸ”‘Cryptographic Protocols
Flag this post
Valuable News – 2025/10/13
vermaden.wordpress.comΒ·2d
πŸ”ŒOperating system internals
Flag this post
What makes a quantum computer good?
newscientist.comΒ·2d
βš›οΈQuantum Tape
Flag this post
Testing Frozen String Literals in Production
intertwingly.netΒ·10hΒ·
πŸ§ͺCBOR Fuzzing
Flag this post
Experimenting with ACL2 and Claude Code
mikedodds.orgΒ·5dΒ·
Discuss: Hacker News
πŸ‘‘Isabelle
Flag this post
With Apple M5: MacBook Pro and iPad Pro 2025 say hello
heise.deΒ·4h
πŸ–₯️Vintage Macintosh
Flag this post
Arduino has a new job selling chips for its new owner Lets not pretend otherwise
theregister.comΒ·2dΒ·
Discuss: Hacker News
πŸ”ŒMicrocontrollers
Flag this post
Research: Italy’s Piracy Shield Is Just As Big A Disaster As Everyone Predicted
techdirt.comΒ·20hΒ·
πŸ΄β€β˜ οΈPiracy
Flag this post
What's The Deal With GitHub Spec Kit
den.devΒ·3dΒ·
Discuss: Hacker News
πŸ”„Reproducible Builds
Flag this post
Building a Semantic Search Engine for Any Website Using React, Django & Milvus Lite
dev.toΒ·6hΒ·
Discuss: DEV
πŸŒ€Brotli Dictionary
Flag this post
The enigma of Python Enums
dev.toΒ·2hΒ·
Discuss: DEV
πŸ’§Liquid Types
Flag this post
How to Reject a Pull Request
github.comΒ·4dΒ·
Discuss: Hacker News
πŸ’£ZIP Vulnerabilities
Flag this post
Transmuting prompts into weights
arxiv.orgΒ·2d
🎯Gradual Typing
Flag this post
Knowledge-Decoupled Functionally Invariant Path with Synthetic Personal Data for Personalized ASR
arxiv.orgΒ·1d
πŸŽ™οΈWhisper
Flag this post
GitHub Copilot and AI agents are saving legacy systems
github.blogΒ·1dΒ·
Discuss: Hacker News
πŸ›οΈCOBOL Archaeology
Flag this post
Beyond Seeing: Evaluating Multimodal LLMs on Tool-Enabled Image Perception, Transformation, and Reasoning
arxiv.orgΒ·19h
πŸ€–Advanced OCR
Flag this post
CuMPerLay: Learning Cubical Multiparameter Persistence Vectorizations
arxiv.orgΒ·19h
πŸ•ΈοΈAlgebraic Topology
Flag this post
MacBook Pro M5 pre-orders: where to buy Apple's new 14-inch laptop
techradar.comΒ·7h
πŸ–₯️Vintage Macintosh
Flag this post
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toΒ·3hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Flag this post