marvinborner on Hacker News

1

Genesis Mission (US Government) [video] (opens in new tab)

(youtube.com)

3marvinborner2d ago1

2

The Par Programming Language (opens in new tab)

(par.run)

4marvinborner6d ago0

3

Artemis II Photo Timeline (opens in new tab)

(artemistimeline.com)

12marvinborner11d ago1

4

Generative AI Vegetarianism (opens in new tab)

(sboots.ca)

40marvinborner12d ago55

5

To my students (opens in new tab)

(ozark.hendrix.edu)

334marvinborner12d ago199

6

Lambda Calculus Benchmark for AI (opens in new tab)

(victortaelin.github.io)

143marvinborner15d ago43

7

Effectful Recursion Schemes (opens in new tab)

(effekt-lang.org)

40marvinborner20d ago2

8

US national level OS-level age verification bill (opens in new tab)

(social.coop)

113marvinborner25d ago2

9

Optimal Strategy for Connect 4 (opens in new tab)

(2swap.github.io)

318marvinborner1mo ago33

10

Geo-Strategy #8: The Iran Trap [video] (opens in new tab)

(youtube.com)

4marvinborner1mo ago0

11

Fibonacci slop is out of control [video] (opens in new tab)

(youtube.com)

1marvinborner1mo ago0

12

A Big Pharma Company Stalled a Potentially Lifesaving Vaccine (opens in new tab)

(propublica.org)

8marvinborner1mo ago1

13

Squeezing π from 122 Bits of Lambda Calculus (opens in new tab)

(text.marvinborner.de)

3marvinborner1mo ago0

14

Infinitely Recursive Game of Life (opens in new tab)

(oimo.io)

2marvinborner1mo ago0

15

In Search of Wikipedia's Shrug Guy (2023) (opens in new tab)

(defector.com)

2marvinborner2mo ago0

marvinborner

Recent submissions

Genesis Mission (US Government) [video] (opens in new tab)

The Par Programming Language (opens in new tab)

Artemis II Photo Timeline (opens in new tab)

Generative AI Vegetarianism (opens in new tab)

To my students (opens in new tab)

Lambda Calculus Benchmark for AI (opens in new tab)

Effectful Recursion Schemes (opens in new tab)

US national level OS-level age verification bill (opens in new tab)

Optimal Strategy for Connect 4 (opens in new tab)

Geo-Strategy #8: The Iran Trap [video] (opens in new tab)

Fibonacci slop is out of control [video] (opens in new tab)

A Big Pharma Company Stalled a Potentially Lifesaving Vaccine (opens in new tab)

Squeezing π from 122 Bits of Lambda Calculus (opens in new tab)

Infinitely Recursive Game of Life (opens in new tab)

In Search of Wikipedia's Shrug Guy (2023) (opens in new tab)

Recent submissions

Genesis Mission (US Government) [video] (opens in new tab)

The Par Programming Language (opens in new tab)

Artemis II Photo Timeline (opens in new tab)

Generative AI Vegetarianism (opens in new tab)

To my students (opens in new tab)

Lambda Calculus Benchmark for AI (opens in new tab)

Effectful Recursion Schemes (opens in new tab)

US national level OS-level age verification bill (opens in new tab)

Optimal Strategy for Connect 4 (opens in new tab)

Geo-Strategy #8: The Iran Trap [video] (opens in new tab)

Fibonacci slop is out of control [video] (opens in new tab)

A Big Pharma Company Stalled a Potentially Lifesaving Vaccine (opens in new tab)

Squeezing π from 122 Bits of Lambda Calculus (opens in new tab)

Infinitely Recursive Game of Life (opens in new tab)

In Search of Wikipedia's Shrug Guy (2023) (opens in new tab)