Do not download the app, use the website

https://idiallo.com/blog/dont-download-apps

889•foxfired•11h ago•486 comments

Open Sauce is a confoundingly brilliant Bay Area event

https://www.jeffgeerling.com/blog/2025/open-sauce-confoundingly-brilliant-bay-area-event

110•rbanffy•2d ago•39 comments

It's time for modern CSS to kill the SPA

https://www.jonoalderson.com/conjecture/its-time-for-modern-css-to-kill-the-spa/

475•tambourine_man•12h ago•273 comments

CCTV Footage Captures the First-Ever Video of an Earthquake Fault in Motion

https://www.smithsonianmag.com/smart-news/cctv-footage-captures-the-first-ever-video-of-an-earthquake-fault-in-motion-shining-a-rare-light-on-seismic-dynamics-180987034/

131•chrononaut•7h ago•20 comments

Turn any diagram image into an editable Draw.io file. No more redrawing

https://imagetodrawio.com/

58•matthewshere•3h ago•12 comments

The Rise and Fall of the Hanseatic League

https://worksinprogress.co/issue/the-rise-and-fall-of-the-hanseatic-league/

19•loeber•3d ago•1 comments

Simon Tatham's Portable Puzzle Collection

https://www.chiark.greenend.org.uk/~sgtatham/puzzles/

29•sogen•3h ago•5 comments

It's a DE9, not a DB9 (but we know what you mean)

https://news.sparkfun.com/14298

384•jgrahamc•20h ago•248 comments

Keep Pydantic out of your Domain Layer

https://coderik.nl/posts/keep-pydantic-out-of-your-domain-layer/

6•erikvdven•3d ago•2 comments

Why I Do Programming

https://esafev.com/notes/why-i-do-programming/

18•artmare•3h ago•5 comments

Windsurf employee #2: I was given a payout of only 1% what my shares where worth

https://twitter.com/premqnair/status/1948420769945682413

568•rfurmani•1d ago•388 comments

Never write your own date parsing library

https://www.zachleat.com/web/adventures-in-date-parsing/

187•ulrischa•16h ago•233 comments

Why MIT switched from Scheme to Python (2009)

https://www.wisdomandwonder.com/link/2110/why-mit-switched-from-scheme-to-python

226•borski•17h ago•187 comments

Efficient Computer's Electron E1 CPU – 100x more efficient than Arm?

https://morethanmoore.substack.com/p/efficient-computers-electron-e1-cpu

203•rpiguy•17h ago•73 comments

Vanilla JavaScript support for Tailwind Plus

https://tailwindcss.com/blog/vanilla-js-support-for-tailwind-plus

246•ulrischa•15h ago•129 comments

Animated Cursors

https://tattoy.sh/news/animated-cursors/

185•speckx•15h ago•40 comments

Experimental surgery performed by AI-driven surgical robot

https://arstechnica.com/science/2025/07/experimental-surgery-performed-by-ai-driven-surgical-robot/

93•horseradish•13h ago•98 comments

Show HN: Auto Favicon MCP Server

https://github.com/dh1011/auto-favicon-mcp

12•dh1011•2h ago•1 comments

The future is not self-hosted

https://www.drewlyton.com/story/the-future-is-not-self-hosted/

315•drew_lytle•21h ago•289 comments

Steam, Itch.io are pulling ‘porn’ games. Critics say it's a slippery slope

https://www.wired.com/story/steam-itchio-are-pulling-porn-games-censorship/

494•6d6b73•17h ago•643 comments

Developing our position on AI

https://www.recurse.com/blog/191-developing-our-position-on-ai

208•jakelazaroff•2d ago•65 comments

Ambigrammia: Between Creation and Discovery (Hofstadter, 2025)

https://yalebooks.yale.edu/book/9780300275438/ambigrammia/

6•lorenzuru•2h ago•1 comments

What is X-Forwarded-For and when can you trust it? (2024)

https://httptoolkit.com/blog/what-is-x-forwarded-for/

25•ayoisaiah•2d ago•8 comments

A Union Pacific-Norfolk Southern combination would redraw the railroad map

https://www.trains.com/trn/news-reviews/news-wire/a-union-pacific-norfolk-southern-combination-would-redraw-the-railroad-map/

54•throw0101c•13h ago•82 comments

CO2 Battery

https://energydome.com/co2-battery/

129•xnx•17h ago•114 comments

Programming vehicles in games

https://wassimulator.com/blog/programming/programming_vehicles_in_games.html

269•Bogdanp•19h ago•61 comments

Generic Containers in C: Vec

https://uecker.codeberg.page/2025-07-20.html

25•uecker•3d ago•21 comments

Women dating safety app 'Tea' breached, users' IDs posted to 4chan

https://www.404media.co/women-dating-safety-app-tea-breached-users-ids-posted-to-4chan/

436•gloxkiqcza•18h ago•557 comments

Researchers value null results, but struggle to publish them

https://www.nature.com/articles/d41586-025-02312-4

114•Bluestein•3d ago•44 comments

Users claim Discord's age verification can be tricked with video game characters

https://www.thepinknews.com/2025/07/25/discord-video-game-characters-age-verification-checks-uk-online-safety-act/

46•mediumdeviation•5h ago•42 comments

Open in hackernews

How to draw lambda diagrams (2020)

https://risingentropy.com/how-to-draw-lambda-diagrams/

29•diginova•20h ago

Comments

tomhow•20h ago

I've temporarily buried this because it links to a tag index, with several articles, which is too broad/diverse to generate a good discussion on HN.

Submitter (diginova), please let us know which of the articles is the best to read and discuss and we'll make that the url and title.

(Best to email us at hn@ycombinator.com to be sure we get the message, as we might not remember to check back here).

diginova•15h ago

True, thanks for clarification

that would be this one - https://risingentropy.com/how-to-draw-lambda-diagrams/ as I just started learning lambda calculus and this one helped

Also this is where I got the interest from - https://www.youtube.com/watch?v=RcVA8Nj6HEo

tromp•13h ago

Lambda Diagrams originally appeared at [1].

[1] https://tromp.github.io/cl/diagrams.html

gowld•13h ago

The submission page doesn't link to Tromp, but the YouTube videos do.

Tromp's page links to the submission:

> Paul Brauner has produced some awesome videos of beta reductions, produced with this software.

Also linked from Tromp, Cruz Godar's animated multi-colored calculator is my favorite:

https://cruzgodar.com/applets/lambda-calculus

acjohnson55•10h ago

This might have made my theory of programming languages class a little easier. I wonder if it's helpful with the simply typed lambda calculus.