The omnific integers are not like the integers after all
infinitelymore.xyz·2h
∀Quantified Types
Flag this post
Frozen in Place
🔄Subinterpreters
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
🔮Metacircular Evaluators
Flag this post
Quietly intelligent app features with OpenAI Agent Builder
ashryan.io·12h
🎭Program Synthesis
Flag this post
Empirical Characterization Testing
blog.ploeh.dk·1d
🧪Compiler Testing
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🎭Program Synthesis
Flag this post
Perl 🐪 Weekly #745 - Perl IDE Survey
🔗Language Toolchains
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·14h
🚚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·14h
🚀Code Motion
Flag this post
Building a tool to normalize messy support chat data for fine-tuning - would this help you?
🔤Language Tokenizers
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
📐Mathematical Computing
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·14h
⚡Partial Evaluation
Flag this post
Help us benchmark Hephaestus on SWEBench-Verified! Watch AI agents solve real bugs + get credited in our report
🎯Symbolic Execution
Flag this post
Discovering JavaScript's Hidden Secrets: Understanding String Matching Algorithms.
🔤String Algorithms
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
🚂Cranelift Backend
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
🔧API Design
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·14h
📋Tablegen
Flag this post
Loading...Loading more...