skysight-inc/HackerNews huggingface dataset:
Erlang can be a good fit -- the concurrency primatives allow for execution on multiple cores, and the in memory database (ets) scales pretty well. Large (approaching 1TB per node) mnesia databases require a good bit of operational know how, and willingness to patch things, so try to work up to it. Mnesia is erlang's optionally persistent, optionally distribution database layer that's included in the OTP distribution. It's got features for consensus if you want that, but I've almost always run it in 'dirty' mode, and used other layers to arrange so all the application level writes for a key are sent to a single process which then writes to mnesia -- this establishes an ordering on the updates and (mostly) eliminates the need for consensus.
>> "They're still loaning out deposits, though."

I'm not the GP here but his point is that actually the bank in general does not loan out deposits[0].

Instead, the bank creates money at the moment a counterparty agrees to borrow it (in countries with a certain type of financial system, aka most countries today, with some interesting exceptions).

The name for an institution that loans out deposits is "credit union," but most people think that's what a bank does.

Most people are very surprised by this claim that ordinary banks create money, and deny it when you tell them. But really there's no coverup of this fact, it's written e.g. literally on the websites of most central banks such as e.g. [1], wherein the critical passage (in boldface on the first page) is:

"Whenever a bank makes a loan, it simultaneously creates a matching deposit in the borrower’s bank account, thereby creating new money."

This seems unjust to most people, since in our daily experience, money is not a thing which is very commonly created. I take no position on that alleged injustice here, and instead leave it as an exercise for the reader to reason out the consequences of a private-bankers-printing-money themed financial system (of which consequences there are many) and to ponder the identities of the people doing most of the printing.

[0] Sometimes it actually does turn out that a bank loans out a deposit, as the GP mentions, but this is by construction a small fraction of bank business.

[1] https://www.bankofengland.co.uk/-/media/boe/files/quarterly-...
I edited my answer to indicate that current gen 3.06TB RAM supporting CPUs are not out (yet?)
It certainly gets a sentiment score, but whether that score is in any way meaningful or corresponds to actual human sentiment is important. Otherwise, you’re just playing stupid games, and winning stupid prizes...though I suppose just stupid is a step up from stupid and racist.
As local NVMe storage does not have any interaction with the "classic" block device mapping APIs (the storage shows up as a PCI device, the same way that a GPU or FPGA does, and it doesn't matter in any way how the block device mapping is set up), there is no reason to use "ephemeral" to describe it.

Said more directly: no, it is not ephemeral. It is local storage that is tied to the life cycle of the instance.
I don't understand why the entire known software corpus is not automatically proven yet. Computation is a very strict process. I'm not talking about a computer writing code itself, but a programmer should write programs using some formal language and the computer should be able to follow the proof. I.e. no bugs.

/s
Having a plan to directly feed the Chinese search and user data is very far from "removed".

Why do they have that plan? Because there is absolutely zero chance china would allow them to operate without it.
Cross examination of an expert is pretty important.
Judges and juries are not supposed to allow fringe opinions as experts and even the best experts may hold non-consensus positions on some matters.

The fix for that system would be a "Mechanical Turk" of an expert and taking the majority vote or, if there's no consensus, dropping the matter.
The important part here would be complete blinding of each expert.

Wait, that sounds like an expert jury. :)
Do you really think PRC torturing and imprisoning dissidents is hyperbole? Really?
I found the TypeScript type checker pretty hard to read through, though it may be my lack of, well, almost any knowledge about type theory. I didn't dig much into the other parts of the codebase however. What parts of it do you enjoy reading?
"There's nothing about a silicon brain that automatically bestows perfect objectivity"

Systems that are perfectly objective about recognizing patterns will definitely be biased in their predictions, that's the whole point.
Except that fractional reserve banking is not a real thing though. Most central banks have zero reserve requirements. Even when there are requirements, they are for only certain types of loans, and often those reserves need to be met way in the future.
I'm quite certain he's still speaking, and no one is stopping him. You just can't go to Twitter to hear it.
> Edit: replace “deposits” with “reserves”, which is all that matters.

Sure. So we have a 10% reserve requirement.

Logically that means we have 90% loans, and 90% is nine times as much as 10%.

So loans are 900% as big as reserves.

Is that supposed to be surprising?
Project profitability: Overview and key factors – SlickAccount Blog
"because of systemic racism"

Sometimes data might be 'racist' (i.e. human written corpus text)... but sometimes data is just data.

Are facts racist?

I would seem the world is rather diverse, i.e. 'people are different' and as we are different, AI is going to pick up on that. That's the whole point.

Now ... some bad examples like in this example taking positive/negative inferences the wrong way. OR actual systematic racisms showing up in bad ways i.e. maybe some groups are more likely to be monitored than others, thereby showing up more frequently in mad terms etc..
It's not so much that programs are isomorphic to proofs; it's that mathematics and programming are the same activity. It's essentially a historical accident that the people who practice this activity have ended up in different groups, and that those groups use different terminology for the same things ("program" vs "proof", "type" vs "proposition", "execute" vs "simplify", "tuple" vs "conjunction", "union" vs "disjunction", "function" vs "implication", "dependent function" vs "universal quantification", "interface" vs "existential", "programming language" vs "logical system", etc.).

All of the relationships between these are the same too (e.g. a program `p` has type `T`, iff the proof `p` proves the proposition `T`; the proof `w` proves that the existence of `x` implies the proposition `y AND z` iff the program `w` is a function which generates a tuple of `(y, z)` when given an argument implementing the interface `x`; and so on).

Mathematicians and programmers do care about different things. Mathematicians are more concerned with informally proving previously unknown results; which corresponds to something like learning that a type has a value by sketching some pseudocode. Programmers care deeply about how many steps their proofs (programs) take to simplify; how easy it is to modify a proof to prove a slightly different proposition, etc. Yet there are so many good ideas on each side that are immediately applicable (e.g. dependently typed languages take rigorous logical systems and view them as programming languages; proof engineering takes software engineering ideas and applies them to building and maintaining proofs).

I'm struggling to think of an activity involving rock gardens that corresponds precisely to, say, universal quantification.
Oh, so you can receive money via PayPal without accepting their Acceptable Use Policy? No? Then that sounds like a ban with a fig leaf on top.

Or would an online bakery with a terms of use that banned "using their products in a way that could be seen to endorse or support gay marriage" be acceptable?
What are some reasons I might consider Postgres over MySQL when choosing a DB platform?
> It’s not any more unnatural to do that than it is to code in any imperative language.

Yeah, I guess the `do` notation makes it pretty painless. If you start mixing monads, though, things get hairy quickly.
His column was the only reason I still remembered PCMag exists, that’s such a dumb move.
The right to free speech is not the right to a platform.
They don't suspend by default. I don't use KDE any longer so maybe it's changed, but you just needed to right click on the activity in the activity panel and there should be a menu item to suspend the whole activity. It's really a non-obvious feature.. :)

It's very handy and it's the main thing I miss from KDE b/c you can have more stuff "running" on a wimpy computer. I'd usually have a whole activity for some project I only touch once a week and it'd just sits suspended in the background till I needed it again
Well... yes. Why not? Equal protection under the law means exactly that. If you--as a government--force a business to cater to customers it doesn't like, then you need to do this to all businesses. Why else use the words 'equal protection'? Otherwise just let businesses themselves decide who they cater to (black-owned printers, PayPal, Christian bakers, etc.)

As for defending PayPal's 'free speech rights'... that's pretty rich considering PayPal seeks to make further inroads into China, a nation decidedly anti-'free speech rights.'

That's something I find strange among most respondents here--they're very quick to defend PayPal's association rights against Infowars, yet they seem all too willing to overlook PayPal's ignoring its own core values just to do business with an oppressive regime, i.e. PayPal refuses to do business with Infowars because Infowars' 'promotion of hate and discrimination runs counter to our core value of inclusion.' China is inclusive? Huh.

It certainly makes me wonder how many of YC's community are budding authoritarians working towards the day they, too, can PayPal a person out of existence?
It's worth noting that JCD had posted some tweets the day before that were critical of postmeritocracy.org and some comment by Al Gore about Trump.

Looks like a de-platforming may have happened.
I mean, we make KKK-owned enterprises do business with black people...

One's a choice and one's not of course, but there is still a comparison to be made there.

Edit to add: it's possible that being a conspiracy theorist is as much a choice as being schizophrenic is. If that was the case - true, proved beyond any doubt, it's genetic or environmental, whatever - would you be willing to extend the same protections to conspiracy theorists as you would to other protected classes?
“Misunderstanding”? Not necessarily. More like “not caring enough about Europe to bother researching how to comply”.

This is the natural reaction when random parts of the world decide to try to regulate what sorts of sites you’re allowed to put on the internet.
So I am not Bulgarian, and not currently in that hemisphere. That said I feel as though this is unfair to many in the ex-Soviet blok countries. There was a push in many to force equality of the genders, which may or may not have been misguided. One of my Maths professors who was very influential to me, was from that region and that time. I thank everyday that she was in a country and position to learn that. Otherwise I would be unemployed like my brother.
That seems right. The KeepAlive muscle finally gets to relax.
> “There is nothing here to begin to enable us to propose that on DMT, you literally transcend the laws of this universe and do actually go to another world,” he says.

This is faulty thinking. An afterlife doesn’t presuppose a violation of natural laws, or a separate world. It just means you continue living in a different form.

The only thing that would be required for that is a causal relationship (yet to be observed in science) between your dying mind and some other living structure.

The causal eelationship needn’t even be mind-out. If your mind is caused by the enduring structure and you experience its presence at death, that would be physically indistinguishable from you becoming that thing.

Given that we continue to discover entirely new structures in both the biological world and our own bodies, which were hiding in plain sight, I don’t find this implausible.

That’s not to mention psychoaocial structures which science hardly can model, and to which our individual minds are very tightly coupled.
yes I should clarify that after the experience, it felt like I had been in a sauna for the psyche. Basically, I had lingering sense of peace and wellness.

The scariest shit I've seen while tripping was seeing the Eye of Providence. What's more creepy is that this is a common symbol people experienced. For example, I didn't know what the hell was a third eye until I saw it. It was unbelievable.

It changed my life. It gave me an unbiased raw truths about myself, circumstances, and ultimately the realization that we are where we are because of our decisions in the past.

Everyone should consume psilocybin mushrooms once. LSD you buy off the street can be laced. But good ol' mushrooms will never let you down.
Why do I care if it's first, second, or 100th? It has the same value to me. Thank you Mariko!
Hypnotism Act, 1952 [pdf]
Bitcoin Core Developer Joins Forces with Former Morgan Stanley Exec to Warn SEC
“Everyone loves a tale of a bootstrapped startup founder’s journey to an eight-figure exit.”

How is raising $500,000 bootstrapping?
Have been using Elm architecture for a while, and also have pushed my code toward an immutable core/mutable shell architecture since watching Vladimir Khorikov's video on the subject at Pluralsight, but had never considered how the two are interrelated. Thank you for the big light bulb lighting up in my head just now.
As a person trained in maths, I feel like this is a little to in itself. There are many scenarios where a similar thing happens. When I was digging ditches during KSMAP there were many periods where you get into the groove another speaks and you forget.
There are a lot of people who use the My Lai massacre as an example of the 'real' America. There are a lot of My Lai's and William Calley's in other countries throughout history. But far fewer Hugh Thompson's and to me that's the 'real' America.

In Michigan we've got the recent example of Dr. Hanna Attisha and the Flint water crisis. She was vilified by Flint officials, state officials and by the state's universities. The state health director called her irresponsible and execs at her hospital wanted her fired.

Worries made her physically ill. I do not know how she stood courageously for so long but she did. Eventually a Detroit Free Press article supported her and in time everyone withdrew their opposition.

https://www.freep.com/story/news/local/michigan/2015/10/10/h...
This is really too bad. After 36 years, they don't have the courage and decency for a call.

On a side note, I had always assumed 'Dvorak' was a penname --however, I've learned he's actually related to the actual Dvorak Keyboard creator.
Makes sense. According to the data sim, from 3:15am to just before 4am, about 96% of people are asleep. So if you're up and about at that time, you're really seeing an unusual slice of the population.
> Even at top tech companies l I’d say 80% of the value was added by 20% of the staff.

That may be true but it doesn't relate to my point as much as you might think. I believe the main reason most people don't contribute in a given organization is because the organization creates little incentive to do so, so mostly people are running off of their own motivation.

What I mean is, people contributing to most of the value are not such because they were born talented programmers or ground their nose like crazy, they mostly just actually care and invest into the subject.
Another hero, whom I as a judge advocate personally admire, is Captain Aubrey Daniel III, the prosecutor in the case against Calley. While still on active duty, he wrote a letter to President Nixon urging him not to intervene.

Thompson displayed both physical and moral courage, whereas Daniel was never in any danger to life or limb. But his moral courage is courage nonetheless.

https://www.famous-trials.com/mylaicourts/1623-daniels-ltr
In a competitive market, if the Fed is paying out 1.95% to bank reserves, there is no reason why my savings account shouldn't pay me that figure minus a spread for expenses and a profit spread.
I think it's more complicated than that. There were at least some people who were not planning to surrender. If it was up to me, I would have probably dropped it on a mostly uninhabited island near Japan. It's probably true we wanted to scare the Russians with our new super weapon.

But the big question is if Japan was close to surrendering anyway is why didn't Japan surrender after the first one, why did it take a second one?
He still has that. Just without someone else's soapbox to stand on. Being obnoxious is a right, but it can invite consequences.
As Uber proved: AI is hard, but labor arbitrage is easy.
I have been in both, albeit in BC during fall two years past, and Newfoundland in summer eight years ago. In Newfoundland, I was purple in minutes, but in BC I was relatively okay for two hours for my lesson. So I do disagree humbly.
I meant cheaper while still offering the same degree of talent. Not just cheaper. But I think you raise very good points about framing the discussion in terms of talent rather than cost.
I think that's what's happening, but the "profit spread" expands to fill any additional margin. It's not a competitive market and I see no reason to believe it ever will be.
Using CPUID as a serializing instruction before RDTSC{,P} is a bad bad thing to do inside a virtual machine on Intel processors. CPUID will cause a VMEXIT, and the CPUID instruction will be emulated. The Intel Software Development Manual Instruction Set Reference gives good guidance on using MFENCE and LFENCE as required.

https://software.intel.com/sites/default/files/managed/39/c5...
Regardless of the whole ICBM issue even the suborbital stuff needs a 'license' too.

When we went out to the desert to launcher the "bigger" stuff(class H to O) we had a waiver with the FFA each time with a launch ceiling of around ~10k AGL or so.
Curious, is what the article describes illegal? Or just false marketing.
I did a quick Google and found him at:
https://www.weber.edu/performingarts/shannon_roberts.html

The working paper at the time was called "Global Relative Dissonance Theory" or something to that effect. I think I'll drop him a note and ask about it. My hunch is that it didn't see much interest outside of the school (University of Utah at that time), but I also more or less left any academic music pursuits around that same time so I just might not be in the know.
While Dvorak's right that it was a shabby way to end things, it very well may be that PC Mag is on its way to shutting down. Note that the screenshot of the email notifying him indicated they were going to 'put all outside columns on hiatus.' That sounds like pure cost cutting to me.
I could never figure out why car manurfactures do this. I just disabled the artificial engine sound on my 2017 focus rs and it's so much better. Also music sounds better and louder when accelerating because the sound system is not mixing in engine noise anymore.
Off topic, but SixthTone is an interesting publication. It is actually controlled by the CPC in an attempt to create news that westerners would actually read [1], as opposed to Chinadaily and Globaltimes that are too obviously propaganda. In this case, they go with China-critical articles and then try to direct the message to a pro-government position from that perspective.

This is actually how wumaos are supposed to work in China as well. If they go with a blatantly pro-government message, they will be ignored by anyone critical of the Chinese government. So instead, they come in agreeing with critical positions and redirect sentiment from there. So if you ever hear someone who sounds like a wumao, they are probably just overzealous nationalists and not shills.

[1] https://foreignpolicy.com/2016/06/03/china-explained-sixth-t...
Paypal dropping merchants for arbitrary reasons is not evidence in favor of them caring about their community guidelines. Consistently dropping merchants for well-defined violations would be.
Download Yosemite DMG
Ask HN: Any advice for travel technology startup?
A thing more oft than not forgotten about war, is the individual element. I was in my countries armed forces, while necessary. I saw many different types of commanders during that time. One thing not to forget is that a person is still a human even if a soldier. My commander ordered things I hated to do, while a person in a similar position was hung for failure to perform duty, allegedly because of his belief in human life.
One thing I have learned is that relying on hearing is very dangerous. You may have a car coming in your direction and if you don't look the other way you may not notice a car coming from the other direction.
And I'd strongly recommend paying for DAS and looking at every.single.video in there. Gary is brilliant and each video explains stuff in a very simple, enjoyable way.

Reminds me a bit of Ryan Bate's ruby/rails videos.
He had a good run and was getting paid for about a decade longer than he should have.
What exactly do you propose as an alternative to juries.

Its not about caring or not caring about wider society. My point is that a society can't produce a system better than itself. Problems that exist outside the justice system are virtually guaranteed to leak into the justice system.

btw you know that you can actually waive you're right to a jury trial and get a bench trial if you really want one. Of course you have no control over which judge is assigned to you. LMK if you seriously want to take that gamble.
The Inexplicably Fascinating Japanese Art of Being Useless
I feel ya I wish ford wouldnt do it, but as a silver lining it took me 30 seconds to disable it on my 2017 focus rs, so at least it's easy to turn off.
Maybe, you know, humans are simply not Chinese rooms.

Recently there was an article about recognition of bullshit: https://news.ycombinator.com/item?id=17764348

To me the article brought great insight - I realized that humans do not just pattern match. They also seek understanding, which I would define as an ability to give a representative example.

It is possible to give somebody a set described by arbitrarily complex conditions while the set itself is empty. Take any satisfiability problem (SAT) with no solution - this is a set of conditions on variables, yet there is no global solution to these.

So if you were a Chinese room and I would train you on SAT problems, by pure pattern matching, you would be willing to give solutions to unsolvable instances. It is only when you actually understand the meaning behind conditions you can recognize that these arbitrary complex inputs are in fact just empty sets.

So perhaps that's the flaw with our algorithms. There is no notion of I understand the input. Perhaps it is understandable, because understanding (per above) might as well be NP-hard.
Where I grew up, there is a majority group with fair skin, later(possibly incorrectly) attributed to the fact that they worked in the fields less. The minority group is darker skinned. If you train any reasonable machine learning model on any financial data, it will pick up on the discrepancy. If it did not I would say it is a flawed model. But that is more a sign that people should avoid such models.
Yeah, not really how that works.
An AmazonBasics Microwave That Works with Alexa
Thos is not the reason. The real reasons are explained quite nicely here [0] and I agree with all of them - though I still use Git because of network effects. My alternative of choice would be hg.

[0] https://sqlite.org/whynotgit.html