λ Functional Programming - Arash · Scour

Deutsch–Jozsa Algorithm 🔐Cryptography

en.wikipedia.org·6d·Hacker News

Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon ⚙️Systems Programming

arxiv.org·4d·Hacker News

KEncode: Packing Data for Strict Limits 📚Self-Documenting Code

Show HN: Jigs-tiny Rust framework for interactive maps of composable pipelines 📚Self-Documenting Code

github.com·4d·Hacker News

Previous Issues 📚Self-Documenting Code

brokencomb.dev·4d

Where Optimizations Come From ⚙️Systems Programming

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

Universal Transformers Need Memory: Depth-State Trade-offs in Adaptive Recursive Reasoning ♟️Game Theory

arxiv.org·4d·Hacker News

EsoBench: Learning a Novel Esolang via Iterative Execution Feedback 📚Self-Documenting Code

caseys-evals.com·4d·Hacker News

The Coalton Programming Language 📚Self-Documenting Code

coalton-lang.github.io·6d·Hacker News

Go quirks: function closures capturing mutable references 📚Self-Documenting Code

rednafi.com·6d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 📚Self-Documenting Code

github.com·17h·Hacker News

Show HN: CSP Benchmarks – Go vs. core.async (Clojure) vs. libgoc (C) 🕸️WebAssembly

github.com·6d·Hacker News

Training a Transformer to Compose One Step Per Layer (and Proving It) 🤖Machine Learning

lesswrong.com·4d

KimlikDAO/kdts: A TypeScript compiler with type-driven optimizations 📚Self-Documenting Code

github.com·2d·Hacker News

dmiller-fork/libkr: A library of the examples from the c programming language by Kernighan and Ritchie 📚Self-Documenting Code

github.com·3d·Hacker News

Trace – a compiled language where every value knows why it has its value 📚Self-Documenting Code

github.com·6d·Hacker News

No more posts from Arash's subscribed feeds.

Scour all 24433 feeds Learn more about Feeds

Log in to enable infinite scrolling