⚙️ Abstract Machines - tiferrei · Scour

JailWAM: Jailbreaking World Action Models in Robot Control 🤖Robotics

arxiv.org·6d

APL: Evaluator for a Subset of Scheme 🐫OCaml

dfns.dyalog.com·2d·Hacker News

The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages 🔤DSLs

iqiipi.com·59m·Lobsters

Brumbelow/uninum: A unified symbolic-numeric expression runtime for Python where all elementary functions are created from a single operator 🔢Algebraic Data Types

github.com·6h·Hacker News

Circuit Transformations, Loop Fusion, and Inductive Proof 🏹Effect Systems

natetyoung.github.io·1d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Operational Self-Improvement in a Frozen 14B Language Model on Consumer Hardware: Autonomous Reasoning Constraint Generation, Architectural Diagnosis, and the MERRCURR Pipeline 🧮Z3

zenodo.org·2d·Hacker News

A Dumb Introduction to z3 🧮Z3 Solver

ar-ms.me·1d·Lobsters, Hacker News

Algorithms for Modern Hardware 🔀OCaml Multicore

en.algorithmica.org·5d·Hacker News

Automatic Vectorization 📐Linear Algebra

en.wikipedia.org·2d·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔍CBMC

pvk.ca·5d·Hacker News

Running the first program 💻CS

enigmaticcode.wordpress.com·1d·Lobsters

Object Oriented Programming in Ada 🔬Static Analysis

entropicthoughts.com·1d·Lobsters, Hacker News

research!rsc: Yacc is Not Dead 🧩Parser Combinators

research.swtch.com·5d·Lobsters

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

The acyclic e-graph: Cranelift's mid-end optimizer 🔧ppx

cfallin.org·4d·Lobsters, Hacker News, r/rust

Bootstrapping Sign Language Annotations with Sign Language Models 🧠Apple Neural Engine

arxiv.org·4d

Giving LLMs a Formal Reasoning Engine for Code Analysis 🧠Automated Reasoning

yogthos.net·6d·Lobsters, Hacker News

Compact Compact Language Detector ⚙️Compiler Design

andriydruk.com·3d·Hacker News

Roc: Fast 🔬Static Analysis

roc-lang.org·6d·Hacker News

Loading more...