HNHacker News
TopNewBestAskShowJobs

wk_end

6,620 karma · joined October 10, 2013

submissionscomments
wk_end··on Recreating Voodoo Graphics and a Late-1990s Gaming PC on an FPGA
Tomb Raider (1996) ostensibly required a Pentium, and I remember (though memory may be faulty) the demo refusing to run on my 486. Does this FPGA 486 support the additional Pentium instructions?
wk_end··on Java 27
GP's snark is unwarranted, but it's probably good practice to disclose your professional affiliation explicitly in comments related to it, even if you have already disclosed it in your profile.

I was reading your comments on Java, nodding my head, upvoting, without checking your profile and realizing that you're a member of the Java team. Knowing that doesn't mean I now suddenly disagree with you or anything. But while in an ideal world it doesn't matter who's saying something when evaluating it, there's some human factors at play - I'd like to turn up my internal sense of skepticism when dealing with someone, effectively, selling something their salary depends on; even if you're being entirely earnest, it's ultimately a sales pitch, and I feel bamboozled for not recognizing it - that'd make me appreciate transparency.

(FWIW, even though I prefer being coy about my place-of-work, I have no professional relation to this conversation. I've never used Java in my 9-5 and I haven't even really used it in earnest since, like, version 5 back in high school. I think it's always been underrated by the hacker crowd, though!)

wk_end··on Java 27
What were they moving towards?
wk_end··on Due to concerns about malicious applications, GPT2 will not be released (2019)
And? Nuclear technology continues to be an excellent candidate for the Great Filter.
wk_end··on Hepburn Romanization: How to Read Japanese in the Latin Alphabet
You don’t need to visually split the consonant apart as a separate character to recognize the relationship between か/き/く/け/こ - after all, the Japanese manage to do it without Latin letters. It adds very little to do so except as a crutch to let a learner continue to think using their native orthography, which only impedes learning. And given what a small hurdle it is, especially compared to the multitude of enormous hurdles the language has in store for you, you’re better off just jumping over it and moving on to those more interesting ones.
wk_end··on Highest-ever ocean temperature measured as powerful El Niño forms
“Both-sides”ing this is ridiculous. Certain leftists might sometimes disproportionally blame corporations for the issue rhetorically but they aren’t broadly opposed to the kinds of taxes and regulations - on corporations or individuals - that would be needed to bring carbon emissions down.

If you insist on finding a way to criticize leftists on the climate file, a much better tack would be pointing out how some environmentalists have opposed nuclear power or densification.

wk_end··on RISC-V: They Should Have Known Better
The RISC-V specs insist that this is important for simplifying high performance designs, because a flag register is a single piece of shared state that instructions are constantly (and often inadvertently!) touching. This necessarily introduces hazards and serialization.

I don’t know enough about high performance microarchitecture design to evaluate that argument confidently, but it seems to make sense to me.

wk_end··on Jason Arday, ex-Cambridge professor at centre of plagiarism row, found dead
Well, he wasn't just an academic, but also a media icon/minor celebrity (he has/had a memoir coming out). His academic fraud and plagiarism was just one thing - aside from the race angle, his story probably got lots of media attention just because of how comically absurd and obvious his self-mythologizing was.

It's not academic but the closest similar case that's coming to mind off the top of my head was when James Frey (who FWIW is white) got found out for A Million Little Pieces, which definitely was major news.

wk_end··on Why does Opus 5 feel worse to work with?
Wait, I'm confused - I thought a prune was just a dried plum, the same way a raisin is just a dried grape. Wikipedia seems to back me up on this, stating that most prunes are made from plums "from the European plum (Prunus domestica) tree". Do the prunes grow pre-dried on your tree?
wk_end··on Gödel, Escher, Elisp: The Beauty of Macros
Well, not elisp, but

https://coalton-lang.github.io

or maybe

https://shen-language.github.io

wk_end··on Gödel, Escher, Elisp: The Beauty of Macros
Indeed:

https://hackage-content.haskell.org/package/base-4.22.0.0/do...

wk_end··on How Gödel's Proof Works (2020)
> I’ll never understand how GEB was using math, art, and music to explain consciousness

As Flannery O'Connor wrote, "The result of the proper study of a novel should be contemplation of the mystery embodied in it, but this is a contemplation of the mystery in the whole work and not or some proposition or paraphrase. It is not the tracking down of an expressible moral or a statement about life." We don't read literature with the hopes of a book laying out a precise thesis and incontrovertibly demonstrating it.

If you come into GEB expecting a scientific explanation of consciousness (like I did, when I first read it) you walk away confused and maybe disappointed. Hofstadter observed something transcendentally beautiful about self-reference and had a spiritual or religious revelation that, for him, related it to consciousness, and he attempted to convey that beauty and spiritual revelation in - appropriately self-referentially - a book that embodied it. You're meant to appreciate it in your heart and soul, not (just) in your mind. It's literature, not science.

wk_end··on Donkey.bas is 45 Years Old – 131 line of Glory
It says something about what a thoughtful development environment these early BASICs were, that you could make a full simple little game like this in only 131 lines even though they're ostensibly far less powerful than modern languages. I'm not sure if you could even get an SDL window open and game loop running in 131 lines of (non-golfed) C.

Never mind how compact, beginner-friendly, and just plain fun they were to use. It's been said countless times but I'll say it again - we've lost something over the years.

wk_end··on Why Target Common Lisp for Code Generation?
I think the comment that you're replying to is saying exactly the opposite - a language that anyone including non-programmers can use, if you consider the strict definition of the word, isn't "elite".
wk_end··on Civilian plane crash in New Mexico tied to military GPS blocking
I don't know what the definitions of "basic" is, but even PPL students are trained to recognize the effects of a frozen pitot tube.
wk_end··on SwiftUI After 7 Years
I see an M and a V in this description, but no C.

Is the UI updating itself automatic or manual? Because if it’s manual, that’s precisely the error-prone part that you’re saying this approach somehow solves - you’ve done the “How to Draw an Owl” meme. If it’s automatic, that doesn’t seem especially different from the React/Redux/Elm/SwiftUI approach (as a sibling points out).

wk_end··on Are We Stuck with Lean?
According to [0], "Rocq’s kernel spans approximately 41K lines of OCaml code, while Lean’s kernel consists of approximately 8K lines of C++ code."

[0] https://dl.acm.org/doi/pdf/10.1145/3747511

wk_end··on Are We Stuck with Lean?
> It feels exactly like if all the emacs users in the world tried to force all vim users to use emacs.

I don't know about forcing, but there's certainly a long history of emacs users trying to convince vim users that they're wrong. Without loss of generality - the same is true in the other direction of course.

Software devs are more than used to having a multitude of tools at our disposal (text editors, programming languages, Linux distros...), having strong preferences, and engaging in the delicate balancing act of advocating for our favourites while living-and-letting-live as the cosmic ballet goes on. It's part of our culture; I don't think that culture necessarily exists outside. For instance, a common layman question to ask is, "Why are there so many programming languages? Why doesn't everyone just use the same one?" And I don't think mathematicians are immune to this blind spot.

The nearest equivalent to "tooling" in math, traditionally, would be notation I suppose, and mathematicians are accustomed to eventually coalescing around a single standard notation.

wk_end··on Half-Life ported to Mac OS 9
The most interesting thing about this link, for me, is seeing that there's an open-source recreation of GoldSrc [0]? That's apparently been around since 2011 [1]? I'm stunned I haven't heard about this before. Very cool.

[0] https://github.com/fwgs/xash3d-fwgs

[1] https://www.moddb.com/engines/xash3d-engine

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?
← PreviousPage 2 of 34Next →