skysight-inc/HackerNews huggingface dataset:
> 1) If I fix a bug in a function, (thus creating a new version of an existing function) how do I propagate that fix to all that code that transitively depends on the buggy version? Doesn't that mean I need to create new versions of all the downstream dependencies? Doesn't that defeat separate compilation? Does this scale?

This can vary depending on how many dependants the code you change has. If you have some fundamental type which an entire codebase depends on, then modifying it will essentially require recomputing hashes for the most of the codebase. On the other hand, if it's something close to the entry point, you would only need to recompute a few hashes and the root hash which represents your entry point. Any parts which are unchanged effectively have their hashes cached.

> 2) Does this closely couple interface and implementation? Is it a hash of an implementation, or a hash of an interface? Is it possible to depend only on an interface, and not on an implementation?

I don't think unison has interfaces or any similar construct yet. There's an FAQ item mentioning why type classes are not included[1] yet.

Personally I think the right approach would be to use a structural type system similar to OCaml's. You would have functors which describe the code you're calling, and call sites would use the hashes of the functor definition. You can then define concrete representations of types independently of the functor, and instantiate them against the functor afterwards. Thus, if you change some implementation detail in a type, then the only hashes that will need updating are those of your concrete type and the instantiation of the functor against your type. The functor, and any code which depends on it, will remain unchanged.

[1]:https://www.unisonweb.org/docs/faq
Patent link: http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=H...
John Carmack:“freedom to have your own style” in languages is counterproductive
Personally, I use type aliases in cases where I need to describe very dynamic types that make intuitive sense but are too wordy to pattern-match visually. So you might decompose that example like:

FileSourceType = Union[basestring, file]
FileSpecType = Union[
# (filename, file_source)
Tuple[basestring, Optional[FileSourceType]],
# (filename, file_source, content_type)
Tuple[basestring, Optional[FileSourceType], Optional[basestring]],
# (filename, file_source, content_type, custom_headers)
Tuple[basestring, Optional[FileSourceType], Optional[basestring], Optional[Headers]]
]

...

files: Optional[
Union[
Mapping[basestring, FileSpecType],
Iterable[Tuple[basestring, FileSpecType]
]
]

You theoretically lose some "glance value" because now you have to look in two places for the type...but in practice, I think you can figure it out a lot easier than the original example. Obviously you don't want to do this in simple cases, but it can make pathological cases like the above a lot easier to chew on.
There are a bunch of options here. Maybe they were looking for someone to do novel research. Maybe they wanted someone who can communicate with business partners. Maybe the competition is just people in the middle of their degrees spending an evening on it. Maybe it is just credentialism. Maybe a zillion other things.
Bank of America doesn’t send SMS to google voice phone numbers.
Ehh, that might be giving Jobs too much credit. He tried, and failed, quite a lot. But he did try.

I don't think Jobs was diddling his employees though. Big difference.
The Gray Zone
If one of the goals of a PR department is to prevent debacles like CA from negatively impacting shareholder value, I'd say they were massively successful.
US Wide CenturyLink Outage
I believe exercise should help, and that omega 3 is important.
Hmm, not anymore it seems (the 30% off).
MIT’s damning report on Jeffrey Epstein attempts to exonerate its president
That's not "malware". Adware maybe, but malware does assume something more ... malicious. Asking for consent is annoying, but we are talking about stuff that doesn't ask for your consent.
Surely you agree that sometimes power differentials can invalidate consent. Can sex between a police officer and another person that they have placed under arrest be consensual?
The three I named are all big players in the field.
Because you might think that people having employment is a good thing, worth encouraging through the tax / benefit system.

Also, tax credits can be (and are) paid weekly.
I know what it takes. I haven't done it, but a couple of my friends have, and they've described the herculean effort required.
The things people usually expend their effort on

* Maintaining relationships with friends, family, and loved ones

* Excelling at their job

* Reducing bad habits(like drinking, tv watching, smoking, etc)

* Pursuing hobbies

* Raising children

And all of them have had to make significant sacrifices across the board to maintain their weight.
There is a reason for that, most average Joes just can't handle the technology. You can change OTP-SMS in Banks for TOTP, but it involves more complexity and probably it will be more prone to user errors.

Configuring the seed, remembering an extra password to use the OTP... For me it's not that hard, but probably my mom will need some help in order to remember all the steps...
Network boot is in the beta firmware now. USB boot is still a ways off.
Why? Sounds like the law is working as intended: subsidizing electric car with ICE car profits
From what I anecdotally see (outside US) some men got frustrated with society and just don’t want to work. Everything they need seem to be found at home, similar to the hikimori in Japan albeit not so extreme. It’s sometimes (so not always) related to dating failures. I could argue that dating is getting increasingly difficult for the heterosexual male and that paired with bad jobs would make some men think twice about participating in the society game. Some other people linked articles/studies talking about this so my non-scientific observation can be supported somewhat.
Definitely! That's where I want to take the series, to talk about the modern health, safety, quality of light, and light pollution concerns. So I appreciate that feedback.

Regarding 5000K fluorescent vs. LED, actually the fluorescent will be way more spiky, with multiple spikes. A typical daylight LED spectrum is a spike around 450 nm, then a drop, then the rest of the colors from green to red.

[0] compares some different spectra, although most modern 5000K LEDs will tend to be a bit higher in the red area. I would say the warm white LED, cool white LED, and daylight spectra are a bit exaggerated/too ideal in this comparison.

What emits most of the visible light in fluorescent vs. LED is actually almost the same thing: a phosphor that converts UV (fluorescent) or blue (LED) into white light. But the actual chemical makeup differs between LED and fluorescent.

There are some new LED technologies that flatten out the spectrum. These typically employ a violet pump (around 415 nm) or some combination of violet, blue, and cyan (around 490 nm). But it's the phosphor engineering that actually does most of the flattening. We're only just starting to see these become available in finished products, however.

[0] https://thegreensunshineco.com/wp-content/uploads/2018/09/le...
It undoes all the good from buying their cars. For every Tesla I buy, someone else gets to pollute more. It’s legal, but it’s immoral.
Can someone list all the p2p social networks that we know about?

Honestly, have been trying to find ones that are truly p2p and not federated.
That government is voted for by the people
> eat a plant based diet

I agree with everything else you've said, but the jury is definitely out on this one.
Well, check out Manufacturing Consent: https://en.wikipedia.org/wiki/Manufacturing_Consent

That's a whole book, here's a taste from The Chomsky Reader: "What the World is Really Like: Who Knows It — and Why" https://chomsky.info/reader02/

> Take the Russian invasion of Afghanistan — a simple case. Everybody understands immediately without any specialized knowledge that the Soviet Union invaded Afghanistan. That’s exactly what it is. You don’t debate it; it’s not a deep point that is difficult to understand. It isn’t necessary to know the history of Afghanistan to understand the point. All right. Now let’s take the American invasion of South Vietnam. The phrase itself is very strange. I don’t think you will ever find that phrase — I doubt if you’ll find one case in which that phrase was used in any mainstream journal, or for the most part, even in journals of the left, while the war was going on. Yet it was just as much an American invasion of South Vietnam as it is a Russian invasion of Afghanistan. By 1962, when nobody was paying any attention, American pilots — not just mercenaries but actual American pilots — were conducting murderous bombing raids against Vietnamese villages. That’s an American invasion of South Vietnam. The purpose of that attack was to destroy the social fabric of rural South Vietnam so as to undermine a resistance which the American-imposed client regime had evoked by its repression and was unable to control, though they had already killed perhaps eighty thousand South Vietnamese since blocking the political settlement called for in the 1954 Geneva Accords.

> So there was a U.S. attack against South Vietnam in the early sixties, not to speak of later years when the United States sent an expeditionary force to occupy the country and destroy the indigenous resistance. But it was never referred to or thought of as an American invasion of South Vietnam.

> I don’t know much about Russian public opinion, but I imagine if you picked a man off the street, he would be surprised to hear a reference to the Russian invasion of Afghanistan. They’re defending Afghanistan against capitalist plots and bandits supported by the CIA and so on. But I don’t think he would find it difficult to understand that the United States invaded South Vietnam.

> Well, these are very different societies; the mechanisms of control and indoctrination work in a totally different fashion. There’s a vast difference in the use of force versus other techniques. But the effects are very similar, and the effects extend to the intellectual elite themselves.
I know a few people who have been hacked with this method via t-mobile in order to control chat rooms on telegram and steal crypto.

According to this paper, t-mobile has the smallest surface area, which is sad.
That's one way of phrasing it, I guess, although I'm not sure it's a particularly useful one (what makes a market "early" if not the mainstream switching later? how would you distinguish it from the many other small niche markets - like bingo card creators or D&D character sheet generation - that fail to become large growth companies?). The specifics I had in mind for those were:

When the Apple I came out, there wasn't much you could do with it. It was only the invention of Visicalc (which itself couldn't have happened until the Apple was out) that gave businesses a reason to buy one. The same dynamic applies to nearly all "platform" companies, which is why it's so hard to make a new platform.

When Google was first developed in 1995, the dominant way to find things on the web was Yahoo. That's because in 1995, the best way to find things on the web was a human-curated directory. The press reported Google's dominance as because of its proprietary algorithms, but what makes algorithms better than humans? I'd argue that there were two main forcing functions, both of which were a result of the web's scale continuing to grow: 1) as the web gets better, you physically cannot hire enough people to review and categorize it and 2) as the number of links gets higher, the effectiveness of counting links as a ranking factor improves. PageRank and PageRank-like algorithms are actually really ineffective on sparse datasets (trust me, I've tried, while at Google). So it was the growth of the web itself that led to algorithmic search engines becoming better than human-curated directories.

Game-streaming wasn't really a thing when Justin.TV came out in 2007. It required a number of other changes in the environment - better access to broadband, faster GPUs, a gaming populace that was thrown out of work by the Great Recession - before it got big, circa 2010/2011. Justin.TV, as a lifestreaming company, was well positioned to realize and capitalize on this trend, even though it didn't exist when they founded the company.

Uber started as a way to call a black cab via app. They tried it multiple times between the company's first prototype (in 2008) and the official product launch (in 2010). Mobile GPS wasn't good enough in 2008 to be on constantly: it would drain the phone's battery faster than the power adaptor could charge it. Additionally, they benefitted a lot from the Great Recession, which meant that a number of drivers were newly unemployed and seeking a way to make easy money. (The same applies to the rest of the sharing economy.)
Struggling with Toolchain Sprawl? You're Not Alone
Agreed.

However, granting visibility to decisions (and the information that leads to them), when possible, is a great tool.

A generic example might be that a major client will sign onboard if a new API feature is implemented. Just asking a development team to build the feature will get it done, but in my experience, teams will feel significantly more included (and important) if they have the context of why it needs to be built.

The decision to pull resources off of already-planned tasks to build the new feature shouldn't be made by the developers, but understanding that they're helping the business in a major way can really help cohesion, inclusion, and perceived impact. Those are things that make people feel fulfilled and important at work.
Sorry for the confusion. There's a button you press in Tiddly Wiki that generates a new HTML.

You "Save As.." that.
They should also have made it artificially feel like it's shifting gears!
If the USA hadnt gotten involved in the European theater of WW2, and invested the required resources in the Manhattan project, its very likely that the Nazis would have gotten the bomb first and used it to beat the red army. This would have allowed Hitler to consolidate power throughout the continent before eventually invading England. Although Im a stanch opponent of the modern military adventurism of recent administrations, getting involved to cut down the rise of Hilters power was a huge positive for generations of Europeans (and probably the rest of the world).
XML-RPC-in-JSON Examples
Do you have a design document or wishlist or blog post for such a language?

I think you are on to something here.
My ideal solution for an ultimate reset/unlock solution would be to show up and have my DNA sampled. Impossible for me to lose the reset key there, and with appropriate DNA extraction procedures, it is nearly impossible to spoof.
True, but layoff + severance < layoff + severance + liquidity event
lost me at the sixth word
Can you give a pointer to the research on non-social media consumption decreasing longevity?

From what I read physical fitness correlates much better with it than mental fitness.
Well, I think Comma gives a tough competition to Tesla given the features which it offers when compared to AutoPilot of Tesla. There are lot of masses who still cannot afford a Tesla( and their $7K package for full self driving cars). Imagine all of (atleast 20 %) Comma AI and Openpilot supported cars actually using this hardware and software in the next 6 months which is way more than the number of Teslas in the market. Also, it avoids the necessity of owning a Tesla. Coming to safety, I believe Openpiot with Comma makes a driver a better and safe driver with driver being attentive. I wouldn't drive a Tesla without being attentive even it offers Level 4 autonomy (because we always need to have an eye on the road and pitch-in when needed as this involves people's lives and there is no single system in the market which is 100% perfect).
This framework looks incredibly simple and powerful. I’ve coded a bunch of these features manually in the past. I think FastAPI is going to earn a spot in my next project!
"secure" and "email" really do not belong in the same sentence.
Or just have the buyer pay both sides' acquisition related fees from the get go (legal, accounting, etc).
Yes, it's much too bulky. I've also become very fond of the idea of keeping my compute and my cell physically separate. That's not really necessary from a security perspective as long as I can install my own copy of Linux on it, but the idea gives me warm fuzzies.
Using it in production starting last month! Keep up the good work!
Probably because those networks have papers published about them.
Consent is the minimum required for sex to not be rape. That doesn’t mean the relationship is ethical.
So make it a non default option? No one who doesn’t want to use TOTP would even have to know about it.

I know some services require SMS in order to force collection of user’s phone number, for data selling purposes and to prevent bots.
While I've heard rumors it was unsafe in the past (requesting too many permission etc), I'd think that if PayPal bought it, they would at the very least make it /safer/ than it was before.

Maybe /safer/ doesn't get us all the way to safe, though.
It doesn't pay to speak up. We glorify those who made a change but truth is that 99% of those who speak up even with small things quickly learn to shut up or leave for greener pastures. Remaining in the company are the YES-men and outside of regular employment those who speak just to breathe. Still, we encourage everyone to speak up to be able to weed out the black sheep before they cause too much damage.
So basically Panic is a company of polyglots who just work on random interesting things?

Mac OS software, video games, and now a hardware console? Seems like a company I would like to work for. I love learning new things in different fields.
To me she sounded (and looked) fake. It wasn't throughout but at various points the singing had a very Hatsune Miku-like quality.
I'm no longer sure. I'm looking at this passage:

"Así lo cree Nicolás Alviar, el abogado representante del icónico caso contra Uber ante la Super Intendencia de Industria y Comercio, que en primera instancia ordenó el cese de operaciones de la aplicación de movilidad compartida en Colombia."

Either that says the Super Intendencia ordered the service shut down, or it says that Alviar (the lawyer playing offense) caused it to happen.

https://www.eltiempo.com/tecnosfera/apps/taxistas-demandaran...
Mass media social networks are a winner-take-all game. All but one candidates will fail, and the success of that winner is all but certain to be based on a mix of ideosyncratic or non-apparent characteristics, though founding cohort can be and has been a major success factor.

Two of the largest online social networks to date have emerged from the highly-selective university space: Usenet (UCLA, Stanford, Berkeley, MIT, UI, Rutgers, etc.), and Facebook (once: literally Harvard).

Google+ might have been able to grow from its tech roots. My sense is that Google's marketing-and-advertising focus (and community), as well as gross mismanagement, doomed its attempt, nudged with some active antipropaganda from other sources, notably Facebook. That's not to say it would have succeeded, but there were numerous self- and externally-imposed injuries.
Most email is unencrypted during transit, so a state level adversary can still easily intercept it. For most people this is however sufficient.
Well that’s been going on for 20 years. There’s so many game consoles that have been created they are uncountable.
Yes (sort of - I can’t share the name because this was a friend’s startup and I don’t want to gossip explicitly) but this exact thing happened:

Amazon went through an acquisition process and on the day of closing, as everyone was in the room and documents were being signed, Amazon reps came back from a break in the meetings and said “Oh sorry for the delay — we’ve actually got an internal team working on this already. Our mistake. We’ll still do the deal because there’s some value here, but we’re going to lower the price by 20%. Take it or leave it.”

(They did the deal, but man, f-that.)
+1 for latex mattresses. Better than memory foam in every way.
It can be structured in either direction.
And then there was this...
https://www.vice.com/en_us/article/5dmbjx/how-hackers-are-br...
To put it into perspective, about 1% of the bushfires in Australia this season were caused by arson: https://www.abc.net.au/news/2020-01-11/australias-fires-reve...
The issue with using permanent characteristics for auth is that you lose the ability to revoke one credential in favor of another.
How is Roblox an example of this? In general, I'd love to read more about your examples if you have links to share.

I'm aware that WhatsApp was a status app (like AOL status messages) and they stumbled into their way into cannibalizing SMS, basically.
Wow.

Between jyrkesh's tale and yours, it makes me think that things are even worse at FB than I thought they were.
He’s right, of course. Though it has been a long time since I saw someone bother complaining about indentation in Python. It turns out not to really matter very much.
This isn't really the site for people who want to create genuine social change in the world, other than through startups. The site guidelines say that what's on-topic is "anything that gratifies one's intellectual curiosity". Curiosity is more about knowing things than doing things. I think one implicit belief held by the folks who started this site is that if you do want to challenge entrenched power structures, the best way to do that is to be very circumspect about who you tell that you're challenging power structures, because you can expect to have a strong negative reaction from the power structures themselves. (Peter Thiel describes startups as "a conspiracy to change the world".)

There are other sites on the web that are attempting to organize people for large-scale social change, ones that are presumably watched (and cared about) by the FBI, as opposed to just being watched (with idle curiosity) by the FBI.
If you can compromise the account, based on a SIM swap alone, then that site has 1FA (The phone number).

2FA requires you to have 2 factors at the same time.
e.g. When I log onto amazon from a new browser with valid username+password it additionally requires me to confirm via my phone number.

1or1FA (e.g. reset your password via SMS if you forget your password) is just increasing the attack area on 1FA (would be more secure without it).

Problem it's trying to solve, is that it's conventionally unacceptable to lock people out of their accounts.
This article enumerates the numbers of deaths expected from increased particulates at a local scale at least.

https://insidestory.org.au/slow-burn/
They could be making better Facebook ads to get that acquisition cost down. The text on the image for a lot of their ads is way too small!

https://mobile.twitter.com/kevinwlordbarry/status/1215786907...
I believe Medium was created for just that purpose.
github & gitlab require you to register a TOTP authenticator app before you can enable U2F (presumably to avoid manual resets, although they don't say)

google's enhanced protection requires you to have 2 distinct yubikeys to sign up
In the past 5 years I have owned a Casper at $850, a tuft and needle for $750, and something by Ashley for $350. I think I like the Ashley slightly better but they are virtually indistinguishable. I second the recommendation to go cheap.
seriously.

it blows my mind that there is no good migration strategy for pc base OneNote databases to cloud based ones.
I've slept on a carpeted floor for decades, zero back issues.

Just one night sleeping on a conventional mattress leaves me with weird back pains and a stiff neck.

Not only are they costly and a PITA to move, mattresses waste a lot of space too.

Traditional Japanese tatami mats are basically the same thing in terms of flatness and hardness, they're not known for having sleep/back troubles.