Bloom filters are good for search that does not scale
notpeerreviewed.com·20h·
Discuss: Hacker News, r/programming
🌸Bloom Indexing
Flag this post
Frozen in Place
economics.bmo.com·22h·
Discuss: Hacker News
🔄Subinterpreters
Flag this post
Empirical Characterization Testing
blog.ploeh.dk·1d
🧪Compiler Testing
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·23h·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·3h·
Discuss: Hacker News
🌲Deforestation
Flag this post
Quietly intelligent app features with OpenAI Agent Builder
ashryan.io·9h
🎭Program Synthesis
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·5d·
Discuss: Hacker News, r/rust
🔒Rust Borrowing
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·2d·
Discuss: DEV
🎭Polymorphic Variants
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·11h
🚚Code Migration
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·11h
🚀Code Motion
Flag this post
Building a tool to normalize messy support chat data for fine-tuning - would this help you?
reddit.com·1d·
Discuss: r/LLM
🔤Language Tokenizers
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·11h
⚡Partial Evaluation
Flag this post
Help us benchmark Hephaestus on SWEBench-Verified! Watch AI agents solve real bugs + get credited in our report
reddit.com·7h·
Discuss: r/LocalLLaMA
🎯Symbolic Execution
Flag this post
Discovering JavaScript's Hidden Secrets: Understanding String Matching Algorithms.
dev.to·5d·
Discuss: DEV
🔤String Algorithms
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
reddit.com·39m·
Discuss: r/rust
🚂Cranelift Backend
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·3d·
Discuss: r/golang
🔧API Design
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·11h
📋Tablegen
Flag this post
A Practical Guide to Building AI Agents With Java and Spring AI - Part 1 - Create an AI Agent
dev.to·3h·
Discuss: DEV
🎨Domain-Specific Languages
Flag this post