Using XDP for Egress Traffic
loopholelabs.ioยท1dยท
๐Ÿ“กNetwork Protocol Design
Flag this post
C++ move semantics from scratch (2022)
cbarrete.comยท3dยท
๐ŸŽฏGADT
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.ioยท3dยท
Discuss: Hacker News
๐Ÿ“ŠRuntime Verification
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.comยท1d
๐Ÿ”„Reproducible Builds
Flag this post
PrivyWave: Privacy-Aware Wireless Sensing of Heartbeat
arxiv.orgยท17h
๐Ÿ‘๏ธObservability
Flag this post
Introducing Agent GPA: A Framework for Enterprise-Ready AI
thenewstack.ioยท2d
๐Ÿง Automated Reasoning
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
I Work in Healthcare, and I Built Syda to Solve One Simple Problem: Test Data
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏGADT
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
dev.toยท3dยท
Discuss: DEV
๐ŸŒNetwork Protocols
Flag this post
Algorithmic Trust Calibration via Adversarial Multi-Agent Simulations
dev.toยท1dยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
ฮปFunctional Programming
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.toยท1dยท
Discuss: DEV
๐ŸŽฎVerification Games
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same Appโ€ฆ
dev.toยท22hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Flag this post
A toy model of corrigibility
lesswrong.comยท4d
โฐTimed Automata
Flag this post
Ditch the Config Chaos: Meet Kiponos - the Real-Time Config Revolution You've Been Waiting For
dev.toยท1dยท
Discuss: DEV
โ„๏ธNixOS
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.orgยท3d
๐Ÿ“šAutomata Learning
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.orgยท2dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.orgยท2d
๐Ÿ“Hoare Logic
Flag this post
Parsing Validation
lesswrong.comยท2d
๐Ÿ”€Brzozowski Derivatives
Flag this post