There are exponentially many vectors with small inner product
lmao.bearblog.dev·1d·
Discuss: Hacker News
➡️Category Theory
Apple Trace Cache
realworldtech.com·11h·
Discuss: Hacker News
👁️System Observability
We have computation because of weaving
maalvika.substack.com·10h·
Discuss: Substack
💾Retro Computing
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·7h·
Discuss: Hacker News
🐫OCaml
The Complete MCP Experience: Full Specification Support in VS Code
code.visualstudio.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·4d·
Discuss: r/programming
🐫OCaml
Distributed Systems for Fun and Profit
book.mixu.net·4d·
Discuss: Hacker News
📦Unikernel Systems
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·1d
🐫OCaml
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·1d·
Discuss: Hacker News
🔤DSLs
IMPACT: Industrial Machine Perception via Acoustic Cognitive Transformer
arxiv.org·2d
🏹Effect Systems
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
arxiv.org·3d
✓Automated Theorem Proving
Evaluating Large Multimodal Models for Nutrition Analysis: A Benchmark Enriched with Contextual Metadata
arxiv.org·2d
🐫OCaml
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·2d
🐫OCaml
KPFlow: An Operator Perspective on Dynamic Collapse Under Gradient Descent Training of Recurrent Networks
arxiv.org·2d
➡️Category Theory
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·1d
✓Automated Theorem Proving
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·3d
🏹Effect Systems
From ID-based to ID-free: Rethinking ID Effectiveness in Multimodal Collaborative Filtering Recommendation
arxiv.org·3d
➡️Category Theory
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🛡️seL4