Discrete Mathematics Without Formulas – Lectures Without a Board
archive.org·3h·
Discuss: Hacker News
📐Mathematical Computing
Cerebras and Docker Compose: Building Isolated AI Code Environments
cerebras.ai·17h
🌱Forth Kernels
Reworking Memory Management in CRuby
railsatscale.com·14h·
Discuss: Hacker News
🧠Memory Allocators
De-risking investment in AI agents - MIT Technology Review
news.google.com·1d
🌲Deforestation
Chapter 1: LLM Fundamentals
cline.ghost.io·1d
🎮Language Ergonomics
3-tier-architecture with vertical slice, how to model relationships between entities?
reddit.com·1h·
Discuss: r/golang
🐹Go Runtime
Stumbling into AI: Part 4—Terminology Tidy-up (and a little rant)
rmoff.net·1d
🌱Minimal ML
Perception Before Reasoning: Two-Stage Reinforcement Learning for Visual Reasoning in Vision-Language Models
arxiv.org·13h
🎯Finite Automata
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.org·13h
🔗Unification
Java 25 Is Here - What's New?
i-programmer.info·2h
Interpreter Optimization
What is Algebraic about Algebraic Effects?
interjectedfuture.com·2d·
Discuss: Hacker News
💫Effect Systems
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
💾Cache Algorithms
Chameleon AI: Blending In for Robust Predictions by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
InPhyRe Discovers: Large Multimodal Models Struggle in Inductive Physical Reasoning
arxiv.org·13h
🌱Minimal ML
MAUI: Reconstructing Private Client Data in Federated Transfer Learning
arxiv.org·1d
🔍Lens Libraries
Shapes of Cognition for Computational Cognitive Modeling
arxiv.org·13h
Type Checking
RU-Net for Automatic Characterization of TRISO Fuel Cross Sections
arxiv.org·13h
📋JSON Parsing
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·2d
🗺️Region Inference
Beyond Smart: Parallel AI for Robots That *Truly* Understand
dev.to·1d·
Discuss: DEV
🔄Subinterpreters