Limitations of a two-pass assembler
boston.conman.org·1d
📝Lisp
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·2d
📝Lisp
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·1d
🔗Parser Combinators
Flag this post
I Use AI
🧩Theorem Proving
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·3h
🎲Probabilistic Programming
Flag this post
The Hardest Bug to Fix Is Ambiguity
🧩Theorem Proving
Flag this post
Feeling the Vibes with Verifi
🧩Theorem Proving
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
🔗Parser Combinators
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·3h
🎲Probabilistic Programming
Flag this post
feenkcom/gtoolkit v1.0.2284
github.com·16h
👐Open Source Software
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·3h
🎲Probabilistic Programming
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·3h
🕸️Graph Theory
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.org·3h
🔢Mathematical Logic
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
🔗Parser Combinators
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·3h
🎲Probabilistic Programming
Flag this post
The Rise of AI-Driven Formal Methods: How Machine Learning Is Revolutionizing Software Verification in 2025
🧩Theorem Proving
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·3h
🎲Probabilistic Programming
Flag this post
Loading...Loading more...