Fast and Simple Rust Interner
matklad.github.io·18h
🦀Rust Verification
Philips Hue White Ambiance is actually terrible…
wejn.org·1d
🔓Reverse engineering
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·1d·
Discuss: Hacker News
🏛Digital humanities
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·1d·
Discuss: Hacker News
🔗Constraint Handling
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·1d
🌊Stream Processing
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.org·2d
🔨Compilers
Building Smarter Systems with AI Agent Builders
dev.to·3h·
Discuss: DEV
🌍Cultural Algorithms
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·1d
🔗Topological Sorting
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·3d
✨Effect Handlers
Building an Open Floor Parrot Agent
dev.to·2h·
Discuss: DEV
⚡gRPC
Understanding the Basics: Linear Equations and Matrices
dev.to·2d·
Discuss: DEV
📐Linear Algebra
Functional Abstract Interpretation
simon.peytonjones.org·4d·
Discuss: Hacker News
🔗Functional Compilers
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·1d
🔍Information Retrieval
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
[D] Signal/Info Processing Vs. ML Specializations in Master-Level Programs
reddit.com·18h·
Discuss: r/MachineLearning
🧠Machine Learning
Introduction: AI Terminology
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·1d
💻Programming languages
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·1d
🌳Context free grammars
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·22h
📊Learned Metrics
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·4d
🧠Computational Logic