HNHacker News
TopNewBestAskShowJobs

IsTom

1,694 karma · joined March 27, 2012

submissionscomments
IsTom··on Research Firm Calls Anthropic's IPO 'Unprecedented Test of Investor Gullibity'
If you don't need ROI then with this kind of money I can make revenue grow even faster.
IsTom··on Total Annihilation, rebuilt for modern computers
At first people played Starcraft for the campaign, internet access in late 90s wasn't common enough for a game to thrive on mostly online multiplayer. And it was popular back then. And playing on LAN was more of "20 mins no rush" thing.
IsTom··on 3rd Yandex Cloud Data Center Was Hit
A lot of people who could get out of Russia after the war started, did get out.
IsTom··on How Protein Took over the World
And somehow all the people I've met mentioning figures from papers (be it 1g, 1.4g or whatever) always seem to skip the "lean" part of "lean body mass" part, which is again a decent difference.
IsTom··on REA Reverse – Engineer Anything
It could have access for code of an older version with how there has been leaks of sources of various commercial applications over the years.
IsTom··on Archaeologists Are Reconstructing the 'Invisible' Technologies of the Stone Age
These were a symbol of status and served a ritual purpose.
IsTom··on OpenAI withdraws three mathematical results
Extrapolating the rate, there won't be any left by the end of next quarter. I jest, but reading these is arduous and finding holes in them is going to take time for anyone daring to.
IsTom··on OpenAI withdraws three mathematical results
I'm no expert, but using multitape TM for this feels to me like a wrong level of abstraction. The whole thing has a lot of smell.
IsTom··on OpenAI withdraws three mathematical results
I've tried reading one of these, it was an unreadable mess with some strong smells. It might have something to it, but it'd take a decent amount of labor to validate it, especially with how many references to other papers it had.
IsTom··on Navier–Stokes Lost in Translation
I'm not sure if calculus of constructions comes naturally to people who didn't have some experience with functional programming.
IsTom··on The Mathocalypse
Isn't this controversial, to say the least?
IsTom··on Meta and Microsoft take steps to reduce employee usage of Claude AI
I think SaaS will be fine. How the field works might change, but in the end marginal cost of software is still zero and when you've got a quality, well-tested and well-designed product it's going to be obviously better than things vibed together.
IsTom··on 3D-printing platform rapidly produces complex electric machines
To print a drone you must transport input materials anyway, which weight at least the same.
IsTom··on Penguin Mail – open-source Rust email client for Linux with AI
Sometimes it's easier to start with doing the right thing than to just try to fix problems later.
IsTom··on Penguin Mail – open-source Rust email client for Linux with AI
Thunderbird won't suffer from prompt injection
IsTom··on Sharing AI progress in mathematics
The use of supposed little ways multiple people pushed the envelope in their sessions with no attribution whatsoever.
IsTom··on Why Common Lisp is now the best programming language
Not depth itself, but how using star you can get (ab)* in a much smaller expression than when you want to express it by forbidden patterns for star-free form. And if you nest it a few times r_to get to up to D depth[0] expression grows, but forbidden patterns would grow faster.

[0] e.g. r_1 = (\(\))*, r_d+1 = (\(r_d*\))*

IsTom··on Why Common Lisp is now the best programming language
Yeah, but regular languages can handle parenthesised expressions up to some const parens-depth, which will be most of the code (for some small constant). And while it might be possible (not quite sure tbh) to express this in star-free manner, the expressions would explode pretty fast in size.
IsTom··on Why Common Lisp is now the best programming language
Funnily enough in computer science-land the often used model for transformsers corresponds to (heavily compressed) star-free languages, languages without counters, that specifically can't count things, like opening parentheses. This is rather theoretical though, because of the size of constants involved.
IsTom··on Our approach to EU text provenance rules
Generally doing something intentionally or unintentionally might have different penalties.
IsTom··on Our approach to EU text provenance rules
Imagine that somebody sold you text that they mislead you to think is not generated by AI and then trying to convince court that they didn't mislead you intentionally. If they've removed the watermark it stops this kind of defense.
IsTom··on Replacement of petroleum based products with plant-based materials (2025)
It's from algae, which are not plants.
IsTom··on Run Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/s
> You can easily review 10-100x that in an hour

40k LoC per hour of pedantic review? That's eleven lines per second, every second, for an hour.

IsTom··on We're going to need default hard budget caps on pretty much everything
You need to be aware of all ways outside people can rack up your bill. If you've got experience it's okay, but getting hit with a huge bill because you left an S3 bucket out in the open is something that has happened too many times to people starting out.
IsTom··on Meta Uses A.I. Data Centers to Avoid Billions in Federal Taxes
In the EU it's typical to keep to the spirit of the law, not necessarily to the letter. It makes it less game-able. If the tax break is for research and you use it for research and not "well, technically it could be considered research if you squint hard enough", you'll be fine.
IsTom··on Tesla takes on $30B in credit as it approaches unprofitability
I've seen taxi drivers use them in Europe multiple times basically every time you want to transport more people. Beats using 2 cars.
IsTom··on Does Reddit have an astroturfing problem? What the data suggests
> speaking about gypsies in a racist way is followed by a ban

I'm suspecting that is only because of behaviors learned from US on the internet. If not for that they wouldn't have thought of banning for it. It's not a topic that comes up often, but IRL negative views on gypsies are the norm in Europe.

I think it's important to understand that it's viewed as culture issue, not color-of-skin issue (that is something that can be changed, people of gypsy heritage that go to school and work are not considered gypsies for this) and so not getting filled in the category of "racism".

IsTom··on OpenAI: Tomorrow we are re-opening the Pro $200 subscription
And renamed to Copilot
IsTom··on ASML says it sold 'absolutely nothing' in Europe in 2026
If the Nord Stream didn't get blown up it could have been different.
IsTom··on ASML says it sold 'absolutely nothing' in Europe in 2026
That's the point. France has 70%+ nuclear energy in the mix, but isn't the economic miracle that nuclear power is supposed to bring.
← PreviousPage 2 of 28Next →