NetHack4 Philosophy
🔲Cellular Automata
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
🧩Parser Combinators
Flag this post
Why your AI evals keep breaking
👁️System Observability
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
🤖Program Synthesis
Flag this post
Speedrunning an RL Environment
🎮Verification Games
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
🏃Escape Analysis
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·14h
📦OPAM
Flag this post
IVGAE-TAMA-BO: A novel temporal dynamic variational graph model for link prediction in global food trade networks with momentum structural memory and Bayesian o...
arxiv.org·14h
🕸️Graph Theory
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🔤Language Design
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·14h
🧠Automated Reasoning
Flag this post
Towards Automated Petrography
arxiv.org·14h
🔲Cellular Automata
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
✓Automated Theorem Proving
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·14h
👁️Observability
Flag this post
Loading...Loading more...