skysight-inc/HackerNews huggingface dataset:
> Bullshit. Your claim that there is no abstraction error in linear algebra (when run on computers - we're in subdiscussion related to programming) is false.

The fact that you had to change my statement to add computers to it already makes it clear that you know my statement is correct. Don't put words into my mouth to prove statements that I have never made false. You also failed to realize that the tweaked statement you put in to my mouth is still correct!

You fail to realise that we can prove theorems about linear algebra using computers without actually using floating point numbers. Linear algebra can be infinite dimensional and not just be defined on the complex field, and this doesn't introduce any errors in to the abstraction or theorems being proved, with or without computers. Your assumption that linear algebra on computers is exclusively about floating point number crunching tells me that you don't understand what abstraction linear algebra represents. Linear algebra is the study of linear maps. This is a good book for you to get started [1]

You also failed to address the gazillions of abstractions that don't have errors, some of which I have listed along with linear algebra. For those familiar with proofs, Just one counter example can prove your sweeping statement "all abstractions have errors" false. We are discussing math, not physics. And if you want to restrict yourself to computable functions- modulo arithmetic with groups, rings and fields suffices as a counter example.

It isn't even clear what you mean by abstraction at all.

> We're talking about learning as it relates to abstraction.

The OP was not discussing learning at all. Your segue into machine learning concepts is completely unrelated to the topic being discussed. So is game theory. I am familiar with virtually all the topics you are discussing, so you can skip the citations. I find no coherence to any of your segues.

> You're just ignoring that these things when implemented in computers actually do have error, because you find it convenient.

You are completely out of touch [2][3]

[1]
https://linear.axler.net/LinearAbridged.pdf

[2] https://en.wikipedia.org/wiki/Univalent_foundations

[3] Mathematician Kevin Buzzard https://www.microsoft.com/en-us/research/video/the-future-of...
The voting method is by far the biggest problem.
bitcoin.org/bitcoin.pdf
> Why did the US goad Ukraine into taking a hostile stance against a neighbouring (and somewhat rival) great power?

You gravely misspelled "Why did the US support the sovereign nation-state Ukraine in asserting its independence against a neighbouring rogue state whose dictatorial regime has delusions of still being a 'great power'?"

But I don't know, maybe that was what you meant to write and some evil employees at one of Putin's troll factories inserted their master's propaganda into your otherwise so well-thought-out piece.
C++ programmer here: which one guarantees valid utf8, and why would a primitive container make guarantees about the values it's storing?
So by averaging you remove it being derivative work?
Note that this is a very old RFC and doesn't have much context and discussion compared to later RFCs. It is worthwhile to read the actual discussion happened [1].

[1] https://github.com/rust-lang/rfcs/pull/60
A brand new dell laptop would have a warranty. Could the device not be mailed back to them for repair? The one year warranty would cover exactly this. This happens with $4000 mac books also. New machines that arrive DOA or with functional issues. Why wouldn't the device be mailed back for repair?
Thought experiment:

If I take an O(n^2) algorithm and I modify it using an "upper triangle" optimization, I cut the time in half, but it's still O(n^2).

Similarly, if my code had m modules that were decreasing in speed by log n each release, then the speed of my application could reasonably be O(mlogn), and if only half of them are getting slower, then it's still O(mlogn). Ideally I would like to live in a world where 0 of my dependencies or tools get slower over time, but I am never going to see that world. If I could live in a world where log m of my dependencies get slower over time, or even sqrt(m), then I'll see some real progress (where 'progress' means breaking the regression cycle). That requires most tools to aim for that goal, not some, not half.
Could it be that smartphones and TV can cause ADHD?

Before such electronic media, books were the main media, and inherently required and trained users to concentrate on one thing at a time for extended periods.

TV and smartphones do the exact opposite
It improves battery life too.
Is there a way to prevent GitHub from doing this with forks of repos of my code?
The United States has a deeply flawed democracy and is ranked number 36 by the economist.

https://www.democracymatrix.com/ranking

We use the world's worst voting method and are heavily gerrymanded.
It's very uncommon where I am. Rape is severely punished. There are many countries like this, we're not "liberal" countries so they don't align with the Western media agenda.
The answer is not sending them to a unaccredited strip center mall charter school like some people want. Or a bible thumping parochial that doesn’t teach evolution.
The death penalty does work, and it's not abhorrent when applied correctly. What's abhorrent is what we're witnessing today.
That doesn’t have anything to do with my comment.

The model is 100% compliant with open source licenses.
I forgot who, but someone influential said more than 10 years ago that browsing internet is like having intellectual squirt, which keeps us wanting more. I guess a phone with Instagram/TikTok/Twitter just make it worse. My counter measurement is surrounding myself with all kinds of books and articles and courses. Whenever I have the urge to go to Twitter, for instance, I'd ask myself why. Usually being aware of the urge is enough for me to stop the urge. Otherwise, I'd pick a reading at the moment. If I really worry that I may spend too much time reading instead of going back to work, I'd take a Duolingo class, which takes no more than 5 minutes.
Seattle will become the third US city to use approval voting this November 2022. It will come to entire US states in the next few years. It will be dominant electoral reform in no time.
Unironically yes. The war on public schools started when the Feds wouldn’t let southerners run their segregation academies. Conservatives have been trying to sabotage the system ever since
...that was end user price, after factoring in private insurance plan.
For 13000, you can buy tickets in both directions, vacation, tooth job - and buy local car in the target country if renting one exceeds 1000 usd [1].

[1] https://extra.ie/2022/06/12/news/tourists-cancelling-trips-t...
Rapists will be deterred when the punishments are actually applied.
Haha what gave me away? Seven years in biglaw, then escaped by founding a software startup.
Grass-fed beef is no real solution to the grain shortage. For one the meat is more expensive, for another there is a limit to the land that can be used as meadows but not for other crops.
The funny thing about the "svn vs git" debate (if one could call it that), is that people always tend to focus on the whole "svn is centralised whereas git is not" bit as the main argument.

Yet, whenever I've worked on git with others, it's been on github (i.e. a centralised model). And I've worked in a decentralised way on svn on several occasions, simply by making my own local repositories and merging changes back to the parent repository when I'm done (which is effectively what git does too when working with remote repositories).

I feel that a lot of what ends up being 'bad' about svn really boils down to the fact that you need some good conventions to be honoured across the project in order to get things done (including using it as part of a decentralised workflow), but humans being humans take shortcuts and mess things up for everyone else. Which really means at the end of the day, the problem isn't the technology per se, but human relationships, manifesting as commit behaviours. Whereas git just imposes its highly opinionated model of doing things on you in order to ward off some of the more destructive human behaviours, which in a sense is good, but at the same time, it means that git can be too rigid, and svn effectively gets a bad rep for being potentially more flexible and scriptable. I've been in many situations where I had to get into an incredibly convoluted manual process to work around git's mental model to get it to work for me, when the equivalent in svn (for better or worse) would have been fairly straightforward.

(Disclaimer: This is just my personal experience from happily using both with no specific preference for one mental model over the other. If anything, I think I may probably prefer svn a bit more now. I'm probably completely wrong about all of it.)
They can already get the data from all the other apps on your device (calendar appts, location tracking, other health apps). Why is this one particular type of app highlighted?
Bezos on failure, decision making, and life
I am disappointed by the performance of a Linux desktop running in Termux on a snapdragon 888. It was easily 10 to 20 times slower than my desktop. According to geekbench the snapdragon is twice as fast. I am not looking forward to a 40x performance difference.
If error in abstraction is never right to teach as the OP claims, then you're saying that computation using numbers shouldn't be taught. It literally doesn't matter what computer programming language you use. Every single one of them has this fundamental problem, because Turing machines have this problem. They aren't defined for the reals. They are defined for the computable numbers. So you have an abstraction with error in it. You were taught it. Occasionally you are going to go on for years with this not biting you, but then it will and you'll have to adjust - maybe switching to arbitrary precision in a case where precision matters. Maybe switching to floating point when you realize that you have too much data to fit in storage.

You're claiming that if someone points out that abstractions with error - which are literally impossible to avoid - are useful despite the error, then they're just pretending to know things. But anyone complaining about abstractions having error as a basis for abstraction being wrong is fundamentally missing the point of abstraction.

We need abstraction. It isn't illogical to tolerate the error. It is suicide to not tolerate the error, because you won't terminate - which means you can't react. Haven't you ever wondered why people aren't purely rational? Why we think fast, not just slow, but also fast? These questions have answers. You can look at the foundations of learning in terms of graphs and see why it has to be so. I'm sorry it goes over your head, but it is fascinating regardless of whether or not others understand it. And I think it is worth sharing, because it is fundamental truth.

This is formally provable, but to put that another way - I don't care if you want to be wrong; good for you, saving yourself some time. Enjoy your day.
Spotify is one of a handful of music streaming products out there, and an absolute juggernaut that gives you access to basically all music and podcasts. By contrast, there are thousands of news sites, and subscribing to one of them only gives you access to their content. There is absolute no way "News Nation" is going to get enough dedicated subscribers to subsidize their reporting.
Why do I (or anyone) have to abide by what the UN says?
For a fixed ASIC die cost, an SRAM dominated chip would indeed have a lower power limit, so the mining costs would shift somewhat from opex to capex...
In reality, rich countries are still buying all the grain they can to feed their livestock and carry on as before, just a bit more expensive, while the poorer populations experience the real shortages.
You mentioned hospitals yourself. There are also alarm management solutions for alarm receiving centres, and security and emergency services. Can't really have downtime there too. Of course there are less busy hours, but an alarm can come at any moment and needs to be handled right then.
Usually you can, but it better be worth it. You’ll have to get an officer to say they’re willing to accept the risk with a high level legal counsel.

If you tossed this idea up to that level, you’d piss the officer off for wasting his time and burn the relationship with the lawyer.

Also, this team was pretty infamous at that point for not playing nice with the corporate structure (eg naming the OS Plan 9). Sure, they were rockstars to nerds, but Unix, etc. never made Bell/AT&T real money. Wasn’t their fault, but they never got internal clout and were just a small, weird group in a giant company.
To be honest, a USA football team is as unfair a comparison as you can get — they need to be physically bulky to be good at the sport. Baseball or basketball players would be a more useful comparison.
There was a musical version of the story too, "Charlie and Algernon" -- though it never got to Broadway. The music was by Charles Strouse, who also wrote the music for "Bye Bye Birdie" and "Annie".

https://en.wikipedia.org/wiki/Charlie_and_Algernon
"all of our pages are full of things that the EU wants us to ask permission for. Since we only get a small amount of EU traffic, we can't be bothered to spend the money to deal with your laws, please go do something else. You are important to us - elsewhere."
Lamb shanks, barley, and a good stout or porter are fantastic ingredients for a stew.
If you don't own the IP, like other people said, try packaging as an opportunity to sell the same app to other universities, with you sharing in the profit.
> what’s next, make warrentless, no knock searches legal

For 60% of the US population, this is already the case. Not by police, but border agents have been granted warrantless hone access by the supreme court this month:
https://nitter.net/anildash/status/1534639563167105025#m
Browsing through my distractions websites- HN, Twitter, Reddit, Dilbert - only take me about 15 minutes to note everything interesting. I do that thrice a day, and it’s more than enough.
Some distros do, and GNOME has been good to me too on many distributions with delivering a working virtual keyboard OOTB. KDE Neon, however, which I wanted to try after reading that KDE Plasma 5.25 has better tablet support, comes without a virtual keyboard (and AFAIK does not come with an easy option to install one, you need to know that it you have to install maliit-keyboard).
Maybe I misunderstood your question, what were you asking about above?
On the Importance of Writing Weekly Updates
A very small number of people trade by voice on trading floors and they are generally professionals. This is categorically different from phone apps that reach into every ordinary person's living room. No one is advocating for a return to pre-electronic markets.
Community is showing up.

Find anywhere and go there once a week at the same time.
Ask the author of whatever container you're using?
That sounds like our purchasing department. AWS always gets business first now because we don’t have to raise a PO
+1. The best advice is to go talk to a lawyer. HackerNews is full of opinionated people who aren't lawyers.
Posted here on HN by the author?
Bitcoin's price slightly dropped and processing units's price cracked as well. Buy videocards for decent price while possible because when "tothemoon" will return, prices for recent videocard will skyrocket even higher.
Ask HN: Why America build less Bathrooms per Bedroom
I come from a country where most people build homes on their own. One norm that we always practice is that bathrooms are either equal in number, or more than the number of bedrooms in the house. This is because we are always an extended family, and extended family visits us. Most bedrooms have an attached bathroom + 1 (common bathroom for guests/maids/)

In America, I found that it is exact opposite. Bathrooms are less in number compared to bedrooms. My son and daughter are fighting for bathroom time as we live in a 4 Bed 2 bath house. Adding to our agony was when my parents who recently visited us. Now, one bathroom for 4 people.

I understand the cost implications. But compared to my house in my motherland, American house is 3 times bigger. Why can't the builders reduce size and build more bathrooms.
Nah, I just had a bad experience at a "mid-sized" company that still called itself a startup 10+ years after founding.
No, they do not. They only get advertising for ads that are shown in some applications (App Store, Apple News, one or two others).
Not at all, I would never reject someone for lack of any formal paper (degree, certificate), but if I have more resumes than time to phone screen them all, an AWS / Kubernetes certification is definitely a tie breaker for otherwise two similar candidates.
the spikes aren't there to solve homelessness, they're there to keep people from sleeping on the benches.
This doesn't make much sense, for two reasons:
1. Various ML libraries are implemented in C++ and have wrappers for respective interpreted languages.
2. Given higher-level languages can do auto-diff, c++ as a lower-level language is likely to be able to do it (and it can).

It just doesn't have as popular libraries such as python/R etc given the latter are far easier to work with + lower barriers for entry.
Asking genuinely: what point are you making with that EPA data? That switching our method of transportation is more impactful than switching our diet because transportation is a bigger chunk of the emissions pie?
As a counterpoint I had a knife randomly pulled on me earlier this week in Munich. I’m sure this could have happened in the US too but I wouldn’t call Germany free from violent crime.
Agreed, but note that the power used on cuckoo cycle is less than 1 windmill can provide...
> There is absolute no way "News Nation" is going to get enough dedicated subscribers to subsidize their reporting.

That’s exactly why there should be a Spotify for text.
> Of course, everybody knows that

Lol. Thank you for agreeing. You're completely wrong about the fines part, it is discretionary. ie, if tomorrow, there is a negative press cycle, you will certainly be hit with any punishment of their choosing. The incremental warning and fines approach has no practical or legal basis.

If it does, get it in writing from __ANY__ entity entrusted with enforcing the GDPR, you will be laughed out of the room. Europe is a clown show. Ambiguity rules.

> These are the legislative and executive branches of the EU, not a bunch of unelected bureaucrats.

Oh really? Read my comment again. These assholes in the executive are directly changing the letter of the law. ie LEGISLATING.

They are further doing so with the stated objective of harming a single company. I can point you to the statements of a hundred or so elected officials, not least of all the president of the European Comission who said so in no uncertain terms when she was in the US for SXSW.

> It seems that you are very agitated because

I didn't ask you to diagnose anything, Dr. Phil. Sit the fuck down and read the comment again. The Council of State in France is who the CNIL reports to. They are the administrative justice Supreme Court.

When an agency goes fucking rogue against their oversight body while trying to kill a company, what else is it other than abuse of power? The very fact that you choose not to call this out makes me question your motives and judgement.

We have laws for a fucking reason. Not to print them out and hang them on the walls like ornaments but so there is discipline in the exercise of power entrusted in people with the power of Government. We can't have personal vendettas run through governmental office.

> I will point to Proposition 7 of Wittgenstein’s Tractatus and I won’t indulge you further on this.

Fancy. Should i be impressed? Does that disqualify all the abuse of power in your eyes?
I get your point about the friend, I was quite the zealot myself, and I have known a few others too - they were so obnoxious that I was turned off of Linux for quite a few years.

When I say that everything I need works well, I do mean it, but the "I need" part does a lot of work. I don't need the fingerprint scanner, or the built-in sound card, or the bundleware that comes with the rgb gaming mouse.
When it makes you effectively mentally handicapped (you literally need environmental adjustments in order to function) in at least two areas of life (work, relationships, household), it's clinical.
Renfe also operates some variable gauge trains on the high speed network that radiate out into the Iberian gauge lines to serve smaller cities. That said I don’t believe any cross the border to France.
I think the US is by far the most integrated and assimilated country in the world.

It has people at all stages of assimilation, including communities of completely unassimilated immigrants, but it also has large populations from just about every ethnic background in existence that consider themselves Americans first, and are also considered fully and completely American by the vast majority of other citizens. I don’t think you’ll find that to the same degree anywhere else.
Yes? That's exactly the attack that was being discussed -- plugging into a device that did that by default/without telling you/without giving the option to disable it, and possibly not even knowing it was happening.

It sound from other discussions here that maybe that isn't very likely given that the network support sounds like it was seldom if ever implemented, but it's certainly a valid concern and the type of scenario I've come to expect from adversarial consumer device vendors who now seem focused less on their products than on how their products can be a conduit for data mining their 'customers'.
From my perspective there is a large weight on the case that the "lab leak hypothesis" is not true. To present it as equally likely is very misleading.
I've always treated LinkedIn as Facebook for people that want to appear serious. Does it provide any value?
>memory was very expensive

No lie! I recall paying $200 for a Godbout 12KB (static RAM) board kit (96 1K chips to hand-socket) for my H-8 (8080; Heathkit included no RAM). Later added another 12KB for an incredible 24KB total. Only a few years later at a swap meet I landed two 16KB manufactured boards for only $50!
They usually don't have them because someone cares enough to keep the fire lit, usually people with a lot of free time. I have lived in successful areas that had an abandoned building with boarded up windows. Soon a local started pushing the city to get involved until it was finally condemned, as the owner didn't want to sell it to someone who would use it.

I can see how poor areas, especially with lots of renters and slumlords, are going to be less proactive themselves.
I don't think Poland and Hungary have a high probability of entering a war

I agree it doesn't seem that likely, but keep in mind that Poland's entire eastern border is Russian or Belarussian territory, with a speck of Ukraine in the southeast. The probability is still low, but it's higher than a year ago.
Sure, if you want to be truly specific about it and not do a Java analogy ;)
https://www.amazon.com/Spiritual-Bypassing-Spirituality-Disc...

Did Welwood really coin the term spiritual bypassing?
I read Robert Masters book and found it to be transformational. I don’t think he credits anyone for introducing the term though..
Everything labelled as "string" is a valid UTF-8 string in Rust, and to my knowledge this decision was made very early in the history of Rust (before 0.1). Many "modern" languages (including modern enough C++) have a distinction between Unicode strings and byte strings however they are called and Rust just followed the suit.
You probably just didn't get it.

Just kidding