🧮 Computer science - alex · Scour

Different models solve number-theory race problem 📚Programming language theory

aicc.rayonnant.ai·4d·Hacker News

fuentesamurai/ensemble-bias-detector: Property-based bias detectors for voting ensembles 👁️computer vision

github.com·16h·Hacker News

Zero a Language for Humans and Robots 📚Programming language theory

zero-lang.com·2d·Hacker News

Common Lisp names all sixteen binary logic gates 📚Programming language theory

cs.cmu.edu·2d·Hacker News

CodeSpectra The Illusion of Easy Coding: Why AI Still Demands Effort 📚Programming language theory

blog.ptidej.net·4d·Hacker News

Show HN: A sparse, compressed bitmap index in C. Better than Roaring Bitmaps? 🛠️Creative Coding Frameworks

codeberg.org·22h·Lobsters, Hacker News

Optimizing Code with AI 📚Programming language theory

spectralcore.com·1d·Hacker News

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp 📚Programming language theory

hyperpolyglot.org·3d·Lobsters, Hacker News

Designing Data-Intensive Applications in 2026: An Architectural Retrospective 🌐Distributed systems

khola.blog·1d·Hacker News

Lambda Diagrams 📚Programming language theory

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

Loop Fission and Fusion 📚Programming language theory

en.wikipedia.org·3d·Hacker News

Bending, Yanking, and Cartesian Squares in Double Categories 📚Programming language theory

bartoszmilewski.com·1d·Hacker News

Show HN: X open sourced their algorithm 👁️computer vision

xalgorithm.xyz·4d·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean 📚Programming language theory

jameshaydon.github.io·1d·Lobsters, Hacker News, r/programming

The cut in the Mixture of Experts compute graph 🌐Distributed systems

idlemachines.co.uk·1d·Hacker News

The latest 𝕏 algorithm has been published to GitHub https://github.com/xai-org/x-algorithm 👁️computer vision

twitter.com·4d·Hacker News, X

Building Vector Similarity Search in PostgreSQL with Pgvector 👁️computer vision

machinelearningmastery.com·1d·Hacker News

Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs 📚Programming language theory

co-tok.github.io·1d·Hacker News

Math, Bits, Magic, and a Bit of Abnormal C Programming 📚Programming language theory

alexeev-dev.bearblog.dev·3d·Hacker News

A shallow dive into formal verification 📚Programming language theory

vitalik.eth.limo·1d·Hacker News, Hacker News

Log in to enable infinite scrolling