progscrape: ferd.ca/beating-the-cap-theorem-checklist.html

Beating the CAP theorem checklist (2013)

8 months ago ferd.ca

CAP Theorem Explained : The Simplest Explanation!

2 days ago scortier.substack.com

Rich Text, Poor Text (2013)

9 days ago laemeur.sdf.org

A Blueprint for Fermat’s Last Theorem

7 days ago imperialcollegelondon.github.io math

Lawmakers Propose Cap on Credit Card Interest Rates

9 days ago businessinsider.com usa

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

4 days ago personal.cis.strath.ac.uk haskell pdf

Gemini 2.5 gets 24.4% on MathArena USAMO beating previous top score of 4.7%

9 days ago matharena.ai

Kids can't use computers and this is why it should worry you (2013)

37 hours ago coding2learn.org

AI: Where in the Loop Should Humans Go?

34 days ago ferd.ca ai go

Completing One of the Checklist Tasks!

41 days ago youtube.com rust

Atom vs. RSS (2013)

15 days ago nullprogram.com browsers web

Is Cap'n Proto Event Loop Friendly?

27 days ago hire.jonasgalvez.com.br javascript nodejs

Show HN: Beating Pokemon Red with RL and <10M Parameters

37 days ago drubinstein.github.io ai show

The Night Watch (2013) [pdf]

30 days ago usenix.org pdf

Statistical Formulas for Programmers (2013)

29 days ago evanmiller.org

Teach, Don't Tell (2013)

26 days ago stevelosh.com

The Business of Phish (2013)

23 days ago priceonomics.com

Lemma for the Fundamental Theorem of Galois Theory

27 days ago susam.net

PeanoScript: TypeScript but it's a theorem prover

21 days ago peanoscript.mjgrzymek.com formalmethods javascript typescript

Starlink Imposes Dramatic Speed Cap for Those on Priority Plans

22 days ago pcmag.com

Starlink Imposes Dramatic Speed Cap for Those on Priority Plans

21 days ago au.pcmag.com

A Testament to X11 Backwards Compatibility (2013)

18 days ago theresistornetwork.com

The Logic of Stupid Poor People (2013)

16 days ago tressiemc.com

When Crocodiles Attack: The Ramree Island Massacre (2013)

35 days ago atlasobscura.com

Learn You Some Erlang for Great Good (2013)

26 days ago learnyousomeerlang.com erlang

Gödel's theorem debunks the most important AI myth – Roger Penrose [video]

40 days ago youtube.com ai video

I made PeanoScript, an educational TypeScript-like theorem prover for first-order logic + Peano arithmetic

21 days ago peanoscript.mjgrzymek.com

CAP Theorem explained with a horse and carriage

50 days ago asksiri.us

Automatic compiler-generated code beating or matching FlashAttention!

2 months ago reddit.com compiler

Noether's Theorem Revolutionized Physics

2 months ago quantamagazine.org

Noether's Theorem and Machine Learning

59 days ago lee-phillips.org

>progscrape ▒

All the news that's fit to scrape

Beating the CAP theorem checklist (2013)

CAP Theorem Explained : The Simplest Explanation!

Rich Text, Poor Text (2013)

A Blueprint for Fermat’s Last Theorem

Lawmakers Propose Cap on Credit Card Interest Rates

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

Gemini 2.5 gets 24.4% on MathArena USAMO beating previous top score of 4.7%

Kids can't use computers and this is why it should worry you (2013)

AI: Where in the Loop Should Humans Go?

Completing One of the Checklist Tasks!

Atom vs. RSS (2013)

Is Cap'n Proto Event Loop Friendly?

Show HN: Beating Pokemon Red with RL and <10M Parameters

The Night Watch (2013) [pdf]

Statistical Formulas for Programmers (2013)

Teach, Don't Tell (2013)

The Business of Phish (2013)

Lemma for the Fundamental Theorem of Galois Theory

PeanoScript: TypeScript but it's a theorem prover

Starlink Imposes Dramatic Speed Cap for Those on Priority Plans

Starlink Imposes Dramatic Speed Cap for Those on Priority Plans

A Testament to X11 Backwards Compatibility (2013)

The Logic of Stupid Poor People (2013)

When Crocodiles Attack: The Ramree Island Massacre (2013)

Learn You Some Erlang for Great Good (2013)

Gödel's theorem debunks the most important AI myth – Roger Penrose [video]

I made PeanoScript, an educational TypeScript-like theorem prover for first-order logic + Peano arithmetic

CAP Theorem explained with a horse and carriage

Automatic compiler-generated code beating or matching FlashAttention!

Noether's Theorem Revolutionized Physics

Noether's Theorem and Machine Learning

All the news that's fit to scrape

Related Stories