The omnific integers are not like the integers after all
infinitelymore.xyz·5h
∀Quantified Types
Flag this post
Bloom filters are good for search that does not scale
notpeerreviewed.com·1d·
Discuss: Hacker News, r/programming
🌸Bloom Indexing
Flag this post
Frozen in Place
economics.bmo.com·1d·
Discuss: Hacker News
🔄Subinterpreters
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·1h·
Discuss: Hacker News
⚖️Inference Rules
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
Empirical Characterization Testing
blog.ploeh.dk·1d
🧪Compiler Testing
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·18h
⚡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·14h·
Discuss: r/LocalLLaMA
🎯Symbolic Execution
Flag this post
A Practical Guide to Building AI Agents With Java and Spring AI - Part 1 - Create an AI Agent
dev.to·10h·
Discuss: DEV
🎨Domain-Specific Languages
Flag this post
Perl 🐪 Weekly #745 - Perl IDE Survey
dev.to·1d·
Discuss: DEV
🔗Language Toolchains
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·7h·
Discuss: r/rust
🚂Cranelift Backend
Flag this post
Why Agentic AI Struggles in the Real World — and How to Fix It
dev.to·12h·
Discuss: DEV
🔄Subinterpreters
Flag this post
Unlock clearer Rust dependency insight with dep-insight
dev.to·52m·
Discuss: DEV
🦀MIR Optimization
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·18h
📋Tablegen
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
dev.to·3h·
Discuss: DEV
📊Query Optimizers
Flag this post
Building We Build Forest: A Side Project to Reforest the Planet - with some JS
dev.to·1d·
Discuss: DEV
🌲Deforestation
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·18h
📋Backus-Naur Form
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·2d·
Discuss: Hacker News
🏷️Memory Tagging
Flag this post
What is SimHash?
dev.to·1d·
Discuss: DEV
🔗Hash Algorithms
Flag this post