The Development of Pie
🔀Brzozowski Derivatives
Flag this post
I Taught an AI to Dream
🔲Cellular Automata
Flag this post
We need to give LLMs human-like vision
📚Automata Learning
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
🔨Compilers
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
⏱️Computational Complexity
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
💎Refinement Types
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.org·38m
🔢Algebraic Data Types
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·1d
🧩Separation Logic
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
🔄Reproducible Builds
Flag this post
Real-Time Process Optimization via Adaptive Bayesian Reinforcement Learning and Multi-Objective Genetic Algorithms
🩹Self-Healing Systems
Flag this post
Multi-refined Feature Enhanced Sentiment Analysis Using Contextual Instruction
arxiv.org·1d
🧩Parser Combinators
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
LGCC: Enhancing Flow Matching Based Text-Guided Image Editing with Local Gaussian Coupling and Context Consistency
arxiv.org·38m
🔀OCaml Multicore
Flag this post
Loading...Loading more...