HNHacker News
TopNewBestAskShowJobs

wk_end

6,575 karma · joined October 10, 2013

submissionscomments
wk_end··on Steel Bank Common Lisp version 2.6.7

    * the SB-SIMD contrib now supports ARM64. (Thanks to Sylvia Harrington)
    * AVX512 instructions are now supported on X86-64. (Thanks to Robert Smith and Arthur Miller)
    * additional support for SIMD instructions on ARM64 and X86-64. (Thanks to Arthur Miller)
These seem like pretty awesome additions. Does anyone know how SIMD works in SBCL? Is this at the codegen layer? i.e. can it auto-vectorize or anything like that? Or are these intrinsics you have to explicitly ask for?
wk_end··on Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser
My impression is that, rightly or wrongly, it developed a bit of a negative reputation in various ways - too esoteric, slow builds, toxic community, etc. - so people stayed away from it.

And meanwhile, Java the language improved and Kotlin came along as (arguably) the better better Java, so there became less of a need for it.

wk_end··on What if LLMs escape through inferences itself? This is fiction. For now
Nah, Kant's considered a notoriously poor writer among philosophers. Obviously opinions may differ, but Derek Parfit [0], for instance, wrote:

“It is Kant who made really bad writing philosophically acceptable. We can no longer point to some atrocious sentence by someone else, and say ‘How can it be worth reading anyone who writes like that?’ The answer could always be ‘What about Kant?'”

(Kind of relevant to this thread actually! Hah!)

In the preface to the second edition of the Critique, Kant himself acknowledges that "a talent for lucid exposition" he "cannot regard [himself] as possessing".

FWIW I suppose I am in Kant's audience, as a (long-since graduated) philosophy student.

[0] https://en.wikipedia.org/wiki/Derek_Parfit

wk_end··on What if LLMs escape through inferences itself? This is fiction. For now
A few years ago I tried to make it through The Critique of Pure Reason, but had to stop because - as many people famously do - I found Kant's writing too abstruse.

In saying that, I'm not dismissing the Transcendental Deduction, I'm just saying that I wish Kant was a better writer.

No one's under an obligation to engage with an argument, and given the choice of whether or not to engage with a poorly written, clichéd, machine-generated one, most people wouldn't be interested enough to bother. Complaining about laziness here is pretty ironic, actually.

wk_end··on What if LLMs escape through inferences itself? This is fiction. For now
But at no point did they say that the argument was invalid; just that they couldn't stand reading it.
wk_end··on Third Drone Shot Down in Three Days in Romanian Territory
British, American, and French deaths made up only a small fraction of the 60M-75M killed in WWII, which speaks to the global ("World") nature of a World War.

I believe it's also the case that more Vietnamese died during the Vietnam War than the UK/US/France combined during WWII as well.

wk_end··on Third Drone Shot Down in Three Days in Romanian Territory
A "World War" probably isn't characterized by its "size" (whatever that means) but rather by the fact that the combat theatre extends over much of "the world", or that much of "the world" are active belligerents. Ukraine is right now a localized conflict; I don't think it counts.

FWIW, as one potential size metric: casualties in Ukraine (so far) are comparable to the Korean or Vietnam War, and an order of magnitude less than the World Wars (even though the world has roughly 4x the population now than in 1939). It's much more comparable to those conflicts than either of the World Wars.

wk_end··on Extinct Media Museum Tokyo
I really enjoyed the Ad Museum when I went a few years ago.

https://www.admt.jp/en/

These all look fascinating too. God, Tokyo's really an incredible city, huh.

wk_end··on Taylor Farms Called White House to Try to Delay Cyclospora Recall
Grass-fed beef isn't necessarily better. It tends to be comparatively leaner than grain-fed, and a richly marbled rib eye is for a lot of people (myself included) just about as good as it gets.

Australian wagyu is, for my money, the best beef in the world (yes, better than Japanese wagyu, which really is too richly marbled), but American Prime is no slouch either.

wk_end··on NYC Apartment Aquaponics
Disagree - engineers documenting fun and quirky DIY projects is very much in the hacker spirit. Before reading this I didn't even know aquaponics was a thing, much less a thing with a "thriving online community".

...also, maybe I'm reading too much into this, but why not "a programmer and her quant bf"? She's the one who wrote the article on her own blog, and this is primarily a community of programmers.

wk_end··on NYC Apartment Aquaponics
Having a fish tank for fish is a normal enough thing and carries similar risks of water damage, doesn't it? Does this strike you as significantly higher-risk, less insurable, or more irresponsible than that?
wk_end··on Don't Take the Black Pill [video]
The problem is that the counterfactual isn't obvious. The company spends more time - and money - than they needed to fixing those issues, but how do they know? And how do they know that it would've amounted to less if they'd done those fixes sooner? Figuring that out, and figuring it out accurately, is often extremely difficult. A serious attempt might cost more than the fixes.

...and often the amount more isn't catastrophically more, so they don't even think about it. The company might be bleeding from paper cuts, it might be terribly unhealthy because of it, but still not unhealthy enough to kill it.

wk_end··on The Visual 6502
The link to Perfect6502 is interesting. It says that it supposedly gets speeds of 1/30th of 1MHz - i.e. ~30KHz - on high-end 2025 CPUs. Which is very slow of course, but still ~1000x faster than what people are reporting in this thread.

Of course it's in JS rather than C, but V8 is really good, well within an order of magnitude - not three - of native, at least with well-written code. I profiled the original Visual6502 and at a glance it sure does look like it's losing a ton of performance to rendering (so good call there).

I have to wonder what the limit is. Even Perfect6502 looks like it's all single-threaded and CPU-driven, which really isn't making the most of modern machines. But I don't know if this is a task that could be efficiently split across cores or dispatched to the GPU (and I can't even begin to know whether SIMD might be useful); of course hardware itself is fundamentally parallel, but the synchronization might kill you?

wk_end··on Israeli spyware vans infiltrate American streets and your phones
Are you saying that you expect the Trump regime, which has been otherwise clearly and resolutely pro-Israel, to be implementing BDS policies and refusing to buy anything from Israeli companies? To try to appease 20%-40% of Americans mostly on the opposite side of the aisle of them? The Trump regime?

(OK - this is a state-level thing. The article is vague on details, it mentions Texas and "27 states". But the Texas government at least is blood red Republican and strongly aligned with the Trump Feds, as are about half the states, so depending on which 27 states we're talking hardly a surprise. And you were the one who said "the US State" in the first place.)

wk_end··on A Road to Lisp: Which Lisp
The argument is: if you don’t have hygienic macros, a Lisp-2 is going to be less brittle than a Lisp-1.

The classic example is, imagine you have a function with a local variable called “list”, common enough. Now imagine you invoke a macro inside that function which generates a call to the built-in “list” function - also common enough. In a Lisp-1 without hygiene that breaks - your local definition shadowed the built-in; in a Lisp-2 or hygienic Lisp-1 you’re in the clear.

wk_end··on The lost joy of music piracy
The Constantines are amazing!
wk_end··on 'We used acid to sabotage Microsoft hyperscale data centre construction'
Do you know anyone in the arts? Musicians? I see more AI hatred on average in those sorts of communities than in tech, where there's a pretty even split.
wk_end··on 'We used acid to sabotage Microsoft hyperscale data centre construction'
In the interest of playing Devil's Advocate, even if they're unlikely to abandon an existing project over this, accounting for potential sabotage and the cost/delays of redoing work might change the calculus of future projects?
wk_end··on Who Is America's Homer?
...you think 1000 years from now people will wonder whether or not Stephen King existed?
wk_end··on Who Is America's Homer?
Lots of excellent suggestions here. F. Scott Fitzgerald's missing so far - that's not necessarily who I'd choose but he belongs in the conversation. I don't think he's an especially interesting pick - Gatsby is cited as the Great American Novel as often as Moby Dick or Huck Finn - but he's a superlative writer who (like every high schooler in the country knows) explicitly and directly engaged with the meaning of America.
wk_end··on Who Is America's Homer?
Socrates, I'd say.
wk_end··on Who Is America's Homer?
Steven Spielberg is probably the Homer of American cinema.
wk_end··on A road to Lisp: Why Lisp
As a professional - assuming you mean “which can I put on my resume to get a job working in that language” - probably (not necessarily!) none, or maybe Clojure.

As a hobbyist, probably all of them. It’s worth at least trying to go through SICP in Scheme (use Racket with the SICP language), it’s worth learning CL (use SBCL) to fully appreciate everything the Lisp world has to offer without compromises, it’s worth learning Clojure because it’s, frankly, a little bit cleaner and more elegant than CL in many respects.

wk_end··on TypeScript 7
It's maybe a bit of a startup-world, HN-blinkered assessment...but that's where we're talking, isn't it?

Even before JS became the language for everything, there was a good chunk of time - maybe between 2005 and 2015? - when Python and Ruby were dominant in this environment, and this dismissive attitude towards static typechecking was similarly dominant.

Of course in the enterprise space everyone was using Java, and in the systems space or game dev space everyone was using C++. But those worlds get a lot less airtime here.

Plus everyone on HN is a good little pg disciple, and Lisp is dynamically typed. If the One True Language doesn't need static typechecking (though SBCL offers some very helpful heuristics) surely it's not worth it. Right? Right?

wk_end··on The revenge of the philosophy majors
> I think any English language post about philosophy majors should be assumed to be about analytics.

I don't think this is true at all. To start with, there's roughly 2000 years between the earliest known philosophers and the analytic-continental split. Plenty of philosophy majors can and do get really into the ancients or medieval philosophers or whatever and complete their degrees without doing much more than a cursory read of the major thinkers post-Kant. And anecdotally, my own undergraduate degree was in philosophy, from one of the more prestigious schools in Anglo-Canada, and we had plenty of opportunities to dive into the continental stuff.

Once you get to the graduate level and academia folks focused on Derrida or whatever are going to gravitate towards the universities that prioritize the schools of thought they're interested in, and those have always been on the continent for the continentals naturally. But for run-of-the-mill philosophy majors in the Anglosphere, IMO you should just assume they have a reasonably broad and just-deep-enough knowledge of the entire history of philosophy and make no particular assumptions about their interests.

wk_end··on Dua Lipa opens library for banned and censored books in Portugal
I wish there were some photos of it in the article so we could get a better understanding of what it is.

I've been to lots of bookstores with sections or displays for famously banned books. I'm pretty sure my local Indigo (basically a Canadian Barnes & Noble) has one. If that's all this is then it doesn't sound especially newsworthy outside of the celebrity involvement and maybe the renown of this particular shop.

OTOH the article describes it as a "permanent" installation, which does sound a little different from what I'm picturing.

wk_end··on Poly/ML – A Standard ML Implementation
> Standard ML of New Jersey (smlnj) is another interesting one although it tends to be more of a research vehicle than polyml or mlton.

This is interesting! My impression was that SML/NJ was the de facto "standard" Standard ML implementation (maybe analogous to SBCL in the Lisp world), and (FWIW) Gemini agrees, describing it as "the oldest and most widely used". So I'm surprised to see someone stick it in the rear behind Poly/ML and MLton.

I don't really know what to make of that, except that I guess there's a surprisingly vibrant SML ecosystem and don't listen to any one person (myself included) about it: try them all and see which SML implementation is right for you :)

wk_end··on Road to Elm 1.0
Well, you're suggesting a reason to choose Elm is stability - a lack of breaking changes. But Elm is actually notorious for its wildly unpopular, dramatic, community-fracturing breaking changes. Backwards compatibility is not a concern for them.

It's a little tricky though, because the comment you were replying to was talking about the lack of updates. And in that sense, Elm is now very stable - no breaking changes (or any changes at all!) in seven years and counting.

(Although, for all the complaints about the React ecosystem: you can still write class-style React components, even though they were effectively deprecated when hooks were introduced just over seven years ago.)

OTOH, we have this blog post suggesting development on Elm is kicking up again. Which means more breaking changes might be incoming.

wk_end··on I Wasn't Allowed Prompting ChatGPT During My Chalk Talk: This Is Discrimination (2025)
That’s what makes it good satire.
wk_end··on Caffeinated and decaffeinated coffee lower stress, depression and impulsivity
Are you replying to the right comment? Or maybe just haven't had your morning coffee yet? ;)

The point I'm making is that a non-coffee drinker won't have "withdrawal symptoms", so OP's suggestion that the beneficial effects they observed were just "cessation of withdrawal symptoms" doesn't make any sense. As in literally nonsense: "a non-coffee drinker's withdrawal symptoms" is nonsensical in the same way the idea of a square circle is.

← PreviousPage 2 of 34Next →