🖥️ Lisp Machines - abnv · Scour

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·1d

📏Linear Scanning

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·22h

🏗️Cranelift

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

In Praise of APL (1977)

jsoftware.com·2h·

Discuss: Hacker News

🔬programming language theory

One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon

riscv.org·15h

weitianxin/Awesome-Agentic-Reasoning

github.com·1h

🤖Abstract Machines

FlashAttention 4: Faster, Memory-Efficient Attention for LLMs

digitalocean.com·23h

🗺️Region Inference

Decoupling the AI Stack: How to Architect a Production-Grade Local LLM System

dev.to·7h·

Discuss: DEV

Binary Algorithms

exystence.net·1d

📡Binary Protocols

Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility

arxiv.org·1d

Lisp for Microcontrollers

ulisp.com·3d·

Discuss: Hacker News

🔌Microcontrollers

GNU C Language Manual

gnu.org·15h

🪄C Metaprogramming

Designing a Programming Language for the Desert

futhark-lang.org·18h·

Discuss: Hacker News

🔄Bootstrapping

Using Local LLMs to Discover High-Performance Algorithms

towardsdatascience.com·2d

🦀MIR Optimization

ES6 Generators Deliver Go Style Concurrency

swannodette.github.io·1d

⚙️Async State Machines

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·21h·

Discuss: DEV

Why AI Needs GPUs and TPUs: The Hardware Behind LLMs

blog.bytebytego.com·2d

🗺️Region Inference

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·18h·

Discuss: Hacker News

🪢Rope Data Structures

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Exploring Crystal macros: Building file-based routing for Kemal

krthr.co·15h·

Discuss: Hacker News

🔧Scheme Macros

Loading more...