Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·4h
📊Graph Databases
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
BNFGen: A random text generator based on context-free grammars
baturin.org·37m·
Discuss: Hacker News
🌳Context free grammars
Is SPL more difficult or easier than SQL?
github.com·9h·
Discuss: Hacker News
⛏️SQL Archaeology
Scaling Pinterest ML Infrastructure with Ray: From Training to End-to-End ML Pipelines
medium.com·1d·
Discuss: Hacker News
🧮Z3 Applications
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·19h·
Discuss: Hacker News
🦀Rust Macros
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·1d
🎯Performance Proofs
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·21h
🔄Burrows-Wheeler
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·10h
⬆️Lambda Lifting
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
An All-Around Better Horse
patrickhebron.com·44m·
Discuss: Hacker News
🧠Knowledge Management
Introducing ZMatrix: High-Performance Tensor Operations for PHP
dev.to·18h·
Discuss: DEV
⚡SIMD Vectorization
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Quantum k-SAT Related Hypergraph Problems
arxiv.org·2d
⚛️Quantum Algorithms
Failure Modes of AI-Powered Engineering (2024)
bertolami.com·1d·
Discuss: Hacker News
✨Effect Handlers