Issue 506
haskellweekly.newsยท3d
Lightricks open-sources AI video model LTX-2, challenges Sora and Veo
the-decoder.comยท7h
Sparse attention 3 โ inefficiency of extracting similar content
kindxiaoming.github.ioยท4h
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.aiยท1m
Weekly Bookmarks
inkdroid.orgยท11h
Functional Optics for Modern Java
blog.scottlogic.comยท2d
macro based decorator in Clojure
clojure-diary.gitlab.ioยท1d
Exploring the Type System
gibbok.github.ioยท7h
Loading...Loading more...