The omnific integers are not like the integers after all
infinitelymore.xyz·13h
∀Quantified Types
Flag this post
Beeceptor - Rest & SOAP API Mock Server
beeceptor.com·6h
🌍HTTP Servers
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
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·1d·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·8h·
Discuss: Hacker News
⚖️Inference Rules
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.ai·6h·
Discuss: r/ClaudeAI
⚡Live Coding
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
Question about handling modifiers as resources.
reddit.com·2h·
Discuss: r/godot
📏Linear Logic
Flag this post
Help us benchmark Hephaestus on SWEBench-Verified! Watch AI agents solve real bugs + get credited in our report
reddit.com·21h·
Discuss: r/LocalLLaMA
🎯Symbolic Execution
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
What is SimHash?
dev.to·1d·
Discuss: DEV
🔗Hash Algorithms
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📋Backus-Naur Form
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
🚚Code Migration
Flag this post
Deciphering Human Language for Machines: A Developer's Guide to NLP
dev.to·2h·
Discuss: DEV
🧠Semantic Parsing
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
✨Gleam
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
🎲Parser Fuzzing
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·1h
🪜Recursive Descent
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·1d
🔗Memory Linearization
Flag this post