abnv's Feed · Scour

CS 6120: The Self-Guided Course

cs.cornell.edu·7h

🎓Teaching Compilers

Scheme-rs: R6RS Rust for the Rust ecosystem

scheme-rs.org·1d·

Discuss: r/rust

🏗️Cranelift

Large Language Models for Mortals book

andrewpwheeler.com·7m

Why am I learning Clojure Script?

clojure-diary.gitlab.io·9h

How Python Searches Data: Linear Search, Binary Search, and Hash Lookup

dev.to·6h·

Discuss: DEV

🔍Search Algorithms

wordchipper - my next-gen LLM tokenizer; looking for LTR release help

docs.rs·1d·

Discuss: r/rust

🔤Language Tokenizers

Redefining Go Functions

news.ycombinator.com·16h·

Discuss: Hacker News

🐹Go Internals

Varparser Reveals How LLM Log Parsing Benefits From Variable Data

quantumzeitgeist.com·1d

📊Log Parsers

Data Compression with Stochastic Codes

arxiv.org·1d

📦Compression Algorithms

How To Manage Complexity In UX - Smart Interface Design Patterns

mailchi.mp·16h

🎮Language Ergonomics

andywingo/wastrel: WebAssembly-to-C compiler

codeberg.org·1d

🌐WASM Runtimes

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·20h·

Discuss: r/rust

🦀MIR Optimization

Building a Terminal-Based AI Automation Pipeline with Claude Code Hooks + jq

youtube.com·5h·

Discuss: DEV

💻Terminal Control

Debugger Dedicated to Embedded Systems

hackster.io·2d

CSCI 49201 - Functional Programming in OCaml

a-nikolaev.github.io·5d·

Discuss: Hacker News

⚡functional programming

Interesting things about the Lua interpreter

thesephist.com·13h

Show HN: The Hidden Bit - A Game Based proof architecture for P vs. NP

vakofmaya.github.io·39m·

Discuss: Hacker News

🧩SAT Solvers

Sign up or login to customize your feed and get personalized topic recommendations

AFMTJ Model For In-Memory Computing (University of Arizona)

semiengineering.com·17h

🧠Memory Models

prettier/prettier: Prettier is an opinionated code formatter.

github.com·1d

✨Code Formatters

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1d

📜Proof Languages

Loading more...