fp.

Add age verification to accounts service

https://gitlab.freedesktop.org/accountsservice/accountsservice/-/merge_requests/176#0b07c0cc4d49b...

2•e145bc455f1•9m ago•0 comments

Israeli startup Thermagix harvesting low grade heat

https://www.calcalistech.com/ctechnews/article/dfpboxzg9

1•tomerbd•10m ago•0 comments

Writing a Verified Postfix Expression Calculator in Ada/Spark

https://pyjarrett.github.io/2025/06/10/postfix-calculator.html

1•notagoodidea•10m ago•0 comments

Re:Do Workouts

https://redoworkouts.com/

1•danielauener•11m ago•0 comments

Ask ChatGPT to pick a number from 1-10000, it generally selects from 7200-7500

https://old.reddit.com/r/ChatGPT/comments/1rz2ooh/i_am_betting_my_house_that_if_you_ask_gpt_to_pick/

1•mellosouls•13m ago•2 comments

World Cup Trophy Theft: Gangsters, Spies and the Dog That Found It

https://www.bloomberg.com/news/articles/2026-03-20/the-1966-world-cup-trophy-theft-gangsters-spie...

1•helsinkiandrew•15m ago•0 comments

Google adds 24-hour wait and mandatory reboot to Android sideloading flow

https://android-developers.googleblog.com/2025/08/elevating-android-security.html

3•dfordp11•23m ago•0 comments

BATorrent – Torrent client that streams video while downloading

https://github.com/Mateuscruz19/BAT-Torrent

1•Mateuscruz19•25m ago•0 comments

DIY AI-powered robot arm

https://www.youtube.com/watch?v=59JTCvpG_Ec

1•mafm•25m ago•1 comments

Show HN: Elastik – treating LLM as an HTTP client in less than 200 lines of code

https://github.com/rangersui/Elastik

1•rangersui•26m ago•0 comments

Operation Cast Thy Bread

https://en.wikipedia.org/wiki/Operation_Cast_Thy_Bread

2•throw310822•30m ago•0 comments

Oxford Time

https://en.wikipedia.org/wiki/Oxford_time

1•Tomte•31m ago•0 comments

Cursor's "in-house model" Composer 2 is Kimi K2.5 with RL on top

https://twitter.com/ns123abc/status/2035058399067435474

1•helloplanets•33m ago•0 comments

We Scaled Kimi K2.5 [video]

https://www.youtube.com/watch?v=CwePo4847ho

1•vinhnx•34m ago•0 comments

Physics-based validation for sensor data before ML training

https://github.com/timbo4u1/S2S

1•s2sphysical•35m ago•0 comments

CalMirror – Stop copy-pasting events across Google Calendars

https://apps.apple.com/us/app/calendar-auto-sync-calmirror/id6759219374

1•hmktsu•35m ago•0 comments

Double-O, agent's best friend

https://github.com/randomm/oo

1•jannniii•42m ago•1 comments

We Trust Strangers More Than Brands – What Neuroscience Tells Us

https://www.proofgateway.com

1•elufadeju•43m ago•0 comments

Ask HN: Has anyone here lived in a war zone?

2•michaelteter•46m ago•0 comments

KuraiMusik – A 24/7 AI Radio Orchestrated with AI, Python and Liquidsoap

https://music.kuraitachi.com/

1•daviddevgt•47m ago•0 comments

Why are we eating slop? [video]

https://www.youtube.com/watch?v=Tsp2bC0Db8o

1•decimalenough•50m ago•0 comments

Manifestation Machines

https://thefuturistsage.substack.com/p/manifestation-machines

1•Archit_lal_•51m ago•0 comments

Tangled: Tightly Knit Social Coding

https://tangled.org

2•j3s•53m ago•0 comments

Is AI Making Us Stupid? Cal Newport Is Worried

https://www.chronicle.com/article/is-ai-making-us-stupid-cal-newport-is-worried

1•smugma•53m ago•1 comments

I tested every "lifetime" Mac app posted on R/macapps for 7 weeks

https://old.reddit.com/r/macapps/comments/1ryvdei/i_tested_every_lifetime_mac_app_posted_on/

1•saaspirant•54m ago•0 comments

Cal Newport is Worried (put down the ChatGPT)

https://www.chronicle.com/newsletter/the-review/2026-03-16

2•smugma•55m ago•1 comments

Show HN: I created a free LLMs.txt generator

https://kitful.ai/write-tools/llms-txt-generator

1•eashish93•57m ago•0 comments

Trivy Under Attack Again: Widespread GitHub Actions Tag Compromise Exposes

https://socket.dev/blog/trivy-under-attack-again-github-actions-compromise

2•tamnd•1h ago•0 comments

Declaration of Emil Michael: Anthropic poses security risks

https://www.courtlistener.com/docket/72379655/96/3/anthropic-pbc-v-us-department-of-war/

1•1vuio0pswjnm7•1h ago•0 comments

Show HN: Use AI to find customers who have intent to buy your product

https://www.outhop.ai/

1•edgware674•1h ago•1 comments

Open in hackernews

"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980)

https://archive.org/details/lisp-programming-and-proving

2•mself•1h ago

Comments

mself•1h ago

This important unpublished work was not available anywhere online, so I scanned my copy.

These are the course notes for CS 206: Computing with Symbolic Expressions taught by John McCarthy at Stanford University in the 70s, 80s, and 90s.

I printed this copy in 1984 while working as an intern for Nils Nilsson at SRI's AI Center.