Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants
New Issue: International Association of Sound and Audiovisual Archives (IASA) Journal
archivespublishing.comยท2d
Satellites, Linux trays, and laundry: Hack Week 2025 at Tailscale
tailscale.comยท1d
ChatThero: An LLM-Supported Chatbot for Behavior Change and Therapeutic Support in Addiction Recovery
arxiv.orgยท5h
Scalable Fairness Shaping with LLM-Guided Multi-Agent Reinforcement Learning for Peer-to-Peer Electricity Markets
arxiv.orgยท2d
OpenBSD Disables Yubikey OTP Support in -current
discoverbsd.comยท4d
Loading...Loading more...