Topological symmetry in quantum field theory (2024)
ems.press·1d·
Discuss: Hacker News
➡️Category Theory
Brute-forcing Langley’s geometry problem with field extensions
chiark.greenend.org.uk·1d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
How to Build a Crew
tasshin.com·1d·
Discuss: Hacker News
⎈Kubernetes
My Bank Keeps on Undermining Anti-Phishing Education
moritz-mander.de·2d·
Discuss: Hacker News
🎮Verification Games
Re-implementing the Nix protocol in Rust
tweag.io·5d·
Discuss: Hacker News
❄️Nix
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Rust is a great fit for the agentic era
kerkour.com·3d·
Discuss: Hacker News
🔬Static Analysis
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·5d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
We built a real-time service that handles 20k updates per second
trigger.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
AtCoder Finals Problem Statement
atcoder.jp·2d·
Discuss: Hacker News
💻CS
The Seductions of A.I. for the Writer’s Mind
nytimes.com·1d·
Discuss: Hacker News
🎮Verification Games
Deploying AI to prod at enterprises is a largely unsolved problem
credal.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Posture-Driven Action Intent Inference for Playing style and Fatigue Assessment
arxiv.org·2d
🎮Verification Games
Draw an Ugly Person An Exploration of Generative AIs Perceptions of Ugliness
arxiv.org·2d
🏹Effect Systems
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·3d
🐫OCaml
How we tracked down a Go 1.24 memory regression
datadoghq.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔬Unikernels
Graph Convolutional Branch and Bound
arxiv.org·5d
➡️Category Theory
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Open-Source Form Builder
github.com·2d·
Discuss: Hacker News
🐫OCaml
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·4d
🧪Property-Based Testing