NetHack4 Philosophy
🔲Cellular Automata
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🧩Parser Combinators
Flag this post
Feature Importance Guided Random Forest Learning with Simulated Annealing Based Hyperparameter Tuning
arxiv.org·21h
📐Linear Algebra
Flag this post
Solving a problem with mindware
lesswrong.com·1d
🔲Cellular Automata
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·21h
✓Automated Theorem Proving
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·21h
📚Automata Learning
Flag this post
From searching to solving: how Vector Databases transform product discovery
🔢Algebraic Data Types
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
📚Automata Learning
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.com·1d
🐫Embedded OCaml
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·1d
🔲Cellular Automata
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·21h
🧩Parser Combinators
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·21h
🔍CBMC
Flag this post
Artificial Intelligence in Elementary STEM Education: A Systematic Review of Current Applications and Future Challenges
arxiv.org·21h
🎯Complexity Classes
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·21h
📚Automata Learning
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·15h
🧪Property-Based Testing
Flag this post
Loading...Loading more...