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
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·4d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Supply chains and watering holes
cryptography.dog·3d·
Discuss: Lobsters
💎Refinement Types
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
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·2d
📝Term Rewriting
Show HN: TurboStitchGif new version 1.1 (alternative to giflib)
news.ycombinator.com·23h·
Discuss: Hacker News
🔬Static Analysis
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·19h·
Discuss: Hacker News
🩹Self-Healing Systems
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·1d·
Discuss: Substack
💎Refinement Types
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·2d
🔄Reproducible Builds
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
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·2d·
Discuss: Hacker News
🔤DSLs
Intel’s E2200 “Mount Morgan” IPU at Hot Chips 2025
chipsandcheese.com·2d·
Discuss: Hacker News
🔧Unikernel Development
EggStreme: New Fileless Malware from a Chinese Apt Targets Philippine Military
securityonline.info·1d·
Discuss: Hacker News
🔧Unikernel Development
Dicio: Open-Source Voice Assistant for Android
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators