Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙Functional Programming
Chromahack, a programming language
blog.libove.org·15h
🔧Compiler Design
Show HN: List of Clojure-Like projects
github.com·16h·
Discuss: Hacker News
🔧Compiler Design
Tri-70B-preview-SFT: New 70B Model (Research Preview, SFT-only)
reddit.com·1d·
Discuss: r/LLM
🔧Compiler Design
Optimizing training a GPT style Tokenizer with C++
justinhj.github.io·3d
🔧Compiler Design
LLM Inference: Core Bottlenecks Imposed By Memory, Compute Capacity, Synchronization Overheads (NVIDIA)
semiengineering.com·18h
⚖️Logic Programming
AI Prompt as a Terminal: A Universal Prompt to Learn Anything
dev.to·2h·
Discuss: DEV
🧩Theorem Proving
Machine Learning Fundamentals: loss function
dev.to·19h·
Discuss: DEV
🎲Probabilistic Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
A Sound Change That Never Was.
languagehat.com·22h
🔧Compiler Design
Step3
stepfun.ai·1d·
Discuss: Hacker News
🏗Computer Architecture
RAG: The System Works (Terms and Conditions Apply)
esrmnt.bearblog.dev·7h
👐Open Source Software
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·1d·
Discuss: r/LocalLLaMA
🧮Programming Language Theory
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
This web framework was built by Claude
rgk.io·17h·
Discuss: Hacker News
🏗️Software Architecture
RELEASING KARL DOCS
karldocs.netlify.app·29m·
Discuss: DEV
🎲Probabilistic Programming
If Odin Had Macros
gingerbill.org·1d·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
MLE-STAR: A state-of-the-art machine learning engineering agents
research.google·1d
🎲Probabilistic Programming
Python Itertools: Master Complex and Efficient Iterators in 2025
dev.to·2d·
Discuss: DEV
⚙Functional Programming
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory