Hacker News: marvinborner

Four Programming Languages You've Probably Never Heard of [video]

marvinborner — Sat, 13 Jun 2026 00:42:42 +0000

Article URL: https://www.youtube.com/watch?v=_rHoHLanuQg

Comments URL: https://news.ycombinator.com/item?id=48511039

Points: 6

# Comments: 0

Tiny Awards for Small Websites

marvinborner — Thu, 11 Jun 2026 13:17:44 +0000

Article URL: https://tinyawards.net/

Comments URL: https://news.ycombinator.com/item?id=48489957

Points: 4

# Comments: 0

Why Even Signal Calls Apple and Google [video]

marvinborner — Sun, 07 Jun 2026 11:16:20 +0000

Article URL: https://www.youtube.com/watch?v=c3ennD3wKn0

Comments URL: https://news.ycombinator.com/item?id=48433753

Points: 4

# Comments: 0

JavaScript Crossword

marvinborner — Sun, 31 May 2026 21:46:57 +0000

Article URL: https://lyra.horse/fun/jscrossword/

Comments URL: https://news.ycombinator.com/item?id=48350078

Points: 4

# Comments: 0

The fastest way to say each number

marvinborner — Wed, 27 May 2026 18:12:23 +0000

Article URL: https://thegraycuber.com/fast_numbers/

Comments URL: https://news.ycombinator.com/item?id=48298182

Points: 2

# Comments: 0

AI slop is flooding maths YouTube [video]

marvinborner — Thu, 21 May 2026 13:31:17 +0000

Article URL: https://www.youtube.com/watch?v=mRO_QonhC2c

Comments URL: https://news.ycombinator.com/item?id=48222314

Points: 2

# Comments: 0

Computing Reading List

marvinborner — Thu, 21 May 2026 12:28:36 +0000

Article URL: https://timrodenbroeker.de/pages/reading-list/

Comments URL: https://news.ycombinator.com/item?id=48221562

Points: 2

# Comments: 0

KE:SAI Open Science Autonomy Lab

marvinborner — Wed, 20 May 2026 20:23:11 +0000

Article URL: https://kesai.eu/

Comments URL: https://news.ycombinator.com/item?id=48213575

Points: 2

# Comments: 0

Fractals in Pure Lambda Calculus

marvinborner — Fri, 15 May 2026 22:42:32 +0000

Article URL: https://lambda-screen.marvinborner.de/?term=RERAVb997nwKttgngVbYLOBVsFswKsFthGhzQA%3D%3D

Comments URL: https://news.ycombinator.com/item?id=48154890

Points: 8

# Comments: 0

Monoids in Public: Useful monoid structures in programming

marvinborner — Thu, 14 May 2026 17:04:10 +0000

Article URL: https://blog.veritates.love/monoids_in_public.html

Comments URL: https://news.ycombinator.com/item?id=48138098

Points: 1

# Comments: 0

New comment by marvinborner in "Extraordinary Ordinals"

marvinborner — Thu, 14 May 2026 15:45:38 +0000

They are not functions, but variables. Maybe this helps, as they basically are "selectors": https://text.marvinborner.de/2024-11-18-00.html#tagged-union...

Red and Black Knights (extraordinary result) [video]

marvinborner — Wed, 13 May 2026 12:00:57 +0000

Article URL: https://www.youtube.com/watch?v=UiX4CFIiegM

Comments URL: https://news.ycombinator.com/item?id=48120785

Points: 2

# Comments: 0

Deadnet Internet Services

marvinborner — Wed, 13 May 2026 00:07:49 +0000

Article URL: http://deadnet.se/

Comments URL: https://news.ycombinator.com/item?id=48116235

Points: 4

# Comments: 0

Extraordinary Ordinals

marvinborner — Tue, 12 May 2026 01:03:03 +0000

Article URL: https://text.marvinborner.de/2026-04-09-17.html

Comments URL: https://news.ycombinator.com/item?id=48102901

Points: 46

# Comments: 14

Genesis Mission (US Government) [video]

marvinborner — Fri, 08 May 2026 18:53:13 +0000

Article URL: https://www.youtube.com/watch?v=p6Ejmhwb8Sc

Comments URL: https://news.ycombinator.com/item?id=48067201

Points: 3

# Comments: 1

The Par Programming Language

marvinborner — Mon, 04 May 2026 20:45:29 +0000

Article URL: https://par.run/

Comments URL: https://news.ycombinator.com/item?id=48014728

Points: 4

# Comments: 0

Artemis II Photo Timeline

marvinborner — Wed, 29 Apr 2026 17:48:23 +0000

Article URL: https://artemistimeline.com/

Comments URL: https://news.ycombinator.com/item?id=47951833

Points: 12

# Comments: 1

Generative AI Vegetarianism

marvinborner — Tue, 28 Apr 2026 00:07:39 +0000

Article URL: https://sboots.ca/2026/03/11/generative-ai-vegetarianism/

Comments URL: https://news.ycombinator.com/item?id=47928885

Points: 40

# Comments: 55

To my students

marvinborner — Mon, 27 Apr 2026 23:57:39 +0000

Article URL: http://ozark.hendrix.edu/~yorgey/forest/00FD/index.xml

Comments URL: https://news.ycombinator.com/item?id=47928828

Points: 334

# Comments: 199

New comment by marvinborner in "Lambda Calculus Benchmark for AI"

marvinborner — Sat, 25 Apr 2026 17:11:45 +0000

fwiw, one of the FFT challenges is about the Scott encoding [1], while the other uses Church trees at least [2]. Both use a balanced ternary numeral system, which is a lot more efficient than plain Church/Scott and fairly well-known [3]. Either way, I would have assumed there to be a chance that at least one of the AIs had a look at [4] -- a tutorial about FFT in LC by the benchmark creator himself.

[1] task: https://github.com/VictorTaelin/lambench/blob/main/tsk/stre_... solution: https://github.com/VictorTaelin/lambench/blob/main/lam/stre_...

[2] task: https://github.com/VictorTaelin/lambench/blob/main/tsk/ctre_... solution: https://github.com/VictorTaelin/lambench/blob/main/lam/ctre_...

[3] https://link.springer.com/chapter/10.1007/3-540-45575-2_20

[4] https://gist.github.com/VictorTaelin/5776ede998d0039ad1cc9b1...