Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

DSQL: Keeping Your Pager Quiet
brooker.co.za·2d
🗄️Database Internals
Flag this post
Issue 496
haskellweekly.news·5d
🔗Functional Compilers
Flag this post
NetHack4 Philosophy
nethack4.org·26m·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
What Is Occult Grammar?
blog.izs.me·22h·
Discuss: Hacker News
📼Cassette Linguistics
Flag this post
Credentials Evidence or Simulate
preludes.eu·18h·
Discuss: Hacker News
🔐PKI Archaeology
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·1d·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·1h·
Discuss: Hacker News
🔍Information Retrieval
Flag this post
OVHcloud: Quantum random number generation SSL certificates for all customers
blog.ovhcloud.com·1d·
Discuss: Hacker News
🔐Quantum Cryptography
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·3d·
Discuss: Hacker News
🔗Network Calculi
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·54m·
Discuss: Substack
🎙️Whisper
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·1d·
📏Code Metrics
Flag this post
Towards Sub-millisecond Latency and Guaranteed Bit Rates in 5G User Plane
arxiv.org·9h
📡Network Calculus
Flag this post
Part 3: Building Station Station - Agent-OS Workflow in Action
dev.to·8h·
Discuss: DEV
🦋Format Metamorphosis
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·13h·
Discuss: DEV
🔗Topological Sorting
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·20h·
Discuss: Hacker News
💧Liquid Types
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·1d
🤝Consensus Algorithms
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
reddit.com·2h·
Homebrew CPUs
Flag this post
GitHub Issue Monitor AI Agent with Mastra
dev.to·1d·
Discuss: DEV
gRPC
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
Flag this post