skysight-inc/HackerNews huggingface dataset:
Regarding models of the world: isn't it conceivable that a computer could have a smaller, specialized, model of the world specific to its task?

A car could have a model of reality whose scope is only encompassed by the context of roads and driving. It is conceivable to me that a car could have an in-depth model of the "driving-world" that would allow it to make multi-sensory, tiered observations and predictions akin to human cognition.
So does Consul Connect, right?
> We still can't encode emotions in textual information well

Emojis? The interrobang? Sarcasm?
This is a culture issue and is only ever really fixed with moderation in my experience. It happens to a lot of gaming subs too. Those of us who want decent discussion get sick of answering the same questions ("Use the [terrible] search function!!") but the mods seem scared to look too harsh and drive away newer users, or turn the sub into a ghost town when there's not much else to talk about.
My point is a family of 4 can easily spend $50 at the grocery store for 12 meals in a day without being exorbitant.

And that’s assuming the two working adults are brown-bagging it at lunch every day and not eating out lunch with team members at least a couple times a week.

So $70/day gives you room to eat out as a family maybe once a week, not daily. (No way a family with a 2 and 4 year old are doing that, but that’s kinda besides the point)

Of course there are people who claim they eat like a king for $5/day. And I don’t doubt it’s possible, but I doubt it’s common for a middle class family of 4 living in the city who are probably paying Amazon to deliver their groceries.
Deploy a Private DoH Service
See also the Minor Planet Electronic Circular at https://minorplanetcenter.net/mpec/K19/K19RA6.html
I agree with less code, but the tokens themselves needing to be shorter, not so much - so long as they remain easily readable.
> the bound names need to packed into some reference type

Exactly, and that's how we refer to them. We already do the same for arrays–it would be overly pedantic to refuse to call an address/size pair an array because it doesn't actually contain the elements it refers to, just as statically-typed languages with lambdas are actually just passing pointers around. C could do this too–we'd just need sugar that would convert lightweight lambda syntax into code somewhere that would have the same type as a function pointer.
Not all refcounted binaries are large btw. It's pretty easy to construct a refc binary [1]

Bin0 = <<0>>, %% 1
Bin1 = <<Bin0/binary,1,2,3>>, %% 2

Bin0 was on the process heap, but Bin1 is a refcounted binary with 256 bytes of storage. If you're putting Bin1 into ets/mnesia, use binary:copy/1 to get a clean copy that doesn't reference a lot of extra storage.

[1] http://www1.erlang.org/doc/efficiency_guide/binaryhandling.h...
Nobody should be trying to cover for the Media Lab in any way or form. If you're a professional and you take money in this way you are complicit, period.

An article claiming Epstein was a victim because pedophiles and rapists are "victims" would have been less vapid than what Vox focuses on in this article.
Hmm, that happens to me when I visit Home Depot. Employed people will lead me to the item.

Interestingly I also use Home Depot's online store just to look up the aisle/section/shelf. Stores can have a locator system that doesn't need active electronics.
AFAIK Rust type checks only during compilation and won’t allow you to cast values of one into another without clearly defining how it should work. So if there are any type related checks done during runtime, they happen because you added them.
I was talking about the Dynamex decision, not ab5. Obviously legislation is not legislation from the bench.
Or we're about to get hit with a ton of space rocks. 2020 is really the end of the world!

/s
Even In-n-Out for a family of 4 is pushing $40 these days. Food costs add up surprisingly quickly even when you cook most of the time.

The $1200/month for entertainment/clothes/charity do seem a bit much if they leave you with a net cashflow of only $100/month.
I would have thought it was obvious what I meant by "deserve" but apparently I have to spell it out.

No, I don't mean that they are owed anything. This is life after all. You nor I, are owed a damn thing. And in a free market, that's explicitly true.

Duh.

What I mean by "deserve" is... prior generations with similar qualifications enjoyed a much smoother, and more lucrative career. Boomers were handed a golden egg, and managed to nearly destroy it. The middle class is shrinking, wages are stagnant, and frankly if you're not underemployed as a millennial you're among the lucky.
> It is clear what Mozilla needs to do: Mozilla can and should revert the change and allow users to easily opt-in.

I think it should be on by default. In my country encrypted DNS makes it more difficult for the government to track what people watch and to block sites.

> And to select or enter the DoH provider instead of defaulting to Cloudflare.

You can enter any DNS server address in Firefox.

While I agree, that it is bad to concentrate all the world's DNS queries in the hands of an entity under US jurisdiction, not encrypting DNS is much worse currently. So Cloudflare and US government are the lesser evil for me.

Also, if there were volunteers running free DoH servers then Mozilla could choose one of them randomly instead of sending all queries to USA.
Understood, but somehow the discussion ended up around achieving orbital velocity instead of escape velocity (the one relevant to the original sub-thread topic), two very different numbers (though escape velocity is ultimately a higher number.)

https://physicsabout.com/orbital-escape-velocity/
Show HN: Sshwifty WebSSH (Alpha)
Thats only the CEO though. Add a few board members and VPs and it gets more significant. But even with $50 per employee - why not do that instead if you're aware of recession impacting people? (Apart from the obvious - because you want more money)
I mean that sounds pretty awesome if you invested your funds well. I'd definitely be willing to be the first person who did that.
Ok translation: Ivermectin, a safe and well-tolerated bacteria-derived insecticide already used in humans, can kill mosquitoes. By feeding humans ivermectin, mosquito populations can be reduced, which in turn reduces spread of the malaria parasite which is transported via mosquitoes.
My wife is constantly hunting for one of her Airpods. Just having accurate location tracking system for them would be amazing.
20 pounds of rice, $8.48. [0](Just the first price I found online)

At four servings per pound that is 80 servings at $0.106 each.

Average yield of a rice plant, 10 grams.[1]

9071.85 grams of rice is 907 plants roughly.

That's less than a cent to cultivate, grow, prepare, bag and ship a rice plant. Let alone maintain the store where it is sold and pay the workers who sell it to you.

This is the miracle of the free market.

What price do you suggest is more fair?

[0]https://www.walmart.com/ip/Great-Value-Long-Grain-Enriched-R...

[1]https://www.quora.com/How-much-rice-does-1-plant-yield
Agreed. And even if it would be gone over night I still learned a lot by using it.
Lighter. Lightness impacts everything. Power only impacts acceleration. Power also breaks things.
Do they plan to switch or merely offer it as an option? A monthly fee has been available for a while; what's new is that you can go beyond two additional years.
>It's even worse than that because you paid taxes on the stock at the vesting price and not the sell price

How is this worse? You can always sell the stock as soon as it vests, with zero tax implication.
Normally, organizations accept anonymous donations from people because of modesty or privacy -- the donors don't want their name on the wall or in the press. They have a mechanism for that called "anonymous donations", but the mechanism isn't meant to guarantee that no reputational benefits at all can be gotten by the donor.

In this case, several people knew he had donated to MIT and he invited professors to his dinners to show off to his friends, so there were substantial reputational benefits.

Lessig's utilitarian calculus doesn't convince me it's OK to take money anonymously from villains.
There’s an open source ‘version’ of datomic with a lot of the same features (Datalog, immutability, as-of queries etc) called Crux, I’ve played around with it on side projects and think it’s pretty awesome
> the downside of Rust vs C here is that C has a GCC toolchain that happens to be faster for this use case, but Rust does not.

Yes, this is the "legitimate" criticism to be made here.

I say "legitimate" because LLVM has a bright future and I doubt many people see that as an actual issue.
https://news.ycombinator.com/item?id=20934675
> Your response is too long

Rude. Go ahead and run your small computer lab and pretend you're dealing with issues on the scale that companies with thousands or tens of thousands of employees do. They're absolutely choosing the cheaper option when going with a managed provider vs. your hacked-together TOTP solution.
i don't know what part of the country you live in, but this 200k to 300k is barely scraping by with a middle class living in the bay area, especially if you just moved here. CA and the bay area's high cost of living means most people here with less than 200k/year are going to be really poor unless they bought a house over 20 years ago. Your not going to be able to attract talent to move to the bay area with sub 200K salaries. And since, Google and facebook have money to burn, they'd rather pay those high salaries than move to a more cost effective area.
Keybase Chat would make a solid choice as well. *I work for Keybase, but chose to work here because I love the mission / product.
CEO comp is typically mostly equity, not salary. So is it surpassing that CEO comp goes up when the markets go up? Probably not.
I'm surprised LineageOS gives their software away for free. I'm sure there's a lot of people who would be willing to pay to continue using their old phones.
Have they already listened to Chuck Berry's entire catalog?
This is a problem that retail businesses could solve, but they don't want to. Why is the milk in the back of the store? So you spend more time there. The more time you spend in the store, the more likely you are to purchase more things.
So the solution could be to make it so that there are many DoH providers and a browser would choose one of them randomly (or by user's choice).
I'm not sure I've digested your whole comment, but the basic idea is this:

A "split" only means that the respective branches of the wave function cannot interfere with each other any longer. Then they will evolve completely separately from each other, and can be considered distinct. The only way you can get branches to interfere is if you have precise control over all particles involved in the entanglement, which is practically impossible for any macroscopic system.

Long before you entangle with the cat system, the two branches have decohered. While technically there is still an enormous superposition there, for all practical purposes it is indistinguishable from being a classical system, with classically indeterminate branches.

I should say that I'm not a fan of this explanation, possibly related to your points. Regardless of "practical purposes," QM does not allow me to say that there is a well-defined answer before it entangles with me (and that there is one afterward). I'm much more comfortable using the word "split" only there. But this skirts too close to solipsism for some, since "my world" (which I also know as "the world") only comes into being upon contact with me.
I don't know, what does learning any fact about the universe that is not directly applicable to my life do for me? Aside from potential side-effects (it's not uncommon that knowledge-seeking about one thing yields seemingly unrelated applications)... if you have never experienced the joy and satisfaction from learning and understanding something new, I can tell you, you're missing out.

So, while not knowing and learning about civilizations beyond Earth certainly does not negatively affect my life very much, I still assert that life would suddenly get much more interesting if we did. There is a reason why Alien Sci-Fi is very, very popular...
That particular set of requirements is not unique to avionics. It’s pretty close in game development. A glitch is way better than a game which crashes in the middle of gameplay. Especially because many glitches only last a single frame i.e. barely visible.

> It's conceivable to me that different problem domains require different default behavior. (And perhaps, by extension, different programming languages)

Not sure about problem domains, e.g. 3D graphics is the main problem domain in videogames people play for fun, and CT scanners which save lives.

Different projects indeed have different requirements.

Every time you see a programming-related holy war on the internets (exceptions/status codes, static/dynamic typing, unit testing or not, FP/OOP, etc.), you can bet the participants have different types of projects on their background, and these projects needed different tradeoffs. More often than not, what’s good for a web startup aint’t good for Nasa or MS, and vice versa.
Elsevier has always smelled bad to me.

They published the Andrew Wakefield autism paper for crying out loud.
It's widely known that 99% amateur traders loose money.
Totally make sense. Thank you for your reply.
> 22 and 23 year olds making $200k+ a year? For doing what, exactly?
> Meanwhile teachers, researchers, nurses etc (of which many also live in SF, by the way) are making pennies and some literally starving to survive.

That is political. It's not an insult, it's just that it's literally about the policies of how we pay teachers, nurses and researchers and how we constrain (or not) large tech salaries.

And I'm not from SF, not even from US.

> At no point other than the comment that was written in response to your question asking how I would allocate money have I suggested "commanding" anyone else's money. It's very disingenuous of you to ask me a question, and then use the fact that I responded to that question as means to bash me.

I never asked you how you would allocate money, I just asked what you mean by "deserve". And BTW, this: "collect taxes from the giant FAANG companies and use those taxes to pay teachers more, rather than just letting the FAANGs frivolously throw the money around" is commanding other peoples money.

Also, I don't believe I bashed you, but there would be nothing disingenuous in asking you a question and then bashing you based on the answer. It would just not be nice or appropriate for HN.
Why not install DoH system wide, then (the kind of change which is easy if tools like Firefox use the system APIs for this and very difficult if individual applications all reimplement DNS) instead of only doing it for Firefox?
right. the veil of anonymity was torn apart in this case. this doesn't seem like a robust test case for Lessig's theory of anonymity.
> Rust is strongly-typed, is it not?

Yes, at compile-time.

> Does it do run-time type-checking?

No. The closest thing is the occasional vtable-based dynamic dispatch.

> Exception handling in particular requires a non-negligible amount of run-time overhead

Wouldn't the side-table approach be used? That has essentially zero cost, if an exception is not thrown.
Can you also plot the S&P 500 (SPY) either overlayed or below the yield curve graph. Would be interesting to correlate.
What is the registration that you are talking abut? I do not have any clue.
Hype vs. Reality at the MIT Media Lab (Open Ag Initiative)
Or even just better observation tools, that would be amazing already. Sadly, at the scales we are talking here, even "just" getting those tools seems very improbable, at least...
Perhaps I think I mainly need coarse location because I only ever invoke "find my computer" after looking for quite a while. If I used it every time I needed to grab my laptop, I might care more about precise location.
I learned a long time ago that food is the number one thing I foolishly spent my money and wondered where all my expenses were going. Not much can be done about the preschool costs (I feel the pain there), but the very least you can do is create a food budget, go to the grocery store, meal-prep, and replace common expensive things like coffee/smoothies and make them at home. After about a few months of adjusting to new behavior constraints you start to optimize and learn new habits that turn out to be more comfortable to work with. (Bonus: I now enjoy cooking). If you still enjoy the odd day going out somewhere to work, never leave home without a tumbler or some canteen of some kind.
Raise taxes in a fairly progressive way.

Use that money to fund education, healthcare, public parks, infrastructure, basic research, etc, including by paying the people doing that work a bit more.
> How much does the CDC recommend? How much are they spending? Your statement is designed to trick the reader into thinking states aren't spending any money.

Details are in the links below the facts I listed.
Agreed. That's what Epstein's private jet was for.
I see this comment a lot, but it's just not true. If $300k was "barely scraping by", then it would be impossible for people making less than $100k to even live at all in the bay area, and yet the average income in SF is indeed $75k.

In other parts of this thread, an SFer mentions that with a salary of $300k, he saves $100,000 a year after paying for his 'expensive hobbies' without even trying . Another commenter says they have ~$13,000 per month in disposable income (after rent in a nice apartment, utilities, and food). Thats certainly not "scraping by" to me.
Demo: https://sshwifty.herokuapp.com/#+Telnet:towel.blinkenlights.... (Telnet though)

Please notice: The Telnet part is not fully working. I'm still figuring it out.

Please be alerted: SSH login detail including password and private key is transmitted to the back-end server. If you want to actually use it, it is recommended to deploy it on your own machine/server instead of use the public ones.
> Except Uber doesn't dictate how you use the app, they set parameters on how you can use it.

a distinction without a difference. if you don't follow their parameters they kick you off, which feels a lot like dictating how its used to me
Just curious how the success of such a measure might be evaluated? Or is this pure theatre?
Hey! I'm the article author, and I didn't write about what the Media Lab was thinking to give them "cover". As I put it in the article, the Media Lab's actions were so horrific that it brings into question the whole philosophy behind anonymous donations. So why take a close look at their justifications? Well, a couple reasons. Firstly, I think it's interesting when smart people argue themselves into incredibly bad decisions that anyone could've warned them against. It's an easy failure mode to fall into, and looking in gruesome detail at some cases where other people fell into it has taught me a lot about how these failures happen.

Secondly, I think that condemnation hits harder when it's the result of sincere engagement with someone's justifications. Yep, I listened to you when you said why you did it. And you were wrong. It's not always worth taking that step, of course, but in a big case like this, I think it is.
> The probability of getting a p-value below 0.05 is 5%, the probability of getting a p-value below 0.25 is 25%, the probability of getting a p-value below 1 is 100%.

But getting a p value between 0.82 and 0.87 is also just 5% probability, so could also be seen as a probably-won't-happen-by-chance event. Sure it's clear most of the time which 5% is the significant one,but not always, for example paradoxically the same result can be significant or not, depending on what your intended stopping criterion was, even if you happened to have to stop at the same time using either criterion. This is because the two variants would lead to declaring a different 5% portion of the null's possible outcomes as the significant part.
Promoted Content is an industry term, not just a phrase. Publishers will subsidize themselves by accepting money from companies to write promotional articles, even without disclosing it. There's a difference between that and an author just writing an article because it's their day job.
Making people pay for security isn't unusual. Windows XP is still supported by Microsoft... provided you're willing to pay extra for it.
Cool! Thanks for sharing! Just picked up the game, it looks awesome.
> Forth implementations on the 6502 uses a stack and require more RAM than Co2 which uses a compiled stack.

I don't know what you mean when you say this. Could you elaborate? Any function call is going to require putting the arguments somewhere.

> The reason I feel this is so is that I way I understand compiled forth is that the 'words' are still threaded so you don't escape the interpreter overhead.

Indirect/direct threading at runtime isn't required; it's up to the compiler. There are plenty of Forth cross-compilers (e.g. MPE's) that compile native code (and call it "subroutine threaded"). They don't have an explicit (inner) interpreter... they just use standard CPU opcodes to call/return.
I'm actually surprised the number is so low.

With high profile scientists, in specific fields there are often 2 camps pushing 2 different competing solutions to the same problem, and each solution tree has a set of "canonical" references which are cited for most papers in that tree. A set of these is generally requested to be discussed by the opposing team (i.e. why does your paper support your tree and what have you found that seemingly invalidates the other tree?) The more prolific authors in a subfield are generally chosen as reviewers, and also hold the most recent papers in that tree, so requesting citations to recent relevant literature often goes hand in hand with work they've had input on.

Add this to the fact that, even in blind reviews, the reviewer can guess the author's name correctly more than half the time, and the reverse is anecdotally true (this is not as astounding as it seems, in my specific subfield there are maybe 20 people putting out a paper a year -- there was a paper I reviewed where I did not suggest my own work for citation, but the author retroactively added a citation for me, leading me to believe they guessed my identity), and I'm surprised less than 1% "consistently" are cited in papers they review.

If anything, this meta-analysis is heartening, as I would expect this problem to be much more prolific in the "publish-or-perish" (get cited or lose your job) paradigm. Elsevier, in my field, has high impact journals though, and I know the problem to be much more rampant in the lower level journals.

As a slight aside, some countries simultaneously promote local researchers to publish in their own local journals and turn around to note that publications by their scientists have tremendous citation numbers, I personally question the validity of those citation numbers since they seem to be politically incentivized. Within the fields, real researchers will have a feel for what journals are pushing good science and which are "citation padding" with incomplete and hasty work just "published" for numerics.

In response to the meta-review comments. All review is volunteer work, it should be this way, but I personally find it obnoxious when I'm on public wifi and can't even load a paper I've reviewed because some ostentatiously profitable publisher has paywalled it. The research is publicly funded, the researcher pays 100$ per page of publishing cost, the review is volunteer work. Why exactly do you need 30$ for me to read the methods section?