🎭 Racket

Language-Oriented Programming, Macros, Educational, Contracts

Hyperlambda and Magic Cloud is 19 times faster than Python with Fast API
ainiro.io·1h·
Discuss: r/programming
🌙Lua
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.com·20h·
Discuss: Substack
🏷️Attribute Grammars
Flag this post
my journey to accepting that you wont know it all
blog.prdai.dev·19h·
Discuss: r/compsci, r/programming
🌈Gradual Languages
Flag this post
Learn AI-Assisted Programming With Junie: Free Courses From JetBrains Academy and Nebius
blog.jetbrains.com·3d
🎓Educational Compilers
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·2d·
Discuss: Lobsters, Hacker News, r/programming
🐪OCaml
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·19h·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
vibescaffold.dev·18h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Learning Xahau: Automating Reward Claims with Hooks and CronSet
dev.to·1d·
Discuss: DEV
🔄Copy Propagation
Flag this post
I Needed Date Math in Formulas, So I Built a Compiler (and Learned a Lot)
dev.to·4d·
Discuss: DEV
🦉Swift Interpreters
Flag this post
Tech With Tim: Python Skills You NEED Before Machine Learning
dev.to·2d·
Discuss: DEV
🔍ML Language
Flag this post
What is the most modern way to implement traits/multiple dispatch/multiple inheritance?
reddit.com·1d·
Discuss: r/cpp
🦀Rust Macros
Flag this post
Taming the Data Beast: Build Pipelines That Bend, Not Break by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📋JSON Parsing
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
AI Wins and Losses
dowski.com·1d
🎮Language Ergonomics
Flag this post
Information Literacy and Chatbots as Search
buttondown.com·18h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Hephaestus Dev: 5 ready-to-use AI workflows for software development (PRD→Code, Bug Fix, Feature Dev, and more)
reddit.com·2h·
Discuss: r/LocalLLaMA
⚡Live Coding
Flag this post
Show HN: Lamina – A compiler back end that is not LLVM or Cranelift
github.com·3d·
Discuss: Hacker News
🔧LLVM IR
Flag this post
Why We Chose Go to Rewrite Our DB-to-Elasticsearch Sync Tool
dev.to·5h·
Discuss: DEV
🐹Go Runtime
Flag this post
Multidimensional Rubric-oriented Reward Model Learning via Geometric Projection Reference Constraints
arxiv.org·2d
🔍ML Language
Flag this post
<p>**Abstract:** This research proposes a novel framework for automating talent matching and identifying skill gaps within the rapidly evolving cell-based agric...
freederia.com·1d
📈Earley Parsing
Flag this post