Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·1d·
Discuss: r/programming
📊Runtime Verification
Holding It Together
onelook.com·3d·
Discuss: Hacker News
📝Term Rewriting
Living in a tiny electric van for three years
philsturgeon.com·3h·
Discuss: Hacker News
🩹Self-Healing Systems
Access ChatGPT on a Feature Phone
issei.space·20h·
Discuss: Hacker News
🌐NetworkProtocols
Powering Crypto Workloads with Sub-100ms Latency
risingwave.com·2d·
Discuss: Hacker News
👁️System Observability
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·5d·
Discuss: Hacker News
🧮Lambda Calculus
Musical Motors, BLDC Edition
hackaday.com·6h
🔧Unikernel Development
Building the AI-powered local smart home
home-assistant.io·2d·
Discuss: Hacker News
🏠HomeLab
How do we get AI Personas to sound so human?
askrally.com·1d·
Discuss: Hacker News
💾Retro Computing
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·1d·
Discuss: Hacker News
⚙️PL Implementation
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·3d·
Discuss: Hacker News
Automated Theorem Proving
Building Conscious* AI: An Illusionist Case
lesswrong.com·1d
🧠Automated Reasoning
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·4d
➡️Category Theory
Unidimensional semi-discrete partial optimal transport
arxiv.org·2d
🔠Type-Level Programming
The Case for An AI Safety Political Party in the US
lesswrong.com·2d
🩹Self-Healing Systems
Mutual Support by Sensor-Attacker Team for a Passive Target
arxiv.org·4d
🩹Self-Healing Systems
How OpenAI Operator Works with AI Agents
anchorbrowser.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
The canonical agent architecture: A while loop with tools
braintrust.dev·5d·
Discuss: Hacker News
Operational Semantics