Voice Sims: test agents in real world conditions before they talk to your custom
sierra.ai·1d·
Discuss: Hacker News
🍎Apple
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·1d·
Discuss: Hacker News
➡️Category Theory
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·1d·
Discuss: Hacker News
🔤DSLs
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
Supply chains and watering holes
cryptography.dog·3d·
Discuss: Lobsters
💎Refinement Types
The Case for Mixed Deployment
lesswrong.com·1d
🩹Self-Healing Systems
A new experimental Go API for JSON
go.dev·4d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🐫OCaml
Stop writing CLI validation. Parse it right the first time
hackers.pub·6d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
Prompt Snapshot Testing
ninkovic.dev·4d·
Discuss: Hacker News
🧪Property-Based Testing
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·1d
📝Term Rewriting
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·2d·
Discuss: Hacker News, r/cpp
🐫OCaml
Shape-changing tensegrity-blocks enable self-assembling robotic structuress
nature.com·11h·
Discuss: Hacker News
🩹Self-Healing Systems
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·1d
🔄Reproducible Builds
Show HN: TurboStitchGif new version 1.1 (alternative to giflib)
news.ycombinator.com·16h·
Discuss: Hacker News
🔬Static Analysis
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·1d·
Discuss: Substack
💎Refinement Types
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: An open source Vercel/Render alternative for Python apps
github.com·1d·
Discuss: Hacker News
🐳Containerization
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·2d·
Discuss: Hacker News
🔤DSLs
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification