NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·1d·
Discuss: Hacker News
🔤DSLs
Voice Sims: test agents in real world conditions before they talk to your custom
sierra.ai·10h·
Discuss: Hacker News
🍎Apple
Rich Answered That
gist.github.com·2d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Supply chains and watering holes
cryptography.dog·2d·
Discuss: Lobsters
💎Refinement Types
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·15h·
Discuss: Hacker News
🔤DSLs
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·1d·
Discuss: Substack
📚Automata Learning
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
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
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·3d
🎮Verification Games
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·21h·
Discuss: Hacker News
➡️Category Theory
Stop Outsourcing Thinking
vaibhawvipul.github.io·1d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Improving state machine code generation
trifectatech.org·3d·
Discuss: Hacker News, r/rust
🐫Embedded OCaml
Tell-Tale Watermarks for Explanatory Reasoning in Synthetic Media Forensics
arxiv.org·3d
💎Refinement Types
Show HN: An open source Vercel/Render alternative for Python apps
github.com·1d·
Discuss: Hacker News
🐳Containerization
A new experimental Go API for JSON
go.dev·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🐫OCaml
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·11h·
Discuss: Substack
💎Refinement Types