Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
🔧Unikernel Development
Stop using cron Systemd Timers Explained (2023)
coady.tech·1d·
Discuss: Hacker News
🔧Unikernel Development
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
ORCA: ORchestrating Causal Agent
arxiv.org·1d
⚙Operational Semantics
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·14h·
Discuss: Hacker News
📚Automata Learning
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Sheafification - The optimal path to mathematical mastery
sheafification.com·2d·
Discuss: Hacker News
➡️Category Theory
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
AI Chatbot vs Workflow vs Agent
medium.com·12h·
Discuss: r/programming
📚Automata Learning
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·10h·
Discuss: Hacker News
🧩Parser Combinators
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
My experience with Apache Pulsar to solve PostgreSQL multi-tenant pain
news.ycombinator.com·3h·
Discuss: Hacker News
⎈Kubernetes
The Paradigm
nonint.com·8h·
Discuss: Hacker News
📚Automata Learning
What Does AI Do?
joecooper.me·10h·
Discuss: Hacker News
📚Automata Learning
Chicken Scheme internals: the garbage collector
more-magic.net·3d·
Discuss: Hacker News
🤖Program Synthesis
Processors are getting wider
lemire.me·14h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
🧩Parser Combinators