My time at Oracle: functional and design specification reviews
smalldatum.blogspot.com·15h·
Discuss: smalldatum.blogspot.com
🎮Language Ergonomics
The Mondrian introduction to functional optics
marcosh.github.io·1h·
Discuss: Hacker News
🔍Lens Libraries
OpenSSH 10.1 Released
openssh.com·17h·
Discuss: Hacker News
💻Terminal Control
Master KV cache aware routing with llm-d for efficient AI inference
developers.redhat.com·4h
📡Erlang BEAM
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·19h
🛡️Security Type Systems
Cactus Language • Semantics 1
inquiryintoinquiry.com·19h
📋Backus-Naur Form
Who owns Express VPN, Nord, Surfshark? VPN relationships explained (2024)
dev.to·9h·
Discuss: DEV
🔐Capability Protocols
Are Linked Lists necessary?
dev.to·19h·
Discuss: DEV
🤐Zipper Structures
Declarative Partial Updates Proposal
github.com·16h·
Discuss: Hacker News
🌐Browser REPLs
Quantum capacity amplification via privacy
arxiv.org·7h
📡Async Channels
Building High-Performance TCP Servers in Go: Custom Binary Protocols for Ultra-Low Latency Applications
dev.to·5d·
Discuss: DEV
🌍HTTP Servers
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·7h
🎭Erlang OTP
Week 3: Mongoose and the Basics of JWT Authentication
dev.to·18h·
Discuss: DEV
📋JSON Parsers
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·12h·
Discuss: DEV
🦀MIR Optimization
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·7h
🔍ML Language
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
Adaptive and Explainable AI Agents for Anomaly Detection in Critical IoT Infrastructure using LLM-Enhanced Contextual Reasoning
arxiv.org·7h
🔍ML Language
A Beginner's Guide to AWS MSK: From Cluster Setup to Your First Message
dev.to·1d·
Discuss: DEV
🛡️Capability VMs
TROLL: Trust Regions improve Reinforcement Learning for Large Language Models
arxiv.org·7h
🎭Erlang OTP