📐 Linear Algebra - oxume · Scour

How effective are current AI models on mathematical research problems? 🔵Julia

mathscholar.org·5d

NHL 2025-26 Stanley Cup playoff chances and projected standings 🏒Hockey

nytimes.com

·2d

The Empty Middle of AI Coding 🔵Julia

xificurc.github.io·16h·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis ✅Formal Methods

yogthos.net·7h·Lobsters, Hacker News

Shortest-Path FFT: Optimal SIMD Instruction Scheduling via Graph Search 🔵Julia

arxiv.org·2d

🥚 STE.GG 🦕 🔵Julia

ste.gg·4d

DeiMOS – A Superoptimizer for the MOS 6502 🔵Julia

news.ycombinator.com·23h·Hacker News

All of the String types 🔤Typography

lambdalemon.gay·1d·Lobsters, Hacker News

stricline: A meta-framework to help you easily build robust CLI apps with stricli 🔵Julia

npmx.dev·19h·Lobsters

Dozen 🔵Julia

davidyat.es·2d

Formal Methods ✅Formal Methods

formalmethods.dk·6d·Lobsters

Full Text Search with IndexedDB 🔗Link Curation

blog.jmp.chat·15h·Lobsters, Hacker News

Clojure on Fennel part one: Persistent Data Structures 🔵Julia

andreyor.st·2d·Lobsters, Hacker News

Value numbering 🔵Julia

bernsteinbear.com·5d·Lobsters, Hacker News

Mar 16 2026 to April 06 🔌Embedded Systems

noisydeadlines.net·2d

Capitals @ Rangers: How the Game Was Lost 🏒Hockey

japersrink.com·2d

Floating dragons: Floating point from scratch 🔵Julia

essenceia.github.io·6d·Lobsters, Hacker News, Hacker News, r/programming

Wet Sidewalks and Odd Numbers 🔵Julia

philcrissman.net·1d·Lobsters

Activating Two Trap Cards at Once, or: A Gentle Response to the Popularity of Vibecoding 🔵Julia

gist.github.com·6d·Lobsters, Hacker News

PaddleOCR – OCR and document-parsing toolkit 🔤Typography

linuxlinks.com·2d

Loading more...