tucnak
tucnak on Hacker News
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.
Maybe they wanted to play a bit with eBPF... The only reasonable conclusion. Wait till they go beyond localhost and discover XDP!
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.
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?
> 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!
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?
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.
Having to put food on the table is one hell of a motivator.
I'm the opposite. Ignored it for so long, and had only signed up post-acquistion.
I'm sorry, but Elo is not an acronym for Electronic Light Orchestra. You don't write ELO, but simply Elo.
Google will do the same eventually.
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...
Neal Stephenson is one of the judges. 40k seems like generous enough first prize. I wonder if they will accept a play.
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?
Why is this downvoted? Bedrock is literally dog shit clone for iPad kids. This is not even controversial, it's just fact.
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?
> 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.
Half that, 3300 pounds of sugar is roughly 1800 quid (retail) and wholesale is probably half of that.
> 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?
They address this argument in the blog.
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.
Cisco was making loads of hard cash revenue during dotcom.
> 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.
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.
Google never gets credit for shit like this, or their results in zero-knowledge maths and implementations, which are genuine public service beyond immediate productization.