FFmpeg – The Ultimate Guide
img.ly·1d·
Discuss: Hacker News
🍎XNU Internals
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·1d·
Discuss: Hacker News
🔤DSLs
Belzebub.ai: AI Deception Platform
beelzebub.ai·2d·
Discuss: Hacker News
🖥Self-Hosting
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·3d
🧠Automated Reasoning
Rewriting Val Town's editor
blog.val.town·3d·
Discuss: Hacker News, Hacker News
⚙️PL Implementation
Dicio: Open-Source Voice Assistant for Android
github.com·14h·
Discuss: Hacker News
🧩Parser Combinators
Voice Sims: test agents in real world conditions before they talk to your custom
sierra.ai·7h·
Discuss: Hacker News
🍎Apple
Massively Parallel Agentic Simulations with Ray
anyscale.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Rich Answered That
gist.github.com·2d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
SKYLINK: Scalable and Resilient Link Management in LEO Satellite Network
arxiv.org·1d
📡Network Protocol Design
Supply chains and watering holes
cryptography.dog·2d·
Discuss: Lobsters
💎Refinement Types
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·1d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA
🧮Lambda Calculus
HTTP: //HTTP://HTTP:// HTTP://HTTP://?HTTP://#HTTP://
daniel.haxx.se·3d·
Discuss: Hacker News
🧮Lambda Calculus
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·1d·
Discuss: Substack
📚Automata Learning
I might want a new switch
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Ultra Ethernet: Fabric Setup
nwktimes.blogspot.com·5d·
Discuss: Hacker News
🐳Containerization
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·3d
🧮Lambda Calculus
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·12h·
Discuss: Hacker News
🔤DSLs
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·17h·
Discuss: Hacker News
➡️Category Theory