frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

New quantum state of matter found at interface of exotic materials

https://phys.org/news/2025-07-quantum-state-interface-exotic-materials.html
88•janandonly•3d ago•7 comments

Mastercard deflects blame for NSFW games being taken down

https://www.pcgamer.com/games/mastercard-deflects-blame-for-nsfw-games-being-taken-down-but-valve-says-payment-processors-specifically-cited-a-mastercard-rule-about-damaging-the-brand/
75•croes•1h ago•10 comments

Modern Node.js Patterns

https://kashw1n.com/blog/nodejs-2025/
668•eustoria•15h ago•311 comments

So you want to parse a PDF?

https://eliot-jones.com/2025/8/pdf-parsing-xref
261•UglyToad•12h ago•153 comments

Writing a good design document

https://grantslatton.com/how-to-design-document
383•kiyanwang•14h ago•100 comments

ThinkBook Plus Gen 6 – Lenovo’s rollable laptop

https://www.theverge.com/reviews/717491/lenovo-thinkbook-plus-gen-6-rollable-laptop-review
14•xrayarx•1h ago•11 comments

Persona vectors: Monitoring and controlling character traits in language models

https://www.anthropic.com/research/persona-vectors
356•itchyjunk•18h ago•123 comments

If you're remote, ramble

https://stephango.com/ramblings
860•lawgimenez•1d ago•416 comments

Life, Work, Death and the Peasant: Family Formation

https://acoup.blog/2025/08/01/collections-life-work-death-and-the-peasant-part-iiia-family-formation/
161•Khaine•2d ago•31 comments

Why doctors hate their computers (2018)

https://www.newyorker.com/magazine/2018/11/12/why-doctors-hate-their-computers
66•mitchbob•10h ago•80 comments

Typed languages are better suited for vibecoding

https://solmaz.io/typed-languages-are-better-suited-for-vibecoding
190•hosolmaz•11h ago•162 comments

Lightning on Earth is sparked by a powerful chain reaction from outer space

https://www.livescience.com/physics-mathematics/lightning-on-earth-is-sparked-by-a-powerful-chain-reaction-from-outer-space-simulations-show
14•Bluestein•1h ago•0 comments

A parser for TypeScript types, written in TypeScript types

https://github.com/easrng/tsints
54•todsacerdoti•8h ago•25 comments

How to grow almost anything

https://howtogrowalmostanything.notion.site/htgaa25
126•car•12h ago•26 comments

HTMX is hard, so let's get it right

https://github.com/BookOfCooks/blog/blob/master/htmx-is-hard-so-lets-get-it-right.md
34•thunderbong•2h ago•15 comments

How I configure BorgBackup and borgmatic (2023)

https://www.justus.pw/garden/borgbackup.html
10•justusw•3d ago•0 comments

C++: "model of the hardware" vs. "model of the compiler" (2018)

http://ithare.com/c-model-of-the-hardware-vs-model-of-the-compiler/
15•oumua_don17•4d ago•16 comments

Survival at High Altitudes: Wheel-Well Passengers (1996)

https://rosap.ntl.bts.gov/view/dot/57536
10•NaOH•2d ago•2 comments

Efficiently Generating a Number in a Range (2018)

https://www.pcg-random.org/posts/bounded-rands.html
28•csense•1d ago•3 comments

2,500-year-old Siberian 'ice mummy' had intricate tattoos, imaging reveals

https://www.bbc.com/news/articles/c4gzx0zm68vo
226•dxs•3d ago•64 comments

Show HN: Gmap: Explore Git Repos Visually from the CLI

https://github.com/seeyebe/gmap
5•seeyebe•3d ago•1 comments

A dedicated skin-to-brain circuit for cool sensation in mice

https://www.sciencedaily.com/releases/2025/07/250730030354.htm
12•freedomben•2d ago•0 comments

Welcome to url.town, population 465

https://url.town/
178•plaguna•2d ago•58 comments

Tokens are getting more expensive

https://ethanding.substack.com/p/ai-subscriptions-get-short-squeezed
321•admp•1d ago•215 comments

This Old SGI: notes and memoirs on the Silicon Graphics 4D series (1996)

https://archive.irixnet.org/thisoldsgi/
91•exvi•20h ago•20 comments

Twenty Eighth International Obfuscated C Code Contest

https://www.ioccc.org/2024/index.html
343•mdl_principle•1d ago•97 comments

How to make almost anything (2019)

https://fab.cba.mit.edu/classes/863.19/CBA/people/dsculley/index.html
205•teleforce•23h ago•24 comments

Everything to know about UniFi OS Server

https://deluisio.com/networking/unifi/2025/08/03/everything-you-need-to-know-about-unifi-os-server-before-you-waste-time-testing-it/
70•codydeluisio•14h ago•8 comments

Poorest US workers hit hardest by slowing wage growth

https://www.ft.com/content/cfb77a53-fef8-4382-b102-c217e0aa4b25
154•hhs•10h ago•227 comments

Learnable Programming (2012)

https://worrydream.com/LearnableProgramming/
41•kunzhi•12h ago•7 comments
Open in hackernews

C++: "model of the hardware" vs. "model of the compiler" (2018)

http://ithare.com/c-model-of-the-hardware-vs-model-of-the-compiler/
15•oumua_don17•4d ago

Comments

gsliepen•3h ago
Early programming languages had to work with the limited hardware capabilities of the time in order to be efficient. Nowadays, we have so much processing power available that the compiler can optimize the code for you, so the language doesn't have to follow hardware capabilities anymore. So it's only logical that the current languages should work the limitations of the compilers. Perhaps one day those limitations will be gone as well for practical purposes, and it would be interesting to see what programming languages could be made then.
lmm•3h ago
Isn't that the tail wagging the dog? If you build the language to fit current compilers then it will be impossible to ever redesign those compilers.
gsliepen•19m ago
Why would that be impossible? Most programming languages are still Turing complete, so you can build whatever you want in them.
lmm•5m ago
You said this was an efficiency issue, and Church-Turing says nothing about efficiency.
flohofwoe•2h ago
> Nowadays, we have so much processing power available that the compiler can optimize the code for you, so the language doesn't have to follow hardware capabilities anymore.

That must be why builds today take just as long as in the 1990s, to produce a program that makes people wait just as long as in the 1990s, despite the hardware being thousands of times faster ;)

In reality, people just throw more work at the compiler until build times become "unbearable", and optimize their code only until it feels "fast enough". These limits of "unbearable" and "fast enough" are built into humans and don't change in a couple of decades.

Or as the ancient saying goes: "Software is a gas; it expands to fill its container."

adrianN•2h ago
At least we can build software systems that are a few orders of magnitude more complex than in the 90s for approximately the same price. The question is whether the extra complexity also offers extra value.
flohofwoe•2h ago
True, but a lot of that complexity is also just pointless boilerplate / busywork disguised as 'best practices'.
j16sdiz•2h ago
The problem is: "the platform" is never defined.

When you decouple the language from the hardware and you don't specify an abstraction model (like java vm do), "the platform" is just whatever the implementer feels like at that moment.

simonask•1h ago
It's not really about "limitations" of the hardware, so much as it is about the fact that things have crystallized a lot since the 90s. There are no longer any mainstream architectures using big-endian integers for example, and there are zero architectures using anything but two's complement. All mainstream computers are Von Neumann machines too (programs are stored; functions are data). All bytes are 8 bits wide, and native word sizes are a clean multiple of that.

Endianness will be with us for a while, but modern languages don't really need to consider the other factors, so they can take significant liberties in their design that match the developer's intuition more precisely.

gsliepen•14m ago
I was thinking more about higher-order things, like a compiler being able to see that your for-loop is just counting the number of bits set in an integer, and replacing it with a popcount instruction, or being able to replace recursion with tail calls, or doing complex things at compile-time rather than run-time.
bluetomcat•3h ago
What a mess of an article. A pretentious mishmash of scattered references with some vague abstract claims that could be summarised in one paragraph.
flohofwoe•2h ago
Sort of fitting though, because C++ coroutines turned out quite the mess (are they actually usable in real world code by now?).

I think in the end it's just another story of a C++ veteran living through the inevitable Modern C++ trauma and divorce ;)

(I wonder what he's up to today, ITHare was quite popular in game dev circles in the 2010s for his multiplayer networking blog posts and books)

TuxSH•1h ago
> C++ coroutines turned out quite the mess (are they actually usable in real world code by now?).

They are, they are extensively used by software like ScyllaDB which itself is used by stuff like Discord, BlueSky, Comcast, etc.

C++ coroutines and "stackless coroutines" in general are just compiler-generated FSMs. As for allocation, you can override operator new for the promise types and that operator new gets forwarded the coroutine's function arguments

simonask•1h ago
They are compiler-generated FSMs, but I think it's worth noting that the C++ design was landed in a way that precluded many people from ever seriously considering using them, especially due to the implicit allocation. The reason you are using C++ in the first place is because you care about details like allocation, so to me this is a gigantic fumble.

Rust gets it right, but has its own warts, especially if you're coming from async in a GC world. But there's no allocation; Futures are composable value types.

pjmlp•53m ago
They have been always usable in the real world, as they were initially based on async model of doing C++ programming in WinRT, inspired by .NET async/await.

Hence why anyone that has done low level .NET async/await code with awaitables and magic peoples, will fell right at home in C++ co-routines.

Anyone using WinAppSDK with C++ will eventually make use of them.