NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·2d·
Discuss: Hacker News
🔤DSLs
Voice Sims: test agents in real world conditions before they talk to your custom
sierra.ai·13h·
Discuss: Hacker News
🍎Apple
Supply chains and watering holes
cryptography.dog·2d·
Discuss: Lobsters
💎Refinement Types
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·18h·
Discuss: Hacker News
🔤DSLs
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·1d·
Discuss: Substack
📚Automata Learning
Struggling to understand use of seperate VLANs and Docker Networks for internal/external services.
reddit.com·1d·
Discuss: r/homelab
🐳Containerization
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·23h·
Discuss: Hacker News
➡️Category Theory
Large Language Model Hacking: Quantifying the Hidden Risks of Using LLMs for Text Annotation
arxiv.org·1d
🛡️seL4
The Linear Reliability Channel
arxiv.org·1d
🧮Lambda Calculus
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·3d
🎮Verification Games
Stop Outsourcing Thinking
vaibhawvipul.github.io·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Improving state machine code generation
trifectatech.org·3d·
Discuss: Lobsters, Hacker News, r/rust
🐫Embedded OCaml
Tell-Tale Watermarks for Explanatory Reasoning in Synthetic Media Forensics
arxiv.org·3d
💎Refinement Types
A new experimental Go API for JSON
go.dev·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🐫OCaml
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·3d·
Discuss: Hacker News
🔧Unikernel Development
I built my own CDN with Varnish and Nginx
polso.info·1d·
Discuss: Hacker News
🖥Self-Hosting
Behind The Scenes of Bun Install
bun.com·1d·
Discuss: Lobsters, Hacker News, r/programming, r/programming
🔧Unikernel Development
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·2d·
Discuss: Hacker News
💾Retro Computing