📐 Language Theory - cpt · Scour

LLM 0.32a0 is a major backwards-compatible refactor 🧩programming

simonwillison.net·6d·Hacker News

Bun (the js runtime) is being vibe-ported from zig to rust 🧩programming

github.com·1d·Lobsters, Hacker News

Rational Communication Shapes Morphological Composition ⚙️Compilers

A formulation of D-institution using functor categories ⚙️Compilers

Natural Language Processing: A Comprehensive Practical Guide from Tokenisation to RLHF ⚙️Compilers

Towards Definitional Interpreters for Hoare Logics ⚙️Compilers

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic) ⚙️Compilers

Induction rules for Transition Algebra 🧩programming

The Algebra of Iterative Constructions ⚙️Compilers

Information Theory and Statistical Learning ⚙️Compilers

PHANTOM: Polymorphic Honeytoken Adaptation with Narrative-Tailored Organisational Mimicry 🧩programming

Analysis and Explainability of LLMs Via Evolutionary Methods ⚙️Compilers

Proteo-R1: Reasoning Foundation Models for De Novo Protein Design 🧩programming

Type Theory With Erasure 🧩programming

Revisiting Graph-Tokenizing Large Language Models: A Systematic Evaluation of Graph Token Understanding ⚙️Compilers

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs ⚙️Compilers

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL 🧩programming

Rose-SQL: Role-State Evolution Guided Structured Reasoning for Multi-Turn Text-to-SQL ⚙️Compilers

Static Analysis of Recursive SHACL 🧩programming

An ERP Study of Recursive Possessive Parsing in ASD Children and Its Cognitive Neuro Mechanisms ⚙️Compilers

Log in to enable infinite scrolling