💻 Programming languages - emschwartz · Scour

Zig explores structured concurrency 🧵Async

·3d

Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong 📐TLA+

Building Semantic Version Control in Rust ⚙Rust Compiler Internals

therohansharma.com·5d·Hacker News

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places ⚙️Language Runtimes

github.com·1d·Hacker News

TypeScript Book 📘Typescript

gibbok.github.io·4d

Vector, the Journal of the British APL Association 🗂️Code Indexing

web.archive.org·5d·Hacker News

Watching .filter().sum() compile to the same assembly as a hand-rolled loop (Euler #1, three ways in Rust) 🔒Borrow Checker

heartit.tech·6d·r/rust

facebook/flow: Adds static typing to JavaScript to improve developer productivity and code quality. ✏️Code Editors

github.com·1d·r/rust

Previous Issues 📘Typescript

brokencomb.dev·4d

Python and C killer seekers rejoice ✏️Code Editors

news.ycombinator.com·4d·Hacker News

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework 🕯️Candle

argenkiwi/ambler-ts: Ambler implementation in Typescript with sample and initializer. 📘Typescript

github.com·2d·r/typescript

From Coalgebraic Determinization to Belief Construction for Partial Observability 🧠LLM Inference

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers ⚙️Language Runtimes

samchon/ttsc: A `typescript-go` toolchain for compiler-powered transforms and type-safe execution. 📘Typescript

github.com·6d·r/javascript, r/typescript

The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems 🧮SMT Solvers

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 🧩Types

Toward a Functional Geometric Algebra for Natural Language Semantics 🎯Semantic Tokens

From Syntax to Emotion: A Mechanistic Analysis of Emotion Inference in LLMs 🧠LLM Inference

Logic of Fuzzy Paths 🧮SMT Solvers

Log in to enable infinite scrolling