OpenSSH 10.1 Released
openssh.comยท19hยท
Discuss: Hacker News
๐Ÿ’ปTerminal Control
The Mondrian introduction to functional optics
marcosh.github.ioยท4hยท
Discuss: Hacker News
๐Ÿ”Lens Libraries
Master KV cache aware routing with llm-d for efficient AI inference
developers.redhat.comยท6h
๐Ÿ“กErlang BEAM
Working for a Vendor with David Gee
blog.ipspace.netยท7h
๐Ÿ“šSelf-Documenting Code
Rodrigo Girรฃo Serrรฃo: Functions: a complete reference | Pydon't ๐Ÿ
mathspp.comยท1d
๐ŸšชFunction Prologues
They're inโ€ฆnow what? How to stop lateral movement when the phish bites
runzero.comยท21h
๐Ÿ›ก๏ธSecurity Type Systems
Why Raft's Single-Log-Entry Configuration Change Doesn't Work (and why Joint Consensus uses 2 entries)
reddit.comยท1hยท
Discuss: r/compsci
๐ŸŽฏRing Buffers
Cactus Language โ€ข Semantics 1
inquiryintoinquiry.comยท21h
๐Ÿ“‹Backus-Naur Form
Are Linked Lists necessary?
dev.toยท21hยท
Discuss: DEV
๐ŸคZipper Structures
Declarative Partial Updates Proposal
github.comยท19hยท
Discuss: Hacker News
๐ŸŒBrowser REPLs
sevenDB : reactive yet scalable
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ“‹Souffle Datalog
Week 3: Mongoose and the Basics of JWT Authentication
dev.toยท20hยท
Discuss: DEV
๐Ÿ“‹JSON Parsers
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.orgยท9h
๐Ÿ”ML Language
TROLL: Trust Regions improve Reinforcement Learning for Large Language Models
arxiv.orgยท9h
๐ŸŽญErlang OTP
๐Ÿค– Edenred Invoice Assistant โ€“ Serverless AI Chatbot for Invoice & Payment Support
dev.toยท13hยท
Discuss: DEV
๐Ÿ“กErlang BEAM
LLMs one-box when in a "hostile telepath" version of Newcomb's Paradox, except for the one that beat the predictor
lesswrong.comยท1d
โœ…Type Checking
The AI Agent Onboarding Problem (The Real Version)
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏFinite Automata
Scalable Ground Station Selection for Large LEO Constellations
arxiv.orgยท9h
๐Ÿ•ธ๏ธP2P Protocols
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.orgยท9h
๐Ÿ“ฎMessage Queues