🎭 Racket

Language-Oriented Programming, Macros, Educational, Contracts

Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
arxiv.org·4h
💬Interactive REPLs
Build a Text-to-SQL System: A Guide to Replicating Pinterest’s Approach
analyticsvidhya.com·1d
💾Minimal Databases
DanielSant0s/AthenaEnv
github.com·1d
📝Rope Editors
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·4h
📋Souffle Datalog
Four years, Five failures, One compiler
daymare.net·23h·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Recent AI Experiences
lesswrong.com·2d
📝Rope Editors
The Inverse Matrix problem
talesfrom.dev·8h
🚂Error Propagation
A grand week
blog.mitrichev.ch·19h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
TurtleSPACES – Learn to Code in a Visual World Where Creativity Meets Logic
turtlespaces.org·19h·
Discuss: Hacker News
🐣Hedy
Why a C++ Systems Engineer is Learning Machine Learning
dev.to·2d·
Discuss: DEV
🔍ML Language
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·33m·
Discuss: DEV
🌊Streaming Lexers
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·5h·
Discuss: Hacker News
🎭Program Synthesis
Build AI Agents That Actually Do Things: PowerShell Function Calling in Action
dfinke.github.io·23h
🎭Program Synthesis
Automatic Building Code Review: A Case Study
arxiv.org·4h
📦Dependency Analysis
📱 React Native at Scale: Lessons from 100K+ Users
dev.to·15h·
Discuss: DEV
🏛️Elm Architecture
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·2h·
Discuss: Hacker News
⚡Cache Optimization
Understanding the KV Cache (feat. Self-Attention)
dev.to·1h·
Discuss: DEV
🔄Subinterpreters
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🔍ML Language
Prompting Techniques for Specialised LLMs
dev.to·16h·
Discuss: DEV
🎮Language Ergonomics