Hackernews posts about Marvin

1. Extraordinary Ordinals (text.marvinborner.de)
   46 points by marvinborner 12 days ago | 14 comments
2. Fractals in Pure Lambda Calculus (lambda-screen.marvinborner.de)
   8 points by marvinborner 8 days ago | discuss
3. Show HN: Runs AI coding agents inside isolated Docker containers (github.com)
   7 points by matt_callmann 15 days ago | discuss
4. AI Agents Demystified: A multi-step agent in 50 lines of Python (marvin.damschen.net)
   2 points by intemd 30 days ago | discuss
5. To my students (ozark.hendrix.edu)
   334 points by marvinborner 26 days ago | 199 comments
6. Lambda Calculus Benchmark for AI (victortaelin.github.io)
   143 points by marvinborner 28 days ago | 43 comments
7. Generative AI Vegetarianism (sboots.ca)
   40 points by marvinborner 26 days ago | 55 comments
8. Show HN: Better Design – 28 Shadcn design systems (OSS, MCP: Cursor/Claude Code) (github.com)
   13 points by marvinkr 18 days ago | discuss
9. Artemis II Photo Timeline (artemistimeline.com)
   12 points by marvinborner 24 days ago | 1 comments
10. Deadnet Internet Services (deadnet.se)
    4 points by marvinborner 11 days ago | discuss
11. The Par Programming Language (par.run)
    4 points by marvinborner 19 days ago | discuss
12. Genesis Mission (US Government) [video] (www.youtube.com)
    3 points by marvinborner 15 days ago | 1 comments
13. AI slop is flooding maths YouTube [video] (www.youtube.com)
    2 points by marvinborner 2 days ago | discuss
14. Computing Reading List (timrodenbroeker.de)
    2 points by marvinborner 2 days ago | discuss
15. KE:SAI Open Science Autonomy Lab (kesai.eu)
    2 points by marvinborner 3 days ago | discuss
16. Ontario police using spyware that lets them remotely take over your smartphone (www.thestar.com)
    2 points by marvinpinto 4 days ago | discuss
17. Red and Black Knights (extraordinary result) [video] (www.youtube.com)
    2 points by marvinborner 10 days ago | discuss
18. You are the bottleneck now (bytode.dev)
    1 points by marvinified 8 days ago | discuss
19. Monoids in Public: Useful monoid structures in programming (blog.veritates.love)
    1 points by marvinborner 9 days ago | discuss
20. Show HN: EleutherAI / Lm-Evaluation-Harness (github.com)
    1 points by marvinified 10 days ago | discuss
21. Martin Galway's music source files from 1980's Commodore 64 games (github.com)
    199 points by ingve 28 days ago | 29 comments
22. The extended predicative Mahlo universe in Martin-Löf type theory (2023) (academic.oup.com)
    30 points by danny00 20 days ago | discuss
23. Show HN: Marlin-2B: a tiny VLM to extract structured information from videos (huggingface.co)
    7 points by HappyPablo 5 days ago | 2 comments
24. Justice Dept. Aims to Denaturalize Ex-Marine for Sex Crime (www.nytimes.com)
    7 points by JumpCrisscross 9 days ago | discuss
25. China Is America's Equal Now and in Any Future Fight, Marine General Warns (www.twz.com)
    6 points by Teever 23 days ago | discuss
26. China Is America's Military Equal Now and in Future Fights, Marine General Warns (www.twz.com)
    5 points by breve 24 days ago | discuss
27. Marine scientists discover record number of new species (abcnews.com)
    4 points by thunderbong 3 days ago | discuss
28. Martin van den Brink – Engineer and Architect of lithography systems at ASML (www.youtube.com)
    4 points by pillars 15 days ago | discuss
29. Chaotic whale rescue shocks marine biologists (www.science.org)
    4 points by _tk_ 18 days ago | discuss
30. Google shuts down Project Mariner (www.theverge.com)
    3 points by Brajeshwar 16 days ago | discuss