🎭 Racket

Language-Oriented Programming, Macros, Educational, Contracts

Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·1d·
Discuss: Lobsters, Hacker News, r/javascript
🗃️Query Compilation
Adlib's Compliance Focus Transforms Unstructured Documents into AI-Ready, Trusted Data
prnewswire.com·14h
🎮Language Ergonomics
Why you should be using pathlib (2018)
treyhunner.com·1d·
Discuss: Lobsters, Hacker News
🐍CPython Internals
[shi•rei] A new immediate-mode GUI framework for Go
judi.systems·1d·
Discuss: r/golang
💻Terminal UIs
Beyond the Prompt: A Developer's Playbook for Ethically Scaling B2B Content with GenAI
getmichaelai.com·2d·
Discuss: DEV
🎮Language Ergonomics
A rubber duck, even on acid, won't take your job
spikepuppet.io·1d·
Discuss: Hacker News
🎭Program Synthesis
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮Theorem Provers
Trying to Understand React, Part 2
reddit.com·1d·
Discuss: r/reactjs
🔧API Design
Agentic AI: Redefining Automation for Developers
teleglobals.com·1d·
Discuss: DEV
🎭Program Synthesis
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·2h
🧮Combinator Calculus
Comparing LSTM-Based Sequence-to-Sequence Forecasting Strategies for 24-Hour Solar Proton Flux Profiles Using GOES Data
arxiv.org·2h
🪜Recursive Descent
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.org·1d
🌱Minimal ML
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·2h
🗺️Region Inference
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·1d
🎭Erlang OTP
CCD-Bench: Probing Cultural Conflict in Large Language Model Decision-Making
arxiv.org·1d
🏗️MLIR
Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
arxiv.org·2d
💬Interactive REPLs
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment frm Heterogeneous Rewards
arxiv.org·1d
🔍ML Language
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.org·1d
🪜Recursive Descent
🤖 Edenred Invoice Assistant – Serverless AI Chatbot for Invoice & Payment Support
dev.to·1d·
Discuss: DEV
📡Erlang BEAM
CARE: Cognitive-reasoning Augmented Reinforcement for Emotional Support Conversation
arxiv.org·2h
🔗Lexical Scoping