News for hackers. Stuff that matters.

AlDante2

Re:Poincaré Conjecture Formalized in Lean4 on Tuesday September 29, 2026 @03:40AM (#49889576)
It was the proof they formalised, not the conjecture.
Re:Solving the Jane Street Reverse Engineering Challenge on Friday September 04, 2026 @08:15AM (#49563527)
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).

Re:How to generate subtitles automatically in every lenguage on Saturday March 07, 2026 @10:49AM (#47288668)
Shame it can’t spell…
Don’t forget “Eddie the Eagle”. Quintessentially British.
What is lost seems to be the ability to spell…
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.
Re:Al-Powered Protein Binders for Precision Research on Friday May 09, 2025 @04:59AM (#43935007)
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.
Re:Ask HN: How do you deal with chronic procrastination? on Wednesday December 11, 2024 @05:13PM (#42393609)
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.
As you don’t specify the available paths nor all of the states, the question as it stands is ill-posed.
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.

The original quote is from Arthur C. Clarke. “Any sufficiently advanced technology is indistinguishable from magic”.
Re:Rare TypeScript of The Little Prince to go up for sale on Thursday October 24, 2024 @03:56AM (#41933156)
Typescript or typescript, not TypeScript. They’re not talking about a website…
Re:Hertz leaks 60k insurance claim reports on their claims website on Wednesday September 18, 2024 @10:36AM (#41580229)
Does that make the leakage frequency 60 kilohertz?
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.
Re:CockroachDB Changing It's Licensing on Thursday August 22, 2024 @06:19AM (#41318570)
Ffs people. “It’s” is the abbreviation for “it is”. If you want the possessive form, use “its” (no apostrophe).
Re:Ask HN: What Happened to Quora? on Wednesday August 07, 2024 @05:07AM (#41179523)
That annoys me as well. What I find even more annoying are the questions designed to sow strife and discord, even when (or especially when) the premise of the question is patently false. All because because that drives engagement.
For me, it lets you know, of all the companies professing to put the customer first, which actually do. Some websites offer a one-click “No” option. Others require 27 different selections on two pages, in the hope that you miss one. And the Torquemadas of the Internet Age make you choose between light grey and dark grey for the selection on or off.
Re:Ask HN: Is this normal ask from a VC? on Tuesday April 23, 2024 @09:35AM (#40131809)
The strategy you outline is classic BATNA. Your BATNA is your best alternative to negotiated agreement - your walk-away position. The stronger that is, the more leverage you have in negotiating. By improving lead times, your friend improved his BATNA, as you say, so much that he no longer needed the negotiation.
I read many articles like this, protesting that Apple doesn't do this, Apple doesn't do that.

Apple isn't a monopoly, by any stretch of the imagination. 13% of the US market in Macs, 25% in mobile phones. Starbucks has a markup of 90%. Named brand spices, 100%. Hotel mini-bars, 400%. But Apple, which built the concept of an App Store, built the platform and the payment infrastructure, advertises and delivers the product, is somehow the bad guy for charging for it.

Have you tried asking Walmart how much you would have to pay to sell your product in their store?

I understand. Apple targets the high-end, so their consumers tend to be the well-heeled and hence a truly desirable market. It's like being a goat behind a fence, where all of the best green is on the other side. But, to leave the caprine behind us, what would you pay for access to a customer basis like the iPhones, including billing and distribution?

It's not as if you have to use the App Store. Deliver your apps via your own web page, advertise accordingly, and implement billing, with the attendant security.

Bob is then your uncle.

Or sell to the majority market - 75% of mobile, 87% of desktop. You know it makes sense.

Until you realise that there is minimal protection against wrongdoers, which makes your market skittish. Nor much support in the way of promotion. Still, most studies state that PC and Android are the way to go if you want peak sales.

Just do it.

Any potted history of floppy disk drives, really: https://www.eevblog.com/forum/projects/designing-and-constru...
Re:Ask HN: Looking for Thesis Project Inspiration on Tuesday December 05, 2023 @05:31PM (#38537836)
Have you thought about AI and its applications to cybersecurity? Intrusion detection, vulnerability scanning, etc. Or crafting new threats or countermeasures.
We know.
Re:Is air conditioning making cities hotter? on Sunday September 10, 2023 @10:32PM (#37462177)
Basic physics says yes.
Re:Is air conditioning making cities hotter? on Sunday September 10, 2023 @10:30PM (#37462167)
In which climate zones do trees not make their surroundings more temperate? Trees live from Alaska to the equator, and from the coast to near-desert. They are not de-humidifiers, but they certainly regulate temperature.
Re:Is air conditioning making cities hotter? on Sunday September 10, 2023 @10:26PM (#37462141)
The big advantage trees have ove most man-made shade is that heat can convect through them. If you’ve ever sat underneath an umbrella at a café versus a beer garden under trees you’ll notice the difference. The umbrella shades, but traps reflected heat, re-radiating it below.
Just to be sure I’m following you correctly, what is the advantage of zipping the base64 data vs having the original binary, zipped if you like?
Re:Convince Elizier Yudkowsky to sell you a GPU cluster on Tuesday May 02, 2023 @12:49AM (#35783478)
Great fun. After a long argument (and a John Cleese reference which went completely over YudBot‘s head), I finally convinced him. Only to stumble into a bug at the payment end. I initially proposed payment in Nimbis (the standard rate of eight Nimbis to one Pu being understood).

And from then on it was not possible to revise payment to US dollars.

So my order will forever remain unfulfilled :-(

Re:Ask HN: Ethics on Interviewing as a Future Competitor? on Monday April 03, 2023 @08:38PM (#35433449)
Sharing that the current company is contemplating a similar product is already sharing sensitive information and is probably in breach of contract, regardless of whether an NDA is in place.
Re:Ask HN: Ethics on Interviewing as a Future Competitor? on Monday April 03, 2023 @08:36PM (#35433441)
Sharing your own company’s information is a big no-no, and probably a breach of contract, both at the interview stage, and also if you decide to join the other company. Don’t even share that your current company is working on a competing product. Your potential new employer knows who you work for and will not disclose competitively relevant information, so ask anything you want. Even if it wasn’t an open source product.

It would only be unethical if you have no intention of joining the new company and are only interviewing to gain information for your current employer.

Older »