frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Phoenix.new – Remote AI Runtime for Phoenix

https://fly.io/blog/phoenix-new-the-remote-ai-runtime/
274•wut42•5h ago•125 comments

Visualizing environmental costs of war in Hayao Miyazaki's Nausicaä

https://jgeekstudies.org/2025/06/20/wilted-lands-and-wounded-worlds-visualizing-environmental-costs-of-war-in-hayao-miyazakis-nausicaa-of-the-valley-of-the-wind/
125•zdw•5h ago•38 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/
92•doener•1h ago•50 comments

Show HN: Nxtscape – an open-source agentic browser

https://github.com/nxtscape/nxtscape
124•felarof•3h ago•88 comments

Show HN: Inspect and extract files from MSI installers directly in your browser

https://pymsi.readthedocs.io/en/latest/msi_viewer.html
6•rmast•21m ago•0 comments

Cracovians: The Twisted Twins of Matrices

https://marcinciura.wordpress.com/2025/06/20/cracovians-the-twisted-twins-of-matrices/
35•mci•3h ago•18 comments

Dancing Naked on the Head of a Pin: The Early History of Microphotography

https://publicdomainreview.org/essay/dancing-naked-on-the-head-of-a-pin
12•crescit_eundo•2d ago•0 comments

Oklo, the Earth's Two-billion-year-old only Known Natural Nuclear Reactor (2018)

https://www.iaea.org/newscenter/news/meet-oklo-the-earths-two-billion-year-old-only-known-natural-nuclear-reactor
136•keepamovin•10h ago•53 comments

Tuxracer.js play Tux Racer in the browser

https://github.com/ebbejan/tux-racer-js
36•retro_guy•3h ago•12 comments

A Python-first data lakehouse

https://www.bauplanlabs.com/blog/everything-as-python
65•akshayka•2d ago•15 comments

Hurl: Run and test HTTP requests with plain text

https://github.com/Orange-OpenSource/hurl
393•flykespice•16h ago•96 comments

Klong: A Simple Array Language

https://t3x.org/klong/
91•tosh•7h ago•38 comments

Verified Dynamic Programming with Σ-types in Lean

https://tannerduve.github.io/blog/memoization-sigma/
6•rck•3d ago•0 comments

Show HN: SnapQL – Desktop app to query Postgres with AI

https://github.com/NickTikhonov/snap-ql
66•nicktikhonov•9h ago•44 comments

An analysis of recent multithreading improvements for a smoother game

https://dev.arma3.com/post/oprep-performance-optimizations-in-220
23•diggan•3d ago•0 comments

How to Design Programs 2nd Ed (2024)

https://htdp.org
64•AbuAssar•4h ago•13 comments

New dating for White Sands footprints confirms controversial theory

https://arstechnica.com/science/2025/06/study-confirms-white-sands-footprints-are-23000-years-old/
28•_tk_•2h ago•2 comments

A Brief, Incomplete, and Mostly Wrong History of Robotics

https://generalrobots.substack.com/p/a-brief-incomplete-and-mostly-wrong
79•Bogdanp•4d ago•32 comments

Minimal auto-differentiation engine in Rust

https://github.com/e3ntity/nanograd
40•lschneider•6h ago•4 comments

Asterinas: A new Linux-compatible kernel project

https://lwn.net/SubscriberLink/1022920/ad60263cd13c8a13/
180•howtofly•18h ago•62 comments

Career advice, or something like it

https://brooker.co.za/blog/2025/06/20/career.html
32•SchwKatze•1h ago•3 comments

Meta announces Oakley smart glasses

https://www.theverge.com/news/690133/meta-oakley-hstn-ai-glasses-price-date
132•jmsflknr•7h ago•249 comments

Qfex (YC X25) – Back End Engineer for a 24/7 Stock Exchange

https://www.ycombinator.com/companies/qfex/jobs/S7XSybx-founding-backend-engineer
1•NPDW•13h ago

ELIZA Reanimated: Restoring the Mother of All Chatbots

https://www.computer.org/csdl/magazine/an/2025/02/11030922/27sQDLuL7Uc
84•abrax3141•3d ago•20 comments

College baseball, venture capital, and the long maybe

https://bcantrill.dtrace.org/2025/06/15/college-baseball-venture-capital-and-the-long-maybe/
103•bcantrill•4d ago•65 comments

Congestion pricing in Manhattan is a predictable success

https://www.economist.com/united-states/2025/06/19/congestion-pricing-in-manhattan-is-a-predictable-success
224•edward•5h ago•349 comments

Reworking Memory Management in CRuby [pdf]

https://blog.peterzhu.ca/assets/ismm_2025.pdf
33•hahahacorn•3d ago•3 comments

Show HN: SecureBuild – Zero-CVE Images That Pay OSS Projects

https://securebuild.com
25•grantlmiller•5h ago•12 comments

Andrej Karpathy: Software in the era of AI [video]

https://www.youtube.com/watch?v=LCEmiRjPEtQ
1351•sandslash•1d ago•739 comments

Microsoft is blocking Google Chrome through its family safety feature

https://www.theverge.com/news/690179/microsoft-block-google-chrome-family-safety-feature
11•chrisjj•1h ago•2 comments
Open in hackernews

How to Design Programs 2nd Ed (2024)

https://htdp.org
64•AbuAssar•4h ago

Comments

warkdarrior•4h ago
Has anyone summarized HTDP into a prompt for something like Claude? Does it improve the quality of code generated?
paffdragon•3h ago
It's very likely that it has been already scraped by AI bots.
sulam•3h 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•2h 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•3h ago
Their website says 2014. Amazon says 2018. But definitely not 2024, unless I am missing something.
jamie_ca•3h 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•3h 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•2h 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•1h 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).

ZoomZoomZoom•18m ago
Incidentally, in my opinion, The Rust Book was laid out exceptionally well for system programming beginners, at least in the state I read it through about 8 years ago or so. Steve and contributors managed to achieve a great balance between thoroughness and approachability of the text while dodging the curse of knowledge in a commendable way.

However, The Rust Book is as far from Concepts as it is from HTDP. It presents a specific language model in its relation to the hardware and common applications one faces while implementing what Concepts and HTDP teach to, well, design.

adamddev1•1h 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•1h 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•1h 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.