My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Tea-Fi Redefines DeFi: One SuperApp. Infinite Yield. Powered by $TEA
hackernoon.com·17h
🔬Unikernels
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·9h
👁️System Observability
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Structure-Preserving Physics-Informed Neural Network for the Korteweg--de Vries (KdV) Equation
arxiv.org·1d
🔲Cellular Automata
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·1d
❓Existential Types
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·1d
🧩Parser Combinators
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·1d
🔲Cellular Automata
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
🎮Verification Games
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·30m
🛡️seL4
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·7h
🐫Embedded OCaml
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·2d
📝Term Rewriting
Flag this post
Loading...Loading more...