Recent submissions

Comment · 1 month ago
It was the proof they formalised, not the conjecture.
Comment · 2 months ago
Hi Chris,

just for info: https://en.wikipedia.org/wiki/GDSII will tell you about the GDS format. It apparently stands for Graphic Data System II (originally developed by Calma in the late 1970s).

Comment · 8 months ago
Shame it can’t spell…
Comment · 9 months ago
Don’t forget “Eddie the Eagle”. Quintessentially British.
Comment · 1 year ago
What is lost seems to be the ability to spell…
Comment · 1 year ago
In the General and Special Theories of Disaster Area Tax Returns, it is shown that the whole fabric of the space-time continuum is more than merely curved; it is, in fact, totally bent.
Comment · 1 year ago
A new custom protein design lab has launched in Europe. They have a new approach, Designerbodies™, which allow predefined epitope-paratope interactions. They can apparently tailor the binding site to match the intended application.
Comment · 1 year ago
Procrastination is related to depression. Try more sleep, more sun and, if possible, long walks in a park or other natural environment. Other forms of exercise are also good.
Comment · 1 year ago
As you don’t specify the available paths nor all of the states, the question as it stands is ill-posed.
Comment · 1 year ago
I previously worked for a company developing custom software some of Germany’s leading banks. Even (back in the nineties) when we had to use languages such as Natural and COBOL, we developed a macro language (that compiled to COBOL) to let us use more specific types.

Particularly in finance, yo need to distinguish between dates and durations, between interest rates and volatility and a host of other business concepts. Using strong user-defined types helps catch errors at compile time. I would have no problem, on a large project, with having every variable (with the possible exception of counters, etc.) being a user-defined type. On small projects, where one developer can comfortably oversee all of the code, the overhead of correctly defining types and their operations might not outweigh the benefits. In user-facing code, for example, UI frameworks don’t use business types. Writing conversion routines to translate user input to a business type can be a disproportionate amount of work for a small project.

Comment · 2 years ago
The original quote is from Arthur C. Clarke. “Any sufficiently advanced technology is indistinguishable from magic”.
Comment · 2 years ago
Typescript or typescript, not TypeScript. They’re not talking about a website…
Comment · 2 years ago
Does that make the leakage frequency 60 kilohertz?
Comment · 2 years ago
I would vote for completely banning paywall posts. It annoys me no end when a post links to the Wall Street Journal or the Financial Times or suchlike.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton