skysight-inc/HackerNews huggingface dataset:
Very interesting. I'm wondering if this has implications in physics ? Since "the book of nature is written in mathematical language", does this mean that attempts to find a unified theory of everything are doomed ? I'm thinking not necessarily, since we wouldn't need to prove all possible physical phenomena, only those that actually happen, but how do we know if they are among the one that can be proven ?
You probably shouldn't be opining on these matters if you don't understand the distinction between "revenues" and "profits".
And in practice, with Java, C#, etc programs, there's a high level catch that prevents anything terrible from happening. Http requests return 500, UI threads show an error dialog, etc.

In almost all business processing, thanks to the magic of transactions, you never end up in a bad state.
Rob Pike wrote this about handling errors https://blog.golang.org/errors-are-values

This is like an option type but manually built.

Go is painful if you don't want to write high-quality heavily exercised production code. If you do, then you should be considering each error condition. Most code doesn't need to worry about error handling as it will run under close supervision on at most one machine over its lifetime. Go is a nuisance for that.
intersting. how's that work out in practice? seems like it could be clumsy.

e.g. what does binary search look like in elm?

in general i always thought out-of-bounds controlled-crashing seemed the program was a reasonable thing to do, since it's arguably a bug in the program, not an error in input.

or what about integer oveflow? or divide by zero, it would seem very impracticle indeed to wrap all those operations in maybe...
I have literally never heard of any of these things. I know the undergrads have a very unique subculture here, which grad students aren't really a part of.
How Games Generate Terrains
What’s expected of us (2005)
One role it fills is seeing what people unlike yourself in all corners of the world, different age groups, different cultures of all kinds, and so on, are up to, interested in, how they live, and all sorts of unexpected things. I find it to be far more accurate than the imagination, which seems to be most people's preferred approach to forming opinions about people they know nothing about.
Half of this proposal would neuter the amplifier aspect of social media.
Sheet music always has room for human interpretation.
“ Within 60 days of discharge, 189 patients (15.1% of hospital survivors) were rehospitalized.”

As contrasted to return visits of roughly 10% of general ED cases

https://www.sciencedirect.com/science/article/abs/pii/S01960...

“ On return visit, 40.2% of patients were treated and discharged from the ED, 36.2% were treated in the ED and admitted, 14.4% were treated in the ED and then the ED observation unit and discharged home, 12.3% were directly admitted to the hospital, and 2.5% were treated in the ED and then the ED observation unit and admitted.”

Note that COVID hospitalization patients skew old...

Would be nice to find a similar article for pneumonia patients...
> I made a huge mistake of not applying there and to MIT. I was concerned about the heat in Pasadena and the piles of snow in Boston (silly me. why don't Ivy's relocate someplace nice like Hawaii?).

Neither MIT nor Caltech are Ivy League schools.
Apple's "demo" showed Docker for mac running, complete with containers. https://i.imgur.com/bQb1grM.png

Docker here is saying their "for mac" application dependencies are not even all working yet.

Unless I am missing something - Apple's Docker on silicon demo was fabricated?
Airbnb S-1 reveals $1B in bookings refunded in 2020
My personal favorite psql command: \e, which is used to edit the query currently being written or the last query run in your preferred editor.
Or you could have just caught panics at the top, and transformed them to errors.

https://github.com/dre1080/recovr

That's what we do. Well we always use errors, but we can't be sure the packages we use won't panic.
No algorithms?!
However, when Facebook “fact checks” a post, they become a publisher.

And the moderation exemption is very specific to types of content. It doesn’t, for example, allow blanket moderation for political reasons. It specifically mentions lewd/excessively violent content. It isn’t a blanket “moderation” exemption.

Also, “good faith” is explicit. Moderating one political viewpoint while allowing another isn’t good faith. Stop the Steal is censored. Many ANTIFA groups aren’t.

From the law:

No provider or user of an interactive computer service shall be held liable on account of—
(A) any action voluntarily taken in good faith to restrict access to or availability of material that the provider or user considers to be obscene, lewd, lascivious, filthy, excessively violent, harassing, or otherwise objectionable, whether or not such material is constitutionally protected; or
(B) any action taken to enable or make available to information content providers or others the technical means to restrict access to material described in paragraph (1).
The immune system at its core is basically rolling dice like crazy for new random RNA source code that is compiled into molecule hardware that will hopefully work against the invasor somehow. It even has a mechanism to deposit samples of the invasor were the freshly rolled candidates are let loose. Apparently it's buying into the TDD paradigm. The dice are probably not rolled to try completely random RNA sequences with a D4 for each base, more like mashups of the existing library from previous infections. Different immune systems can come up with different solutions to the same virus and even the same solution can be stumbled upon very early or reached very late, only hours before EOL. The content of the existing library likely plays a decisive role and even more does the general bandwidth of mashup attempts. This apparently shrinks drastically from children to elderly. Maybe an evolutionary tradeoff to compensate for the weak library children have, maybe a side effect of the existing library.

(source: mostly stuff I read linked from the hn page, hopefully without excessive misreading)
Weird flex, but okay.
Personal Budgeting App
Working my way through building a personal budgeting app in the same vein as https://github.com/inoda/ontrack. I'm looking for some feedback and ideas to make it better
Please see this[1] great resource from Daniel Roschka for what works and doesn't on the various macs out there.

More often than not 2.4ghz wifi will work, but 5 ghz will not. Additionally, restore from sleep is still an issue.

In short you'd likely be better off selling the mac and buying a thinkpad.

[1]https://github.com/Dunedan/mbp-2016-linux
The good news is that with the death of the profit motive, machine learning applications will become less important for the operation of Facebook's core mechanisms.

Yes, you are right about the government, but I think FB is being used by the government to get around the built-in legal protections. Moving it to the other side might make those tradeoffs more visible, but also more fair.
The more I think about this, the more I find myself coming around to a hybrid of your idea (strict neutrality) and Zuckerberg's original position (moderation of free speech is not their job).

Facebook et al.'s fundamental sin was optimizing the sorting and broadcasting algorithms.

I get it drove growth and made them the giant companies they are today. But it's not really a core competency, and now it's more trouble than it's worth. In fact, it's metastasized into an existential threat to them.

They should announce they're going back to naive ranking and sharing, and that they expect all external moderation requests to come through legal channels. (And then spend their billions digging the widest moat of integrated services and infrastructure they can)
Self regulation is the only way forward. I think of social media as a drug, you can easily overdose off.

When I was younger this junk made me so miserable. You invite people you’ll never meet to judge every aspect of you . Been social media / online dating free for about 2 years. And I’ve seen massive gains income wise and my emotional well being.

Like other drugs self regulation is the only real path. You can’t stop people from hurting themselves
Docker is likely saying that it doesn’t natively run on ARM yet. Apple’s demo was likely using Rosetta. That said this is all speculation at this point. We’ll know tomorrow.
> At this point I see an Apple Silicon based Mac is just a consumer device

Not everyone runs Docker or similar to do their work.

If it turns out that Apple’s performance claims are true, I don’t see people easily letting it go, a snappy machine is a serious advantage. After all, we are in this deep trouble because of the endless layers of abstraction, so I don’t see it getting any speedier anytime soon for the status quo.

Amazing blank sheets could open on this news M1 macs.

The performance claims are substantial, it could mean 3000$ snappiness at 1000$. A bit like making cheap DSLR and now everyone is a professional photographer, making room for new tools for the new comers.

Mac prices are the gatekeeper for the Apple dev ecosystem in the developing world or students from low income background because most will try to get the best bang for their limited bucks. Maybe it’s possible to unlock it?
Tesla to join S&P 500, spark epic index fund trade
Ah, yep, interesting! Thanks for the direct link.

Ok, I wrote a long reply trying to figure out what exactly 2 is for him in terms of modern set theory notation, but I got really muddled. German’s not my mother-tongue/the pdf isn’t searchable, and when he says “Anzahl”/“Zahl” I’m never sure if he’s talking about size or abstract property, and would have to read a lot more of the book to figure out!

[but naively: in §76 “n folgt in der natürlichen Zahlenreihe unmittelbar auf m.” is defined as “es giebt einen Begriff F und einen unter ihn fallenden Gegenstand x der Art, dass die Anzahl, welche dem Begriffe F zukommt, n ist, und dass die Anzahl, welche dem Begriffe ““unter F fallend aber nicht gleich x” zukommt, m ist””. “ is ‘n follows directly after m’ is defined as: there’s a preposition F and an object satisfying F such that the number of objects satisfying F is n and the number of objects satisfying “satisfying F but not x” is m. This really looks von Neumann like!]

He also talks about numbers in §56 (but Zahlen, not Anzahlen)...with the problem of deciding in Julius Caesar is an (ordinal?) number or not, or whether anything has Julius Caesar as a number.

[there’s also an english translation here http://www.naturalthinker.net/trl/texts/Frege,Gottlob/Frege,... but honestly it’s not much easier there :P ]

ALL of this is confusing with what wikipedia says on the matter of defining natural number “Gottlob Frege and Bertrand Russell each proposed defining a natural number n as the collection of all sets with n elements.” - which may also be the case, but lacks a citation alas. https://en.wikipedia.org/wiki/Set-theoretic_definition_of_na...

I don’t know if I have it in me to straighten this all out (that is, to RTFM).
Ah... this also has nuances. Although perhaps the unspoken assumption of your post is that you are trying to explain the incompleteness theorems through the lens of first-order logic? In which case your definitions are completely fine.

But just to be clear, your summarization of the first incompleteness theorem is through the lens of model theory and therefore predicated on the completeness theorem and doesn't hold in its absence. The canonical example is second-order PA under full second-order semantics, which has only one model (this is also true of second-order ZFC). Hence there do not exist sentences of second-order PA which are true in some models and false in others.

To fully flesh out the syntactic results of Godel's incompleteness theorems and their semantic consequences when Godel's completeness theorem holds, there's the following syntactic -> semantic chains.

1st incompleteness: there exist sentences which cannot be proved within any theory containing enough arithmetic. Therefore by Godel's completeness theorem there are sentences in the theory which are satisfied by some models and whose negation are satisfied by other models.

2nd incompleteness: the sentence Con(T) corresponding to the informal sentence "the theory T is consistent" cannot be proved within the theory T itself assuming T contains enough arithmetic. Therefore by Godel's completeness theorem there are models of T where Con(T) is satisfied and models of T where Not(Con(T)) is satisfied.

As I said in another post while Godel's completeness theorem is an essentially model-theoretic result (and it is the foundation that all other model theory builds on), Godel's incompleteness theorems are fundamentally syntactic results that live in the realm of proof theory, rather than semantic ones that live in the realm of model theory, although they have deep implications for the latter.

(Also to be extraordinarily pedantic, as you point out elsewhere, a sentence is true if it is satisfied by all models. Hence technically it is a misnomer to say that a sentence is true in a given model. Rather a sentence is satisfied by a given model. But it's a common enough bit of informal terminology, but I just want to point it out for people who aren't familiar with model theory so that they don't get tripped up trying to square different formal definitions of "true.")
But isn’t there a lot of actual, governmental regulation in drugs? If you think of social media as a drug, wouldn’t it then make sense to impose similar regulations on them?
As the joke goes, "There does exist a 10x engineer, but unfortunately it's in binary"
https://i.imgur.com/bQb1grM.png

Makes you wonder what else was "simulated" during the demo?
Does docker-machine work? That’s what I’ve been using on my Ryzentosh.
That's the same as Go panic's tho. (Go panics are extremely close to exceptions: the only difference is they can only be caught at function boundaries instead of scope boundaries.)

The main difference is cultural: you're encouraged to use return codes for expected error conditions and only panic for program bugs. But there's the temptation to not do that because panic(/exceptions) are more ergonomic.

I think exceptions tend to be OK in areas where you don't really care about handling errors: eg command-line tools, GUIs. But for long-lived proccesses, like servers, where it's important to handle errors in a precise way, they are painful, in my experience.
Three: Craig Mudge, of Bell, Mudge and MacNamara, a highly influential computer architect, based in South Australia. He did critical work in VLSI. And, worked at this place you may have heard of called .. Xerox Parc (he was the director..)

https://www.pacific-challenge.com/biography.html
Alberta could emerge as Canada's first hydrogen energy hub, report says
Docker Enterprise breh. Was on a bunch of teams selling a platform as a service that included Docker EE SKUs. Lots of money to be made selling Docker support.
I didn't notice this, and this is a huge factor for raising my own interest. Natanael is prolific.

The project already piqued my interest because I think of kubernetes' main problems can be how hard it is to hold all the actual binaries that need to run in your head, but I think the real test will be how it migrates/upgrades. The "don't break user space" stability of projects like linux and postgres would be a game-changer in the cloud native space.
Not a doctor, but I thought that asymptomatic is not as big of deal as we thought it was based on contact tracing.

http://www.emro.who.int/health-topics/corona-virus/transmiss....
Keto Diet Tips- 6 Must Know
Sounds like you need someone to manage some managed services.
What the point of docker if you can't just run single binary everywhere? That was its promise, right?
I'm afraid there's also a misunderstanding how the real world works. Cryptographic and real-world plausibility are two entirely different things.

People get blackmailed, shamed, hurt and even killed over mere rumors, speculations and suspicions. As long as people believe in something (because something merely look plausible), there's no need for a fancy crypto to prove some machine sent some email. I'd dare to say most people don't even understand what cryptography is and what digital signatures really are (who signs what and what exactly this means).

I'm yet to hear a story of, let's say, a brave dissident who got out of jail because of cryptographic plausible deniability property making their oppressors unable to prove authenticity of some leaked or intercepted correspondence.
There's a lot of misguided talk about Section 230 in this thread, but I wonder if repealing it actually is the answer for a different reason: maybe websites, including social media, should be liable for the content they host? Repealing section 230 would effectively make courts the moderators of the internet, which is probably the closest institution we have to something that most people would accept as a moderator.

It would be prohibitively expensive of course, and would probably mean that social media could not operate as it exists today. But maybe that is the logical conclusion to this whole mess? Maybe the power to reach millions of people shouldn't be "cheap".

Perhaps the result is that there would be tiers of social media accounts. People wouldn't be going viral at random with stupid hot takes, and it would be expensive (liability insurance?) to be an "influencer".
I am so tired of this line of argument. Those are totally arbitrary suggestions without any consideration for what is practical or legally plausible.

On what basis should website owners lose their right to determine what goes up on their own website? What about the creative control one's own work? What about free speech for the site creator? What about the property rights owned to those paying cash to keep the site operational? The law should not attempt to dictate the specific ways in which it is legal for computer programs to sort information for display on a website... this is absurd.
Mass Incarceration: The Whole Pie
And this is why the equivalent of panics have well defined (and customizeable) blast radii in the erlang-vm languages.

This had been solved, fifteen years before go. I understand why java doesn't have this (it's legacy, from the era of erlang). I can't understand why Rob pike didn't steal that idea from erlang.
There's a trade hedge funds can make that's the exact opposite of the expected rebalance from the passive funds. The expected size of that trade and the passive funds trade isn't something you can predict in advance. If too many hedge funds try to front-run the rebalance and buy to cover into the expected selloff, it could go the exact opposite way.

It's really hard to make money in the stock market from extremely public information.
Facebook, Twitter, LinkedIn, Hackernews, Reddit, Youtube/Google all "came out" this election cycle with heavy far left censoring. LinkedIn doesn't even have user generated comments anymore. They have editors picks. Twitter editorialized virtually every comment about the election and covid-19. Youtube will ban you if you say something they don't like, as will reddit and hacker news. None of these companies can ever say they are a "common carrier" any more. They are publishers not unlike any other news show and are subject to the law.

Secondly, there is no "regulation" of speech. This is fucking America, and just because big tech has brought in hundreds of thousands of foreign nationals who don't really understand our laws, does not mean the law has changed for the other 300 million people.

The only thing that is going to work is that publishers like reddit or twitter are going to be regulated. Americans who enjoy their free speech god given (not government given) rights will find new platforms. And guess what, far leftist techies will try to follow them there and attempt to censor like they did to twitter and reddit, hacker news, etc. Users will be continually moving somewhere else. reddit has very low comment counts compared to years ago and it is a direct result of business killing, un-american far leftist political censorship.
It seems that way, because these are the people that are the most vocal about it. Indeed, most people who complain about this are just grifters. The reason you don't hear about normal people complaining about this is because they are nobodies, they have no other platform to speak out when they get banned.

The rules are almost always really vague and it's not clear what you can or cannot do. For example facebook can ban you if what you've said might be interpreted by someone as offensive. From what I've remember, they specifically say that what you've actually meant does not matter. If someone just might think it's offensive, you get a 30 day ban. At least they used to have this rule at the time I left facebook, and I left it precisely for that reason.
Here's how I expect things to go with Docker on Apple Silicon:

- Rosetta 2 will not be involved at all

- They will recompile the CLI, daemon and other parts of Docker Desktop natively for arm64 (but this has a dependency on the Go toolchain)

- There will likely be a bunch of bugs or general inconsistencies in the new Mac Hypervisor (their dev hardware didn't even support virtualization), so it's unlikely that Docker's Hyperkit will just work out of the box on M1

- The above will take till mid-2021 at the earliest, but should hopefully release along with more "pro" Mac hardware

- Once it is ready, you should be able to cross-compile and run x86_64 containers on new Macs, considering Docker Desktop will still automatically use QEMU to do the emulation. I expect running native arm64 containers will still be better though.

TL;DR - don't buy the current lineup of Apple Silicon machines just yet for serious Docker work.

Disclaimer: These are all just guesses
A few days ago, I brought an USB-to-serial chip made by an obscure manufacturer. I found the RX/TX ports were working but control signals were not, I poked around the chip with an oscilloscope and found those pins were high-impedance, the chip didn't even attempt to output anything. I contacted tech support. They told me to buy a new one because my chip was an old batch without this feature (I guess it's a bug), but they can also provide a firmware update to me under NDA.

It's microcontroller all the way down.

Fun fact: It's also how those fake FTDI FT232 chips on the gray market were made. Counterfeiters just picked a cheap general-purpose microcontroller in mass production and wrote a Mask ROM for it. What's funny is that, the counterfeit chips actually have better process node than the real one (it doesn't mean it's better, though).

https://zeptobars.com/en/read/FTDI-FT232RL-real-vs-fake-supe...
Obesity affects a lot of pharmacological responses. A list can be found here:

https://derangedphysiology.com/main/cicm-primary-exam/requir...
What do you think your liability proposal might mean for a website like Hacker News? Or any kind of online forum, Stack Overflow, etc.?
You can avoid social media all you want and still end up with a shadow profile that’s quite info rich. I’d prefer these companies to eventually fade away like most companies do, rather than become permanent government appendages.
Nice article, I do like the way it's explained in a way that a programmer like myself can understand it.

I did note a few typos that I will take the opportunity to report here, in order to make an already great article a little better:

Under "PM-Lisp Axioms": Looking at the code "(when (or p q) (or (q p))". I don't think the (q p) should have parens around it.

Under "(proves a b)": There is no ending quote at the end of the last sentence.

Under "(subst a b c)": I find the text "PM-LIsp". I guess the I should be lower case.
Sorry; Yes water. An example of mind slipping ahead of the fingers.