My time at Oracle: functional and design specification reviews
smalldatum.blogspot.comยท13hยท
๐ŸŽฎLanguage Ergonomics
OpenSSH 10.1 Released
openssh.comยท15hยท
Discuss: Hacker News
๐Ÿ’ปTerminal Control
Master KV cache aware routing with llm-d for efficient AI inference
developers.redhat.comยท2h
๐Ÿ“กErlang BEAM
Working for a Vendor with David Gee
blog.ipspace.netยท2h
๐Ÿ“š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ยท17h
๐Ÿ›ก๏ธSecurity Type Systems
Cactus Language โ€ข Semantics 1
inquiryintoinquiry.comยท17h
๐Ÿ“‹Backus-Naur Form
Are Linked Lists necessary?
dev.toยท17hยท
Discuss: DEV
๐ŸคZipper Structures
A Generic Vector Implementation in C using void*, func*
github.comยท17hยท
๐Ÿช„C Metaprogramming
Declarative Partial Updates Proposal
github.comยท14hยท
Discuss: Hacker News
๐ŸŒBrowser REPLs
How To Build Effective Technical Guardrails for AI Applications
towardsdatascience.comยท15h
๐Ÿ›ก๏ธSecurity Type Systems
Small Language Models for Emergency Departments Decision Support: A Benchmark Study
arxiv.orgยท5h
๐ŸŒฑMinimal ML
Quantum capacity amplification via privacy
arxiv.orgยท5h
๐Ÿ“ก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ยท5h
๐ŸŽญErlang OTP
Week 3: Mongoose and the Basics of JWT Authentication
dev.toยท16hยท
Discuss: DEV
๐Ÿ“‹JSON Parsers
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.toยท10hยท
Discuss: DEV
๐Ÿฆ€MIR Optimization
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.orgยท5h
๐Ÿ”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