My brief overview of Cangjie Programming Language by Huawei
codeabbey.com·2d·
Discuss: Hacker News, r/programming
🔄compilers
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·16h·
Discuss: Hacker News
⚙️systems programming
Irmin Retrospective
patrick.sirref.org·12h·
Discuss: Lobsters, Hacker News
🗄️databases
Toit: A modern high-level language designed specifically for microcontrollers
toitlang.org·12h·
Discuss: Hacker News
🔄compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·6d·
Discuss: Hacker News
✅formal methods
Parametric Matrix Models
nature.com·2d·
Discuss: Hacker News
✅formal methods
Why Tail-Recursive Functions Are Loops
kmicinski.com·1d·
Discuss: Hacker News
⚙️systems programming
Small LLMs can outperform GPT-4 at detecting jailbreaks
romaingrx.com·1d·
Discuss: Hacker News
✅formal methods
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
✅formal methods
Making a Font of My Handwriting
chameth.com·40m·
Discuss: Hacker News
🔄compilers
Oops Safari, I Think You Spilled Something
blog.exodusintel.com·1d·
Discuss: Lobsters, Hacker News
🔄compilers
The Soft Architecture of Meaning: Language Against Entropy
medium.com·10h·
Discuss: Hacker News
✅formal methods
Moving to Omarchy
public.3.basecamp.com·17h·
Discuss: Hacker News
🔄compilers
Benchmarks Show Speculative Decoding Needs the Right Draft Model for 3× Gains
bentoml.com·1d·
Discuss: Hacker News
⚡query optimization
ECMA-262, 16th edition, June 2025
262.ecma-international.org·6d·
Discuss: Hacker News
🔄compilers
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·13h·
Discuss: Hacker News
⚙️systems programming
Dear String-to-Integer Parsers
owl.billpg.com·2d·
Discuss: Hacker News
✅formal methods
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3d·
Discuss: Hacker News
✅formal methods
Show HN: VectorOps Know
vectorops.dev·2d·
Discuss: Hacker News
⚙️systems programming
LLM Evals Are Just Tests. Why Are We Making This So Complicated?
cameronwestland.com·49m·
Discuss: Hacker News
✅formal methods