🖥️ 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·18h

🏗️Cranelift

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

pub.towardsai.net

·2d

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

riscv.org·10h

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

dev.to·2h·

Discuss: DEV

FlashAttention 4: Faster, Memory-Efficient Attention for LLMs

digitalocean.com·18h

🗺️Region Inference

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·11h

🪄C Metaprogramming

Designing a Programming Language for the Desert

futhark-lang.org·14h·

Discuss: Hacker News

🔄Bootstrapping

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·12h·

Discuss: r/cpp

🦀MIR Optimization

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

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·14h·

Discuss: Hacker News

🪢Rope Data Structures

Exploring Crystal macros: Building file-based routing for Kemal

krthr.co·10h·

Discuss: Hacker News

🔧Scheme Macros

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

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

dev.to·17h·

Discuss: DEV

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🎭Program Synthesis

Loading more...