📚 Programming language theory - alex · Scour

CppCon 2025 Concept-based Generic Programming -- Bjarne Stroustrup 🧮Computer science

isocpp.org·14h

morganstanley/hobbes: A language and an embedded JIT compiler 🦀Rust programming language

github.com·2d·Hacker News

The Lobster Programming Language 🛠️Creative Coding Frameworks

PyCon US 2026 Typing Summit Recap 🧮Computer science

bernat.tech·5d·Lobsters, Hacker News

OpenCompass: A Universal Evaluation Platform for Large Language Models 🧮Computer science

Flat/Non-higher-order construction of ANF via mutable holes 🧮Computer science

blueberrywren.dev·6d

A primer on how large language model works 🧠Meta-creativity

mayijie.substack.com·3d·Substack

Why Category Theory Matters ⚙️systems theory

Kernl - Programming Language for LLMs 🦀Rust programming language

github.com·2d·r/ClaudeAI

A Computability Argument Against Superintelligence | Cognitive Computation 🧮Computer science

link.springer.com·6d

When can the C++ compiler devirtualize a call? 🦀Rust programming language

quuxplusone.github.io·3d·Lobsters, Hacker News

Furuta theorem in nLab 🧮Computer science

ncatlab.org·4d

Position: The Turing-Completeness of Real-World Autoregressive Transformers Relies Heavily on Context Management 🧮Computer science

I'm not mutable, I'm partially instantiated 🧮Computer science

news.ycombinator.com·4d·Hacker News

Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges 🧮Computer science

PRISM: A Benchmark for Programmatic Spatial-Temporal Reasoning 🧮Computer science

ERufian/ksharp: Vector calculator and language inspired on K 🛠️Creative Coding Frameworks

github.com·3d·Hacker News

Moving Beyond Type Systems 🧮Computer science

news.ycombinator.com·4d·Hacker News

Syntax Without Semantics: Teaching Large Language Models to Code in an Unseen Language 🧮Computer science

PratikDeoghare/brashtag: A notation for writing trees and a parser for it 🧮Computer science

github.com·6d·Hacker News

Log in to enable infinite scrolling