Quarkdown: A modern Markdown-based typesetting system

https://github.com/iamgio/quarkdown

210•asicsp•4h ago•87 comments

There should be no Computer Art (1971)

https://dam.org/museum/essays_ui/essays/there-should-be-no-computer-art/

22•glimshe•2h ago•19 comments

Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests

https://www.belfercenter.org/publication/plutonium-mountain-inside-17-year-mission-secure-legacy-soviet-nuclear-testing

17•jmillikin•2h ago•9 comments

EU Commission refuses to disclose authors behind its mass surveillance proposal

https://old.reddit.com/r/europe/comments/1l2655n/the_eu_commission_refuses_to_disclose_the/

230•nickslaughter02•2h ago•120 comments

My AI skeptic friends are all nuts

https://fly.io/blog/youre-all-nuts/

1579•tabletcorry•15h ago•1980 comments

Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco

https://www.ycombinator.com/companies/spark/jobs/kDeJlPK-software-engineer-full-stack

1•tk90•11m ago

GUIs are built at least 2.5 times

https://patricia.no/2025/05/30/why_lean_software_dev_is_wrong.html

93•mpweiher•3d ago•56 comments

AI makes the humanities more important, but also weirder

https://resobscura.substack.com/p/ai-makes-the-humanities-more-important

145•findhorn•8h ago•97 comments

A Complete Guide to Meta Prompting

https://www.prompthub.us/blog/a-complete-guide-to-meta-prompting

67•saikatsg•3d ago•10 comments

Cloudlflare builds OAuth with Claude and publishes all the prompts

https://github.com/cloudflare/workers-oauth-provider/

613•gregorywegory•21h ago•383 comments

The Metamorphosis of Prime Intellect (1994)

https://localroger.com/prime-intellect/mopiall.html

68•lawrenceyan•8h ago•31 comments

Fun with Futex

https://blog.fredrb.com/2025/06/02/futex-fun/

19•ingve•5h ago•1 comments

Ask HN: Who is hiring? (June 2025)

315•whoishiring•21h ago•319 comments

How to Store Data on Paper?

https://www.monperrus.net/martin/store-data-paper

109•mofosyne•3d ago•37 comments

Rsync's defaults are not always enough

https://rachelbythebay.com/w/2025/05/31/sync/

26•rcarmo•5h ago•28 comments

A High-Level View of TLA+

https://lamport.azurewebsites.net/tla/high-level-view.html

23•blobcode•3d ago•0 comments

Implementing a Forth

https://ratfactor.com/forth/implementing

42•todsacerdoti•3d ago•4 comments

Show HN: Kan.bn – An open-source alterative to Trello

https://github.com/kanbn/kan

424•henryball•1d ago•194 comments

How to post when no one is reading

https://www.jeetmehta.com/posts/thrive-in-obscurity

579•j4mehta•1d ago•235 comments

Show HN: A toy version of Wireshark (student project)

https://github.com/lixiasky/vanta

230•lixiasky•20h ago•69 comments

Show HN: I build one absurd web project every month

https://absurd.website

228•absurdwebsite•16h ago•48 comments

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

https://www.mongodb.com/blog/post/engineering/conformance-checking-at-mongodb-testing-our-code-matches-our-tla-specs

81•todsacerdoti•14h ago•34 comments

Sid Meier's Pirates – In-depth (2017)

https://shot97retro.blogspot.com/2017/12/sid-meiers-pirates-in-depth-written.html

73•benbreen•3d ago•27 comments

Show HN: Onlook – Open-source, visual-first Cursor for designers

https://github.com/onlook-dev/onlook

379•hoakiet98•4d ago•78 comments

Teaching Program Verification in Dafny at Amazon (2023)

https://dafny.org/blog/2023/12/15/teaching-program-verification-in-dafny-at-amazon/

44•Jtsummers•14h ago•11 comments

Magic Ink: Information Software and the Graphical Interface

https://worrydream.com/MagicInk/

31•blobcode•3d ago•5 comments

MonsterUI: Python library for building front end UIs quickly in FastHTML apps

https://www.answer.ai/posts/2025-01-15-monsterui.html

75•indigodaddy•15h ago•28 comments

Largest punk archive to find new home at MTSU's Center for Popular Music

https://mtsunews.com/worlds-largest-punk-archive-moves-to-center-for-popular-music/

51•gnabgib•13h ago•5 comments

ThorVG: Super Lightweight Vector Graphics Engine

https://www.thorvg.org/about

133•elcritch•1d ago•40 comments

The Creepy, Surprisingly Routine Business of Animal Cloning

https://www.theatlantic.com/magazine/archive/2025/07/animal-cloning-industry/682892/

20•FinnLobsien•3h ago•11 comments

Open in hackernews

Toying with the Lambda Calculus

https://github.com/WinVector/Examples/blob/main/lambda_calculus/toying_with_the_lambda_calculus.ipynb

25•jmount•4d ago

Comments

spartanatreyu•1d ago

It's easy to miss since it's a small link near the top of the post, but something that will help a lot in understanding this post is this video:

The most beautiful program: https://www.youtube.com/watch?v=OyfBQmvr2Hc

It essentially gives you a quick 5-min overview of the lisp language, then shows you how to implement lisp in lisp with only a few lines of code.

IMO, understanding lambda calculus is much easier for the uninitiated after watching that video.