skysight-inc/HackerNews huggingface dataset:
Thank you for explaining the difference between rationalism and empiricism.

My comment was probably not very clear -- I wished to verify the opinion of the author who wrote the previous comment, not philosophy as a whole. The specific statement that I doubted was "this search gave us ..., the industrial revolution, the computer age, and beyond."

My point about these philosophical thoughts in relation to industry and computers is that it is all quite academic. The halting problem is very interesting to some computer scientists, but it is, IMHO, not at all relevant to produce working solutions in any industry.

However, I do stand corrected with respect to your last paragraph! Leibniz did indeed offer many practical tools, for instance through his differential calculus.

I still wonder about the impact of Hume and Plato on computers. I'd still dare say that these developments could have taken place without academic philosophical thought. That does not take away from the search being amazing and very interesting indeed.
Exactly. The court assigned a punishment based on the crime. The entire point of separating legislating/policing/judicial is to keep things as objective as possible. The suggestion that someone deserves a punishment they weren't assigned is abhorrent. It's not far off excusing police beatings.
I don't know too much about either Jank or Ferret, but would you care to compare the two?
I think this is referencing this article [1]. It actually precedes the recent one, but wasn't in English. You can see the translation here [2]. The timeline is a little weird, this is a comment I've seen talking about it, though I haven't verified any of it [3].

[1]. https://www.kci.go.kr/kciportal/landing/article.kci?arti_id=...
[2]. https://gist.github.com/ConcurrentSquared/c65cbec8a05e72e3e4...
[3]. https://www.reddit.com/r/singularity/comments/15bfhq7/there_...
But a) and b) aren't really topics of learning.

Which I want to point out as the root of the problem. Debate is not really about learning, not in the arts and sciences sense.

I remember once an MIT lecture made the point that medicine is not really science. I'll extend that and say, debate is not really about the truth. There's nothing to learn, all it is is learning the rationalizations to serve one side.
I use diskprices every couple of years and it's invaluable. It's a shame to see an entire country (Australia) denied the tool because it's too expensive for Amazon to actually care about it's "rules" and interpret them on a per incident basis. If they did they'd obviously be re-instating the diskprices amazon.au account.
I’m seeing lot of Hwang level energy here.

There is a lot of pent up National shame in Korea for not having won any Nobel prize. It does lead to some weird behavior.

[1] https://en.m.wikipedia.org/wiki/Hwang_affair
You can take a look at the average intelligence of current research and business leaders and conclude that on average, they contribute more visibly.

That doesn’t mean the cook in their kitchen, that frees up their mind to think about all that useful stuff isn’t just as necessary.
not quite; in the most general sense the arguments to and result of a function (the 'domain' and 'range' in mathematical jargon) need not be numbers but any set of mathematical objects. the heavy work went into proving properties of these generalised functions that were universally true, and showing that they were isomorphic to structures built up in other branches of mathematics.

as a side note, one very important technique/idea in mathematics (in general, not just in the area of functional analysis) is describing something in terms of a set of properties that is both as general as possible and as minimal as possible. for instance numbers can be added, subtracted, multiplied and divided, with "obvious" real-world interpretations. mathematicians then asked themselves what properties exactly the numbers had to possess in order for those operations to be defined, and then they proceeded to find other classes of mathematical objects that also had those properties, and suddenly we were able to "add" and "multiply" things that had no obvious physical interpretation for those operations. but since their structure was mapped to the structure of the numbers, those operations could be mechanically defined over them, and you had all sorts of mathematical tools at your disposal.

here a similar thing was done with functions. there had been a lot of work put into studying the operations you could do on "vector spaces", a mathematical structure that generalised the notion of a vector as a collection of numbers. then mathematicians noticed that if you took the minimal collection of properties something needed to have in order to be a vector space, functions satisfied all those properties. and voila - everything that you could prove about vector spaces (and again, it was a whole lot) was suddenly applicable to functions as well.

(why some of this seems a bit tautological is that it also follows the properties of the real numbers, and even non-mathematicians have had a lot of intuition built up about how numbers behave. but it is by no means guaranteed that every mathematical construct will have these same properties.)
https://news.ycombinator.com/item?id=21448983 (2019, 25 comments)

https://news.ycombinator.com/item?id=29210099 (2021, 50 comments)
The chez nanopass was similar, different types representing different invariants on otherwise similar IR as it progresses though a pipeline. MLIR has the same common infrastructure idea below the dialects.

There are a lot of engineering compromises in compiler design. Single IR vs multiple is one of the contentious ones, where in the details the single IR is prone to having different properties at different points in the compiler and the multiple IR is prone to having strong common themes.

I think a consensus is slowly forming that SSA is the right thing, but even there whether phi instructions or block arguments are better is debated, as is whether to stay in SSA form for machine instruction representation or not.

Were the early compilers sometimes based on a single IR? My impression is that they went through a wide variety of different representations tied to particular analysis passes, but I haven't seen early implementations of the industrial toolchains. I would be curious about any references you have for that - the optimal decisions of the past are usually worth reconsidering.
How is the pressure sensitivity compared with a "real" drawing tablet?
> Genius minds are rare but not that rare.

We only believe certain time periods had more, because of the lasting impacts of many of those people.

Why did geniuses during these periods exercise so much cultural force? Probably just good timing, based on where that society was at. The author probably has the "cart before the horse".
That's what the rich, landed people did to keep themselves occupied. Imagine how much worse life was if you did not have such idleness to create intricate rules around honor.
Securitization is a political decision that discursively constructs certain phenomena as threats to justify their management and extermination. The practice of security erases alternate perspectives through the dominance of Western rationalism, permitting unchecked violence against alterity. We should use this round to create space for an epistemological multiplicity that breaks down dominant discourses of North Korea.

Does this actually have a meaning? It's mind numbing and comes off as sophistry.
We overlapped in NY. But assuming your username is your real name, I don’t remember you. I worked mostly on iOS infra stuff (crash reporting, battery usage tracking, etc).
What “monopoly” is there in content distribution? On the content distribution side there is Netflix, Disney, Warner/Discovery, Comcast/Universal/NBC, AppleTV, Paramount/CBS and Amazon Prime
Interesting. I always assumed it to be something that’s easy to use insecurely (or to cause a self-DoS) but thinking about it, I suppose a "footgun" is made for shooting oneself in the foot.
Free database of 4,000+ AI tools
> The only evidence you'll see of any ACTION is doxxing self-employed adult prostitutes.

Can you quote that part of the article? They make reference to looking for kids and browsing escort listings, but they're obviously looking for people on the younger side and even the article contains this bit:

> When asked about Skull Games’s position on arresting victims, Tiegs emphasized that “arresting is different from prosecuting” and argued, “Sometimes they do need to make the arrest, because of the health and welfare of that person. She needs to get clean, maybe she’s high. … Very rarely, in my opinion, is it right to charge and prosecute a girl.”

I don't see the word 'adult' at all in the article unless my ctrl+F isn't working, so I'm not sure where you get the idea that their "ACTION" is doxxing adults.
> Doing what CA does

California is the most desirable place in the world to live.
What was it that you learned about in AI? Did they discuss stochastic gradient descent and overparameterization?
Sadly, that difficulty is practically the only difference in the distinction. Each share the same crippling shortcomings: those of capitalism itself.
Those kids are few and far between. Can’t imagine it’s a massive drain on the budget even if they cost 10 or 100x more to educate to the same level.
They have claimed to do the process over 1000 times to perfect the results, starting with measuring trace super conductivity in a sample. That could explain a lag.
Exactly. However... The gifted people are the ones that discover electricity, That found the transistor, that allow is to build Integrated circuits at the nanometer scale, that found antibiotics that save millions of lives. Each of the people that made such strides are gifted. They saved millions/billions of people. A non-gifted nurse/train driver, garage handler etc simply can't even begin to compete. Not even if they had ten thousand hours per day.
Couldn't get Triffids cuttings.
RYF: Respect your Freedom

FSDG: Free System Distribution Guidelines
The choice for the writers are the same. Take less up front for a higher risk/reward if the show is successful and get a continuous income stream or take more up front and don’t the studios have the risk of the show being successful in returns of higher rewards.

Whether the studios are public is irrelevant. What is relevant is the success of the movies/tv shows being successful.
Senate opens path for military cyberbranch
Why doesn't Gen Z want children?
I’ve used proportional fonts for more than a decade now. Since auto formatters disallow ascii art or custom alignment anyways, I’m honestly not missing out on anything, and just get to enjoy kerning in my code. I use whatever sans serif is used most on my platform (ATM it’s google sans), using a serif want would probably annoy me a lot.

Oh, what we are really missing are code-oriented ligatures, like -> or ==>. Sad, but I find fixed width so bothering that I’m not willing to try the fixed width fonts that offer such ligatures.
And for perspective, 2nm is approximately how much your fingernail grows in the time it took to read this sentence.

(3.47mm per month)/(30 * 24 * 60 * 60 seconds) = 1.33nm/second
Raspberry Pi Zero-W is 32-bit.

Even more unrelated: Uvicorn servers don't run on 32-bit machines as of version 0.19.0
> third parties aren’t able to perform the calibration.

Which is an even bigger issue caused entirely by apples anti-competitive anti-user practices.
No dock required. With Samsung DeX you just need a cheap USB-C to HDMI cable. Plug the phone into the monitor and you can switch to desktop mode.

It only works on Samsung models that have USB-C video though. My mid-range Samsung phone doesn't have either feature.
Why? Most companies are requiring auto formatters these days, so it doesn’t really matter if you can’t precisely align code.
I hope you can see that your friends are alcoholics. Drinking 18 of any alcoholic drink shouldn't be considered normal as much as the surroundings might indicate otherwise.
I propose we start the revolution with comment blocks.

https://developer.apple.com/library/archive/documentation/Xc...
Yep, carry a vice for long enough and it becomes a virtue. It takes a great mind to see this for the folly it is. So can't fault a normal person for not being able to.
> No. The better question is, why didn't FSF contact Leah before trying to publish their own Libreboot releases at libreboot.at? Why did they try to impersonate Libreboot?

That's not a better question at all. They list out their explicit reasoning for their attempted name takeover. I definitely don't agree with it, but I have no reason to believe that they're lying about their own beliefs.

I absolutely do have reason to doubt Leah's words of releasing GNU Boot as being in good faith though. Their history of drama with them is the reason for my doubt.

In terms of practicality, I feel like a better reaction would have been to either trademark their project name or maintain a separate fork of Libreboot that would include the binary blobs. Why resort to trademark infringement?
I thought (and hoped) this post was going to mention the bizarre american phenomenon where people driving by a person walking have the urge to scream something at them.
Scott Alexander hosted a book review on this subject recently, “The Educated Mind” by Egan. I’m interested in exploring these ideas too.

https://astralcodexten.substack.com/p/your-book-review-the-e...
> No, unlike with Substack, you don't get access to articles through Buttondown, the payment is just a donation.

Because that is how he set it up because that is how he explicitly wants it. If he wanted to charge for access, he could, on his current platform. So, yes.

https://buttondown.email/comparisons/substack

> So what? Yes, this is a wash, and I didn't say it was worse than before

You said it “may get worse” but what you described was a wash.

Maybe avoid the repeated insults.
Seconded, and this is why it has kept increasing. These kinds of arguments are fun to make.
It is, with quite a bit of flexibility https://redis.io/commands/expire/
Does anybody really think that one company removing users freedom at the software level, will make thieves not steal hardware worth $1000+?

This is some silicon valley tech bubble mentality.
Build roads through natural environments is pretty bad for wildlife though and really harms the environment. It’s definitely not sustainable.
With links:

RYF: Respects Your Freedom certification requirements: https://ryf.fsf.org/about/criteria

FSDG: Free Software Distribution Guidelines: https://www.gnu.org/distros/free-system-distribution-guideli...

An argument from Leah/Libreboot about why the RYF/FSDG's policies about firmware and microcode are bad: https://libreboot.org/news/policy.html
Libreboot is such an unfortunate name, as you could also read the name as a library dedicated to rebooting a computer.
Massimo Taleb
sure, one can certainly question why spelling bees exist. I agree that the very idea of "correct spelling" in a language with so many borrowed/transliterated words doesn't stand up to close scrutiny. but at the same time, it's a lot easier to communicate when you can mostly replicate the same spelling and syntax of other writers. the spelling bee is just a game to motivate children to learn this practical skill. similarly, the objective of high school debate is not to settle important issues once and for all. it is an opportunity to practice tactical rhetoric skills.

I was exactly the kind of student who loved to "deconstruct" this sort of contrived activity in high school. but frankly, now that I have the perspective to understand how insufferable this behavior is, I regret it. just let people practice the skill they want to practice in a fun competition. you don't have to participate if you think it's dumb.
With auto formatters that automate indenting (and disallow custom indenting), I don’t think that really matter anymore.
My point is that people are saying the fraudulent aspect of his crime is that he didn’t actually pray. It wouldn’t have made a difference to their lives. Churches swindle millions of people out of billions of dollars annually.
What is the colon (:) thing about?

E.g.

/*:
Some comment
*/

Is there a legitimate reason for the non-C addition atop a C-syntax?

Edit: Thanks for explaining!
August 5, 1949: Mann Gulch Tragedy (2009)
Also detailed at Wikipedia: <https://en.wikipedia.org/wiki/Mann_Gulch_fire>

The song "Cold Missouri Waters" commemorates the incident.

<https://yewtu.be/watch?v=Dztj4X3fQps>
Gosh, I love Vite. I used it for the first time last month to modernize an old project (using Vue) and it was a joy.

Is this a response to something that create-vite's React templates don't do as well?
Probably not fast enough. To actually come back to the population we have today would take a really long time.
Wrong.

https://www.youtube.com/shorts/0sWmBNj6Eok

A genuine screen from another iPad will cause this issue until you swap the chip from the old screen to the new screen.
Idk man my public elementary school gifted peers all went on to be pretty successful - head dramaturge at a Broadway playhouse, doctors, poker champion, etc. I manage software developers at a dev shop with a bunch of ivy and prestigious euro university grads.

Some people are smarter than other people, and being smart gives you myriad advantages in navigating the world. This seems pretty uncontroversial.
I don't understand giving pre-release books to TikTok influencers for promotion - do TikTok aficionados really read books? I don't think the publisher's attitude of just getting buzz is sincere towards readers and authors.
Welcome to Wikifunctions
But it’s the principles that matter, not the tables. If you understand the principles you can easily figure out 563*3557. If you only know the tables you get stuck on 16x21.

Though I agree that it’s convenient if multiplying anything under 10 is a idempotent action :)
Debate has many benefits.

Participating in debate competition does all the things you say. I would say that the biggest benefit is learning how to form a narrative.

As an observer, debate has not so many benefits in the real world. On the competitive debate stage, you have to follow some rules, in the real world, you win by exploiting people.

I do not believe observing debate is effective for finding and deciding facts.

I do not believe observing debate is effective for changing minds. The imposition of 'sides' reinforces many of the biases and fallacies that you're taught not to use; people regularly fight dirty in real life.
indian news channels have entered the chat
Oppenheimer Remains Largely Faithful to History, Some Critical Pieces Missing
> And an ebook reader

Your ebook reader it the thing being read, not the thing that reads. Glasses for reading are also called readers, and they are the tool helping you read. Here, to your point, we see "language being complicated" -- the same convention being used for opposite things. But this is a tangential point leading us astray.

I thought about this some more in the shower, and I think I can distill my objection more clearly.

Methods on objects act on those objects. That is:

object.do()

is equivalent, in English, to performing the action "do" on "object". To take a random example from Effective Go:

d, err := f.Stat()
if err != nil {
f.Close()
return err
}

We "Stat()" the file (get statistics about it) and we "Close()" the file. This pattern is well-established in both Go and nearly every language with objects. Instance methods are actions performed on their object.

Now of course "File" also implements "Reader". Yet when I "f.Read()" the situation is exactly the same as in "Stat" and "Close". I am reading the file.

So where is the "Reader" now? Well the Reader is also the file. In the conceptual model, there is no other object around. The file is both the Reader and the object of reading. And that's my problem. The "reader as tool" is inconsistent with "methods act on objects".

In the tool model you've been arguing for, I would have to write something like:

reader.read(file)

The redundancy of that aside, this is not typically what you see with Go code (though you sometimes do). You are more likely to see stuff like "f.Read()"

As I said, you can argue that Go's "File" object is not meant to represent a file, but instead an abstract tool: a thing which can Read and Stat and Close files.

But that's not what the documentation says: "File represents an open file descriptor."

That is, in the intended conceptual model, the "f" in "f.Read()" is a file. And we are reading it. And that is at odds with it being a "Reader" -- a thing that reads.
NASA’s Apollo 15 Mission: A Kid’s View from 1971
On what basis do you believe any given person is "trying to prove their moral superiority" versus some other motivation?

If it's because of some objective observation about that specific individual displayed over the course of the discussion, then your musings about some greater pattern or group are moot. If it's anything else, then you're the one not engaged in a good faith conversation.
It would be bad if GNU stomped out all other philosophies of developing software

But this is the aim of the FSF, they clearly believe that all software should be copyleft.
object.Tree has a Diff() method. You can get an object.Tree of any commit hash from a Repository with its TreeObject() method. I don't recall offhand how to get an object.Tree of the working directory or index (perhaps from the Repository.Storer?) but worst-case you could just create a new commit in order to get a hash and then run the diff.

The package is more read-oriented than write-oriented; the docs specifically say it "covers the majority of the plumbing read operations and some of the main write operations". If you're trying to diff working directory modifications, that's a write-path use-case since it implies files are being changed / you're not trying to diff two pre-existing commits.

(edit: removed some text based on an initial misreading of your statement.)
I stopped trusting Goodreads when I read a review for "The Mythical Man Month" which gave it 1 star because the author used "He" pronouns when referring to software engineers. Remember that this was a book written in 1975.
> By being able to argue for/against Kritiques, you gain the ability to quickly call out the fucking bullshit and go straight to the meat.

This! I actually laughed out loud at the following line from tfa:

> A Public Forum debater who reached Semifinals at the Tournament of Champions told me: “I had to know critical theory to win... you have to be prepared in case you have to run it or go against it.”

Literally what? That's the entire fucking point. This is like people complaining about squirrels in debate or cheese in an RTS: if it worked, you suck, so maybe try not to suck instead of whining about it? I mean, I, personally, find arguments and worldviews rooted in appeals to authority to be quite gross, but I don't pretend that I can bury my head in the sand and cry unfair if someone deploys an argument like that against me and I can't deal with it due to lack of familiarity. Not really seeing how this scenario is any different.

Even in the extreme case of an outright biased judge, that's still in the game: inverting the K to demonstrate that, actually, the side that raised it are arguing for structural racism or whatever is both a ton of fun and really good experience.

Bias disclaimer: ran/defended against Ks in PF to great success long ago
What if someone just said it, period?