Cactus Language • Pragmatics 1
inquiryintoinquiry.com·3d
💻Programming languages
You Don't Need a Vendor to Automate Security Questionnaires
blog.marcolancini.it·1d
⚡Proof Automation
Post-quantum TLS in Python
aws.amazon.com·1d
🔐Quantum Security
Physicists Create First-Ever Antimatter Qubit, Making the Quantum World Even Weirder
gizmodo.com·5h·
Discuss: Hacker News
⚛️Quantum Tape
Building Jetflow: a framework for flexible, performant data pipelines at Cloudflare
blog.cloudflare.com·2d·
Discuss: Hacker News
🌊Stream Processing
mariadb-operator 📦 25.08.0 has landed: PhysicalBackups, VolumeSnapshots, VECTOR support, new cluster Helm chart, and more!
github.com·15h
🌳Git Internals
Neo Geo ROM Hacking: SMA Encrypted P ROMs
mattgreer.dev·1d·
Discuss: Hacker News
📼Retro Games
Invisible Programming Language
en.wikipedia.org·16h·
Discuss: Hacker News, r/programming
🔗Concatenative Languages
Thinking Machines and the Second Wave: Why $2B Says Everything About AI's Future
decodingdiscontinuity.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Technical Perspective: Defending Data from SRAM-Based Attacks
cacm.acm.org·1d
🧠Memory Forensics
You won't believe what this AI said after deleting a database (but you might relate)
smallcultfollowing.com·2d·
Discuss: Hacker News, Hacker News
⚡Proof Automation
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.org·2d
🧠Intelligence Compression
Reinforcement Learning Fine-Tunes a Sparse Subnetwork in Large Language Models
arxiv.org·1d
🎧Learned Audio
How to Make Your AI Agent Remember Things (Without a Database)
dev.to·9h·
Discuss: DEV
💾Persistence Strategies
Exploring Hexagonal Architecture in Go — Introducing HexaBank
reddit.com·2d·
Discuss: r/golang
🔧Binary Parsers
Qwen3‑Coder Unleashed – Agentic Coding's New Powerhouse
algogist.com·2d·
Discuss: Hacker News
🧮Z3 Applications
MicroVMs Over Containers: A Safer Execution Path for AI Agents
dev.to·1d·
Discuss: DEV
🛡️WASM Sandboxing
How the universe encodes information
robinsloan.com·2d
🔲Cellular Automata
Harnessing RLHF for Robust Unanswerability Recognition and Trustworthy Response Generation in LLMs
arxiv.org·1d
💻Local LLMs
Orka-Reasoning
dev.to·1d·
Discuss: DEV
🌊Streaming Systems