Practical Linear Algebra: A Geometry Toolbox
farinhansford.com·4h
🧮Linear Algebra
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.com·1d
📦Dependency Analysis
A tutorial for the Mercury programming language
sebastian.graphics·4d·
Discuss: Hacker News
🧩Prolog
Issue 491
haskellweekly.news·5d
⚡functional programming
A beginner who just started learning Rust
forgestream.idverse.com·1d·
Discuss: r/rust
🦀Rust Macros
An Experiment with AI Assisted Web Development
dev.to·18h·
Discuss: DEV
⚡Live Coding
Making sense of parameter-space decomposition
lesswrong.com·3d
🔢Algebraic Datatypes
The Immutable Key Mystery: What Makes a Dictionary Key Valid
dev.to·1d·
Discuss: DEV
📋Row Typing
Localizing Task Recognition and Task Learning in In-Context Learning via Attention Head Analysis
arxiv.org·15h
🌱Minimal ML
Singleton-Optimized Conformal Prediction
arxiv.org·15h
🗺️Region Inference
The QCET Taxonomy of Standard Quality Criterion Names and Definitions for the Evaluation of NLP Systems
arxiv.org·1d
🎯Finite Automata
What I Learned Building a Web-Native Programming Language
reddit.com·1d·
Discuss: r/programming
🎮Language Ergonomics
Correct Reasoning Paths Visit Shared Decision Pivots
arxiv.org·1d
🧮Theorem Provers
Show HN: Cypress Copilot
github.com·1d·
Discuss: Hacker News
🚂Cranelift IR
MARCOS: Deep Thinking by Markov Chain of Continuous Thoughts
arxiv.org·15h
🪜Recursive Descent
Bridging the Knowledge-Prediction Gap in LLMs on Multiple-Choice Questions
arxiv.org·15h
🔍ML Language
TabText: Language-Based Representations of Tabular Health Data for Predictive Modelling
arxiv.org·15h
🌱Minimal ML
Research introduces a comprehensive, ranked catalog of over 100 code quality defects in introductory programming, validated by an educator survey and analyzed f...
dl.acm.org·2d
📚Self-Documenting Code
Socratic-Zero : Bootstrapping Reasoning via Data-Free Agent Co-evolution
arxiv.org·15h
🔍ML Language
Robust Preference Optimization: Aligning Language Models with Noisy Preference Feedback
arxiv.org·15h
🪜Recursive Descent