HNHacker News
TopNewBestAskShowJobs

tucnak

583 karma · joined October 28, 2015

github:tucnak mailto:ilya@hrest.org
submissionscomments
tucnak··on Turning every radio into a radar
Flying cars already exist, they're called helicopters.
tucnak··on Submarine cable resilience
Nice catch, gJim
tucnak··on Yes, and
Yes, and a lot of cope. No young person will read this, and "yeaah I should go to college to study for a CS degree." Job security is going to shit in most university specialties.

Unis are eating themselves alive; you have to be brain-dead to go there (maybe only to pursue a military officer career, as the world war ramps up) when the trades are so hot right now.

The target audience of this post is boomers and, I guess, some millenials not-yet-disu illusioned with, who look fondly back on their education.

tucnak··on Web Search API
National security, bro.
tucnak··on Understanding Frontier Artificial Intelligence
> surely

Citation needed

tucnak··on Nobody Is Listening on Port 8125
Maybe they wanted to play a bit with eBPF... The only reasonable conclusion. Wait till they go beyond localhost and discover XDP!
tucnak··on DeepSeek Elastic Compute (DSec)
They don't have to worry about people blocking DC construction in the US either. All new AI datacenters are designated "dual-use" so the federal government is already letting local councils know to fuck off.
tucnak··on Why MCP Was Always a Bad Idea?
Why are they still having this debate in 2026 when CodeAct have existed for years, and the LLM's are getting much better at coding in the first place?
tucnak··on Learning Programming in an Age of LLMs
> It's pretty simple: due to Curry-Howard isomorphism, programming languages are just notations for some type of formal logic.

Thank you, this made me chuckle!

tucnak··on Dramatic insider warnings over AI fall flat with some in Silicon Valley
The boy finally gets government regulation he's been begging for, in the form of total government control, becomes subservient to the corrupt, evil interests at the helm of that government, and ends up loving exactly none of it?
tucnak··on Real-SWE: Benchmarking AI models on private, real-world, enterprise codebases
Hard disagree. I use 3.8 flash in Antigravity a lot, and thoroughly prefer it to most Pro-class models. It's really fast, and I've had it make crazy progress on compiler-like problems that previous models including Opus simply failed at. On ultra plan you can have it going for hours, and make incremental progress with good prompting for review interrupts. It solved a problem I couldn't solve for weeks in under 6 hours. 10k LOC total. The harness and test suite is key.
tucnak··on A misalignment of AI in mathematics
Having to put food on the table is one hell of a motivator.
tucnak··on “Tweet” and the bird logo apparently enter the public domain
I'm the opposite. Ignored it for so long, and had only signed up post-acquistion.
tucnak··on Go grandmaster Shin defeats AI KataGo with a two-stone handicap
I'm sorry, but Elo is not an acronym for Electronic Light Orchestra. You don't write ELO, but simply Elo.
tucnak··on Google avoids a breakup of its ad tech business
Google will do the same eventually.
tucnak··on Google avoids a breakup of its ad tech business
Not to mention they are still at the forefront of materials science and industrial design, and just so happen to manufacture bespoke CPU & server platforms that run circles around all the hyperscalers...
tucnak··on GPU World
Neal Stephenson is one of the judges. 40k seems like generous enough first prize. I wonder if they will accept a play.
tucnak··on Playa Phone
What's the point if not to make it official? Otherwise there are no stakes, no benefit, and the whole thing would amount to cosplay, right?
tucnak··on Arbitrary code execution in QubesOS via copy-to-VM error reporting backchannel
Oh shit, you're right!
tucnak··on Tailcat – Like netcat, but over Tailscale’s data plane
Why is this downvoted? Bedrock is literally dog shit clone for iPad kids. This is not even controversial, it's just fact.
tucnak··on Otto Dix, Nietzsche, and the Great War (2019)
I applaud you for not being in the least phased by blunt, needlessly confrontational manner of my writing!

This is how you really convinced me to read Della Rocca's treatment on history of philosophy that you linked to, even though I personally find the idea of great geneology spanning the greeks up to modern-day philosophy PhD students completely laughable. You said it yourself: Frege was not the result of iterative, standing on shoulders of Giants-esque improvement. He just "showed up." Clearly, developments in language and sciences opened the door to new line of inquiry which largely made whole swaths of the so-called philosophy (historically speaking) completely redundant. Wittgenstein knew this intuitively, and it's perhaps the biggest take-away from his body of work (contra logical positivism nonsensia)

I will concede that Aristotle on logic (specifically) is actually not a waste of time, but in general, all the time spent reading the Greeks, dialectics most of all, is the time I'm never getting back. I'm sorry, but the Greeks' command of language is simply too superfluous, or rather ill-equipped, for the purpose of philosophy. Regardless of translation. You could say they were too early... Which is another way to say they were "wrong." I won't go as far. It's kind of important to teach philosophy undergrad students some of it, because so much of their academic life will be spent performatively back-linking to Hellenic tradition to please their cargo-cultist professors. I know academic philosophy is full of this because I sometimes put myself through the pain of reading what they write. If you don't mind me asking, what gets you going with Plato? Did you just pick it up and go with it at some point, or was this a deliberate regression?

tucnak··on Otto Dix, Nietzsche, and the Great War (2019)
> If people really are interested in philosophy, I strongly suggest studying the more "classical" philosophers such as Plato, Aristotle, Plotinus, Kant, Frege, Husserl, Heidegger, etc.

Recommending the greeks and Frege in one breath immediately outs you, and shows your philosophy knowledge for what it is, dog shit. You shouldn't be recommending anything about philosophy to anybody. There is absolutely zero reason to study ancient philosophy unless you're interested in HISTORY of philosophy specifically. What Frege, Wittgenstein, Heidegger and other modernists did to 'philosophy' was short of completely reinventing the field from scratch. The connection to antique philosophy is non-existent because there are no tools in Greek discourses relevant to philosophical investigation. It didn't stop even the most stringent analytics to manufacture said connection out of 'romantic' notions, but really there's no geneology to speak of. Plato is closer to Archilochus than Frege, so much so he's almost verging on a joke (philosophically speaking.) It's doubly funny you throwing shade on Nietzsche, who himself was 'romantically' obsessed with the Greeks for no good reason.

You're right that Nietzsche is ultimately, of devil's party, a poet, but that has very little bearing vis-a-vis academic philosophy.

tucnak··on Snails' teeth beats spider silk as nature's strongest material (2015)
Half that, 3300 pounds of sugar is roughly 1800 quid (retail) and wholesale is probably half of that.
tucnak··on 45°C cooling design cuts data center water use to near zero
Christmas food?
tucnak··on 45°C cooling design cuts data center water use to near zero
> the way we heat up the earth right now, i don't think you have to worry about heating

So what, winters would be no more? Snow will disappear, no more ice-men and christmas trees, and subzero conditions in general, too?

tucnak··on Only 17% of all 64-bit Integers are products of two 32-bit integers
They address this argument in the blog.
tucnak··on What appear to be biochemical processes may be a natural feature of geology
They said specifically that it were a cesium-137 source. I think the commentator is fair in pointing out that this finding is ultimately quite odd.
tucnak··on Anthropic confidentially submits draft S-1 to the SEC
Cisco was making loads of hard cash revenue during dotcom.
tucnak··on SQLite is all you need for durable workflows
> I think people are afraid to read the documentation for postgres.

Postgres may introduce a single-file embedded filesystem because what the hell, but the irony is all these guys won't even notice it. The same people that say Postgres backups are too hard.

tucnak··on A 0-click exploit chain for the Pixel 10
I thought it was common knowledge that all kinds of Americans (not to mention other nations) are routinely compromised with zero-clicks, mostly developed in the US and Israel.
Page 1 of 27Next →