frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

How to Design Programs 2nd Ed (2024)

https://htdp.org
56•AbuAssar•3h ago

Comments

warkdarrior•3h ago
Has anyone summarized HTDP into a prompt for something like Claude? Does it improve the quality of code generated?
paffdragon•2h ago
It's very likely that it has been already scraped by AI bots.
sulam•2h ago
Yes, but also a lot of other things. It's important to direct the LLM to emphasize some embeddings vs others. This makes the chances of you getting good results exponentially higher.
soco•1h ago
But that would be supervised learning which we don't do (anymore) around here... honestly I wouldn't be surprised if the whole craze circles back to good old supervision, albeit many times empowered by what we have today on the shelves.
KingEllis•2h ago
Their website says 2014. Amazon says 2018. But definitely not 2024, unless I am missing something.
jamie_ca•2h ago
Direct link is https://htdp.org/2024-11-6/Book/index.html which says "Released on Wednesday, November 6th, 2024 7:36:10pm"

I think this is the 2024 digital release of the 2014/2018 physical publication.

ZoomZoomZoom•2h ago
Since this is actually the same edition that's been available for at least 7 years, but you still clicked the link, it's very likely you're interested in something along those lines. Consider getting "Concepts, Techniques, and Models of Computer Programming First Edition"[1] by Peter Van Roy and Seif Haridi. Although not exactly cutting edge (2004) and Oz-centric[2], still a great read and, for many, a fresh perspective.

1. https://en.wikipedia.org/wiki/Concepts,_Techniques,_and_Mode...

2. https://en.wikipedia.org/wiki/Oz_(programming_language)

PS: I'll appreciate your recommendations as replies!

jmcdl•1h ago
How worthwhile is it without being able to run the code examples and do the exercises? Getting Oz working is a real pain at best.
fn-mote•27m ago
It would be more helpful to me if you said something about why you recommend it.

Like: what’s different from just “the rust programming language” (which is obviously not a beginner text, just trolling).

adamddev1•57m ago
Working through this was extremely helpful in getting me to think about building things with types, functions, and recursion. I saw an exponential increase in my problem-solving abilities after it. Can't recommend it enough.
WillAdams•41m ago
How does this compare to Ousterhout's _A Philosophy of Software Design_

https://www.goodreads.com/en/book/show/39996759-a-philosophy...

https://news.ycombinator.com/item?id=37975558

Looking over the ToC there seems to be at least some overlap, but at a more basic level and sans the over arching concepts of APoSD.

Jtsummers•29m ago
HTDP teaches how to program. Philosophy does not. That's pretty much the entire difference, they're in different categories of books. Philosophy assumes you know how to program, and attempts to teach a way of programming. HTDP starts from the beginning with no assumptions about the reader's ability to program.

Open Sourcing Any Distance

https://kuntz.io/blog/any-distance-oss
1•ezekg•1m ago•0 comments

Making Sense of a Noisy World

https://ordep.dev/posts/opinions-on-trends
1•ordpedev•1m ago•0 comments

Inside the 'Dragon Age' Debacle That Gutted EA's BioWare Studio

https://www.bloomberg.com/news/articles/2025-06-11/inside-the-dragon-age-debacle-that-gutted-ea-s-bioware-studio
1•trevortheblack•2m ago•0 comments

MIT student prints AI polymer masks to restore paintings in hours

https://arstechnica.com/ai/2025/06/mit-student-prints-ai-polymer-masks-to-restore-paintings-in-hours/
1•gametorch•2m ago•0 comments

Engineered Meta-Cognitive Workflow Architecture for Windsurf

https://entrepeneur4lyf.github.io/engineered-meta-cognitive-workflow-architecture/
1•handfuloflight•3m ago•0 comments

Postgres Weekly 19th June 2020

https://postgresweekly.com/issues/604
1•khurs•4m ago•0 comments

EU Eyes Ditching Microsoft Azure for France's OVHcloud

https://www.euractiv.com/section/tech/news/scoop-commission-eyes-ditching-microsoft-azure-for-frances-ovhcloud-over-digital-sovereignty-fears/
3•doener•5m ago•0 comments

Show HN: Onri, the Google Map for micro-learning

https://onri.ai
1•ru6xul6•7m ago•0 comments

Cluely raises $15M led by a16z

https://a16z.com/announcement/investing-in-cluely/
1•colesantiago•7m ago•0 comments

Haveli Investments to buy Couchbase for $1.5B

https://www.reuters.com/legal/transactional/haveli-investments-buy-ai-database-firm-couchbase-about-15-billion-2025-06-20/
1•ergl•9m ago•0 comments

How Astronomers Will Deal With 60 Million Billion Bytes of Imagery

https://www.nytimes.com/2025/06/20/science/vera-rubin-telescope-data.html
1•perihelions•10m ago•1 comments

Ask HN: X account hacked again – no email when attacker changed the email? How?

3•hadaoaxb•11m ago•0 comments

YC: Digital Superintelligence, Multiplanetary Life, How to Be Useful [video]

https://www.youtube.com/watch?v=cFIlta1GkiE
1•onemoresoop•12m ago•0 comments

Show HN: wasque – Lightweight Cloudlare Warp Proxy Container for Linux

https://github.com/Diniboy1123/wasque
1•MaryJohanna•14m ago•0 comments

Uncut Paper Currency

https://www.usmint.gov/shop/paper-currency/
1•bookofjoe•15m ago•0 comments

But, my Postgres (+ lakehouse) is free

https://www.mooncake.dev/blog/postgres-lakehouse-free
1•moonikakiss•16m ago•0 comments

US patent office wants AI to scan for prior art, but doesn't want to pay for it

https://www.theregister.com/2025/06/20/us_patent_office_ai/
1•penda•16m ago•0 comments

Firefox features that help you plan a trip (and take it)

https://blog.mozilla.org/en/firefox/travel-features/
1•andrewstetsenko•19m ago•0 comments

How Is Modular Democratizing AI Compute?

https://www.modular.com/blog/how-is-modular-democratizing-ai-compute
3•tosh•19m ago•0 comments

12 Years of Postgres Weekly with Peter Cooper, Ep28 on Talking Postgres Podcast

https://talkingpostgres.com/episodes/12-years-of-postgres-weekly-with-peter-cooper
1•clairegiordano•19m ago•0 comments

My experience going through a startup incubator

https://developerwithacat.com/blog/062025/startup-incubator-experience/
1•mmarian•23m ago•0 comments

Kenton Varda on Safe AI-Assisted Coding and the Power of Cloudflare Workers

https://www.youtube.com/watch?v=qKcg3ibIVzI
1•emot•24m ago•0 comments

Jürgen Schmidhuber:the Father of Generative AI Without Turing Award

http://www.jazzyear.com/article_info.html?id=1352
2•kleiba•25m ago•0 comments

Elon Musk's robotaxi will have a human driver for 'safety' reasons

https://www.neowin.net/news/elon-musks-robotaxi-will-have-a-human-driver-for-safety-reasons/
2•bundie•25m ago•0 comments

I wanted a Steam Deck for the living room so I made one [video]

https://www.youtube.com/watch?v=gn8vaeUsGc4
1•Venn1•25m ago•2 comments

Listen to Forests from Around the World

https://www.tree.fm/
2•laurex•26m ago•0 comments

Adobe launches a new 'computational photography' camera app for iPhones

https://www.theverge.com/news/690115/adobe-project-indigo-camera-app-marc-levoy
1•up6w6•26m ago•0 comments

US Army Reserve swears in tech leaders

https://www.datacenterdynamics.com/en/news/us-army-reserve-swears-in-tech-leaders-from-palantir-meta-openai-and-thinking-machines/
2•k__•27m ago•0 comments

Project Indigo – a computational photography camera app

https://research.adobe.com/articles/indigo/indigo.html
2•up6w6•27m ago•0 comments

The ID. Buzz AD: VW's autonomous ride is here

https://electrek.co/2025/06/19/id-buzz-ad-vw-fully-autonomous-moia/
1•lintalist•27m ago•1 comments