skysight-inc/HackerNews huggingface dataset:
> Guess there's no accounting for taste,

That's exactly it. Taste, you either have it or you don't.

NeXTSTEP was good enough to pass the Steve Jobs taste test. Outside of Apple products, I double anything you consider "aesthetically pleasing" could say the same.
Yes, NZ had 2 parties trading off power for decades until we got rid of the FPP system (like the US/UK), we now use MMP (the same as Germany) and we haven't had a government that wasn't a coalition since (even this time when one party did get more than 50% of the votes).

What it means is that to form a government parties have to form a coalition and that means compromise, done in public - compromise is a good thing, a mediating thing, if you're a party that can't compromise you'll never be part of a government - and voters understand this, they understand that it takes time to compromise, we might not have a government for 3 months and all of a party's promises might not be able to be kept as part of a compromise.

It's not perfect, but I do think it's far better and far fairer that the governments we elected under FPP (when sometimes the party with the most votes didn't get the most seats, and smaller parties could never realistically get a look in)
I would question why anybody is still running High Sierra at this point. Any hardware that far back has to be miserable to daily drive.
It must be remembered that Huawei broke into the Ericsson-Nokia-Alcatel standards cartel by threatening to go with their own 3G standard if it is not incorporated into the global standards.

India is one country where bureaucrats, academic and industry fight each other in favour of global competitors. This is a massive failure to start early, must have been an issue a decade ago.

We could instead attempt for a 5G+ or 5.5G in the lines of LTE by about 2025, with the support of companies like Reliance & Airtel.
I will probably get whipped for this, but what about submodules?

If I am working on a bigger project with multiple smaller projects I create a folder structure locally anyway!

I can commit them too and when pulling I can just choose to only pull the one submodule instead of all of them?

Working on them is essentially the same, you just need to update the main repo once in a while or run git pull independently.
> isn't a term to be making new uses of in the US.

And even if that’s true, why should iorate, a Japanese developer, give a single damn about that? The world is way bigger than the U.S. A few countries’ names can’t even be mentioned without offending certain American sensibilities. Stop exporting this bullshit please.
That has been the case since the industrial revolution, though. My theory is that political affiliation has taken the place of religion. Particularly on the left, but you can see a lot of it happening on the right now too since Christianity has declined in influence in the Republican party.
Can we please stop using screen scraping for bank connectivity?
I guess the author received authority to speak on behalf of all Tesla owners, IPO buyers, and money lenders. Or so (s)he thinks.
Sometimes there are good articles on it, scribe.rip is pretty handy for reading those few.
Waning Covid super-immunity raises questions about Omicron
Mega Mansion – Furniture 3D Map
Also the magic number database for guessing the format of a file:

https://www.darwinsys.com/file/
The psychology behind wrapping paper (2010)
North and South Korea agree ‘in principle’ on formal end of war
I mean one of them at least went ahead and wrote (technically is in the process of writing) an entire operating system from scratch in response.

I say this as someone who uses and has used linux as a daily driver for years now but honestly I don’t feel good about the future of the platform in the medium term at all.

If anyone has some time to throw at understanding why this is probably the single most sober and rational set of arguments I’ve found of the topic yet https://m.youtube.com/watch?v=WtJ9T_IJOPE
Can you clarify what TSC means exactly there? in equation 3 it enters a consumption equation in multiplicative form yet in the appendix ""TSC" is the equilibrium response of global mean temperature to a doublin
of atmospheric CO2 concentrations (°C)". Isn't that a confusion of units to multiply a financial quantity by a coefficient that determines temperature?

As such I'm unable to tell (with the time I have available here!) how Nordhaus estimates the severity of any given global temperature change i.e. what data is used to calibrate that relationship

And more crucially to tell whether we're measuring the right thing, as all this seems to be measured in terms of consumption which is usually a financial measure: if (repeating my point above) food takes substantially more effort to produce, or is scarce, in a different climate, then consumption could be shown to increase even though people's wellbeing would decrease?
sublime text is the best editor currently, in my view.

apart from code folding.
That's the point they were making.
Same is done with the bluetooth standard. Manufacturers proudly claim their product uses bluetooth 5.0, reviewers assume that means higher speed and lower power, but the products don't actually have to support all sections of the standard and can pretty much just be bluetooth classic with 5.0 slapped on the label
Apropos. Is it possible that there will be a "HTML-phone" in the future with Fuchsia and all that sheite? It would be so much more comprehensible, if the homepage in my Phone is just a local web page, just like in a chromebook.
The TikTok Couch Guy. Here’s What It Was Like Being Investigated on the Internet
It doesn't have to be that way. Linux works great on extremely old hardware
Let me give you a concrete perspective on living in post-communist Bulgaria, which is a rather cynical, nihilistic and fatalistic society, at least by Western standards. There is no meaningful political debate about future policies, what we have instead is name-calling between politicians using a pre-defined set of labels ("anti-communist", "communoid", "Soros-funded foreign agent with a neoliberal agenda", "rusophobe", "rusophile"). It's an inherently fruitless construct which fortifies itself as time passes. The wider population believes in "conventional wisdom" and also recognises these labels. For the anti-communist camp, all of the evil in this country was conceived by a few state security officers during the early 1990s, who were directing a puppet show in front of the population. For the pejoratively called "communoid" camp, all of the evil was caused by the new "democrats" who sold profitable state enterprises for pennies to questionable individuals.

It's a self-inflicted reality which persists much longer than is needed. The state security officers are now mostly dead or in their late 70s, those state enterprises are bankrupt from long ago, yet somehow it is still a relevant identification issue when it comes to your political beliefs.
That's... not my understanding of partial functions.

I thought partial functions are functions where you don't supply all the arguments, so the return value is a new function that is ready to accept the missing arguments.

```pseudocode

add(1, 2)
> 3

addtwo = add(2)

addtwo(3)
> 5
```

I'm certainly wrong because John D. Cook uses a lot of big words that I don't understand. CONFUSING
Yeah. We've had the same hopes for mobile phones and at best you can hope for makes that do not overload their models with their own sh1tware on top of Android.
Side note, sulfides are why hard boiled eggs turn green if you cook them too long.
For those not on tiktok, I'd say it's less toxic than Twitter (which isn't hard). However, fads move much faster there, with random small things exploding in popularity then getting remixed / parodied / mocked / etc. within only hours of appearing.
I suppose that you could invite quite a lot of people less intelligent than yourself into your world, and still be surrounded by brilliant people.

For some of us, inviting people less intelligent than ourselves into our world carries significant risk of being surrounded by idiots. ))
I got to _love and tried clove and glove. Neither were the answer. Anyone?
Worse in that a lot of researchers actually have only the slightest grasp on statistics. To the point that I would assume that a lot (1 in 20? :-)) papers will contain an error in their statistical analysis of their results.
for those interested, I recently found this YT channel, run by a Canadian that moved around a lot and settled in the Netherlands. He goes into various urban planning issues, and breaks down some of the reasons why he thinks Dutch cities are more livable than US-ian.

https://www.youtube.com/channel/UC0intLFzLaudFG-xAvUEO-A
Thanks for completely ignoring the "if" and recommending my own email provider to me, followed by verbatim repeating what I said in parenthesis. 10/10 mansplain.

(I might be slightly salty about the repeated use of "he" further down this chain when "they" is a perfectly fine unassuming default)
> They are usually the first to do every terrible consumer-hostile action because their victims are locked-in suckers with Stockholm syndrome whose devices don't work with any other companies devices or accessories.
> any conversation about companies being assholes will skew towards discussing Apple, because they are the biggest and most successful assholes.

It's a pity I'm unable to downvote answers to my post because this really was one of the most worthless things I think I've ever read on HN.
Would you mind sharing what the handy feature is? or the Calculator even?
Can be done, ARM has better support for predicated instructions. May be done without using inline assembly.

But I guess ARM CPUs can also have a smaller branch penalty, which means less speedup from such a patch.

You can try it by replacing the inline assembly with the commented code above it (also don't forget to remove i386 and x86_64 from #if). (Although the code could be rewritten a bit to help the compiler make better binary code for ARM.)
A redirect has its security gotchas as well: if you usually rely on redirects to reach HTTPS sites, you are just as prone to get redirected to a malicious site using MITM attacks (eg. while on a cafe wifi). If there was a redirect, you could easily be MITM-redirected to eg. https://blog.bozh0.net and you might not even notice.

Browsers are finally starting to default to HTTPS without using a whitelist when no protocol is specified. That's the only reasonable approach, and hopefully in a few years, that's prevalent. Maybe browsers can also start doing something "smart" where they also fetch https resource when http is requested, and switch to https if they largely match.

Combining it with secure DNS is the only way to true protection against eavesdropping and MITM attacks.
Not sure that is totally true since the industrial revolution. 50 years ago when learning how to drive there was a lot of learning on how a car works, for example. That is completely gone now.
No windows build?
Comparing the failure of a multi million dollar space probe to a stripped screw head seems like an even worse analogy to me.
You're right, it's been a while since I went there. I forgot about all that shit.

I'm sold.

Death to Pinterest
> The ones who fight corruption are the most corrupt.

I can understand the other points, but not this one. Can you expand on that?
Does it? Getting the UN to act on things is not easy, and even genocide hasn’t spurred timely action.
I cannot understand why DDT is forbidden, but 10000x more powerful insecticides are not forbidden. WTF? Birds are dropping from the sky in Spring, because they have nothing to eat, because bugs are gone while seeds are not ready yet.

Also, air pollution makes them weak. Birds are much more sensitive to air pollution and CO2 level, because they breathe at much higher rate while they have much lower mass than land animals.
You can divide one Bitcoin into very small parts, the smallest 1/100000000 part of one.

The bigger problem is that the transaction fees are much too high to buy small things.
That's called Currying. The Add function isn't partial, it has been partially applied, so its the application of the function that maybe called partial.

Different communities using the same word to mean different things is a problem. Especially so, if one isn't aware of it. Another overly abused and overloaded word is functor
Ender's Shadow didn't even make the shortlists for the Hugo or Nebula awards.
With TCP reset
There is the whole WEIRD participants thing ... of which I am guilty too, only because that's the crowd you can easily recruit for experiments on campus.
i vote #1.

for several reasons:

- looking for this kind of software (and most kinds) sucks
- these systems always seem overpriced
- they never seem to do what you want
- while they always do way too much
- community gardens are cool, so deserve their own type of system
- airtable and the like are awful (imo), unless you truly need them
- you can open-source the software if that's your thing
- and you can provide the .com saas hosting if that's your thing

well, as you can see, i was building my case, but then i found this:

https://www.communitygardenapp.com/
Bulgaria's eGov minister is a developer, ranked #40 all time on Stack Overflow
I’ve seen this tip pop up a few times, but it is worth noting that the way to break a window isn’t to hit it with the metal bits.

You have to insert the metal rod between the bottom of the window and the door card and use leverage to pry at the window until it cracks
I started my early twenties with a positive and optimistic outlook on life, humanity and how my life would progress.

However after a decade where I've lost a parent, failed a few relationships, going through multiple burnouts at work and last but most severe supporting my partner through two cancer treatments (which is thoroughly a hard stop for us trying to start a family) I have been fully transformed from that initial outlook and into a cynic.

And it feels uncomfortable, as it is not the skin I feel used to wearing.

So if nothing else, this article at least directed me towards this no-complain challenge, which I think I'll give a go. For that I'm grateful.
What means D < U in your notation? It's like, D is a subset of U?

Anyway the problem with trying to make a function total by fiat like with the definition (D, R, f) is that for some functions (even computable functions), its domain may be an uncomputable set.

That's because if we could decide if a given x in f(x) makes f return something or not, if f represents the output of a Turing machine we could use that to solve the halting problem.

So while in principle every function is total in some domain D (precisely the domain which it is defined to return some value), sometimes we can't talk very usefully about this domain. In this case, we choose to treat f as a partial function and talk about a larger set of values D' f receive as input (and might or might not return anything), for which D is a subset.

Some properties might not be literally undecidable but we may not know how to solve them yet. For example, the function collatz : Nat -> () [0] that receives a natural number and either return nothing if its collatz sequence[1] eventually reaches 1, or else run forever. What's the domain of this function? (you can switch this for any actually undecidable problem for extra hardness)

Unfortunately the linked article doesn't talk about this particular motivation for defining partial functions in computer science, and instead cites sqrt as an example, even though it has a perfectly computable domain. The domain of sqrt is just the non-negative reals; which we could give a more precise type to sqrt in if we have means to define the type of non-negative numbers (maybe using the smart constructors[2] technique, available in any programming language that lets you to define records/structs), which may or may not be ergonomic. We don't need dependent types for that, but they could be a tool to make this stuff ergonomic and actually check this at compile time (first class support for refinement types would also help).

[0] something like this

fn collatz(n: natural) {
while (n != 1) {
if n % 2 == 0 {
n <- n / 2;
}
else {
n <- 3*n + 1;
}
}
}

[1] https://en.wikipedia.org/wiki/Collatz_conjecture

[2] https://markkarpov.com/post/smart-constructors-that-cannot-f...
> Neither was very hard, Android came with root in developer tools at first, has very easy root, and you could always just chroot if that was too hard.

Been there, done that. Doesn't matter. Tinkering with a critical life infrastructure device vs, tinkering with a device made for tinkering is different. Way different.

> Jailbreaking was so easy someone like Justin Beiber did it

Again, doesn't matter because of the reasons I've said earlier. I'm using both platforms for a decade, and won't do them to my primary devices either. Because these devices are handling a lot of stuff for me, tinkering with them is not an option.

> Pi was an image on a microSD, some computer interfaces, it was very slow, burned out the microSD card, and was discouraging for me to use when I had a much better computer, the phones were easy to invest effort in, if I had a way crappy computer I wouldn't do too much with it, most people throw PiHole and never touch it again.

Actually, with a semi-decent SD card, burning one out with a Raspberry Pi is almost impossible. If you're worried about that, you can add a ZRAM, move swap and some folders to it (as Raspbian does), and sync during reboots, or periodically. If you're downloading world on it, a USB drive can alleviate the worry too.

On the slowness side, a first generation Raspberry Pi has a comparable performance to a Pentium II - 266MHz system, with similar performance to GPUs of that era. Considering the things I've done (live webcasting for example) with a P2 at that time, A Raspberry Pi is a powerhouse for its size.

You may have a much better computer with way higher specs, but you're missing the point. A Pi is a literally unbrickable and forgettable Linux PC with decent performance and no noise for many tasks many people do. I'm running an home infrastructure on an OrangePi Zero and the bottleneck is the 512MB RAM, not the CPU. With a decent SD card, it's not slow either.

I can replace all of it with a Raspberry Pi 1 or 2, but the OrangePi is much smaller.

Just because it can't race with a specially built workstation, doesn't mean it's useless.
> The point of https here is to serve as a guarantee that the content you see is the content that was provided by the server and not something that was injected by somewhere between the two ends of the wire.

As I highlighted above, a redirect from http to https is going exactly against this. If you care about MITM attacks for your visitors to that extent, you should not serve any traffic on HTTP. Yet that's a usability nightmare because of how web clients (not just browsers) operate today.
Sorry but you are sorely mistaken. The disruption for well-off people in rich countries was fairly minimal, but in other parts of the world and even in the poor areas of rich countries people felt the effects. Food insecurity in some countries is higher than ever, not to mention effects like years.of education missed (e.g. Philippines had 18 months of home schooling).
"Partial functions" as used in the article is a pure mathematics term. "partial application" is what I'd call your example.
seems like we cant win this one. I mean its -only- the interface all of us use every day.
Much like my code, starts out ok. Then breaks, and I fill it with gold so it is beautiful. Except that part about gold and beauty...
Temperature is an emergent phenomena, it is a value that describes the bulk behaviour of atoms.

But the feeling of something is a different thing entirely, it is an entirely different category of thing, it isn't a number, it isn't a thing. Do what I said in the first instance, pinch yourself. Feel the sensation, appreciate that there is a thing that it is like to experience the sensation. Then try to understand how the experience can arise from the matter. When you argue this point entirely within the confines of the abstract machine of scientific reason then you lose connection with the only piece of information that you can ever be certain of: That things feel like something, qualia is real. All other things that you may think about the world are guesses.

On your second point, I believe that the physical world is entirely an expression of consciousness. So it follows that the study of physics is the study of consciousness from an external viewpoint. The action of consciousness is physics from the external viewpoint and what we feel is what physics feels like from the inside. So if quantum mechanics proves that there is no identity to this electron rather than that electron, then it follows that this electron has the same consciousness as that electron. Because fundamentally matter and consciousness are the same thing.

When you take a strong materialist line you are disagreeing with a great number of highly influential and deep thinkers with academic credentials as long as your arm. You are also arguing against one of the favoured viewpoints of contemporary philosophers.
How to Dial It Back When You’re a Chronic Overachiever
> It's a charge designed purely to extract as much money from their customers as possible

I don't think that it is. I think that it is a charge designed purely to normalize the idea of paying for everything as a subscription.

The next generation of car buyers might not realize that this is ridiculous because by then _everything_ is a subscription, from their shoes to their haircuts.
Lol and he’s a blockchain developer so by definition he is a fool
"The remainder is not expected to be mined until February 2140. Until then, miners can continue to earn bitcoins."

/thread