Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·2d
🧲Magnetic Philosophy
Why and how we built Vectroid, the fastest Serverless vector database
vectroid.com·21h·
Discuss: Hacker News
🗂️Vector Databases
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·1d·
Discuss: Hacker News, r/programming
🔩Systems Programming
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·20m
✓Automated Theorem Proving
Show HN: Vectorless RAG
github.com·19h·
Discuss: Hacker News
📊Multi-vector RAG
Code Surgery: How AI Assistants Make Precise Edits to Your Files
fabianhertwig.com·3h·
Discuss: Hacker News
🔄Language Evolution
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·20m
🎯Threat Hunting
Go Struct Alignment: a Practical Guide
medium.com·9h·
Discuss: r/golang
🔧Binary Parsers
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
🔗Functional Compilers
The Next Layer: Augmenting Foundation Models with Structure-Preserving and Attention-Guided Learning for Local Patches to Global Context Awareness in Computatio...
arxiv.org·20m
🧠Machine Learning
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·16h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
On systematic construction of correct logic programs
arxiv.org·2d
⚖️Hoare Logic
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust Borrowing
The Lobster Programming Language
strlen.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Evaluating Language Model Reasoning about Confidential Information
arxiv.org·20m
💻Local LLMs
C++ or Rust: Differences Explained
harshal.is-cool.dev·17h·
Discuss: Hacker News
🔩Systems Programming
LLM Monitoring and Observability: Hands-on with Langfuse
towardsdatascience.com·2d
👁️System Observability
WoW: A Window-to-Window Incremental Index for Range-Filtering Approximate Nearest Neighbor Search
arxiv.org·1d
🗂️Vector Databases
Generalizing Monocular 3D Object Detection
arxiv.org·20m
🕳️Persistent Homology
DualSparse-MoE: Coordinating Tensor/Neuron-Level Sparsity with Expert Partition and Reconstruction
arxiv.org·1d
⧗Information Bottleneck