skysight-inc/HackerNews huggingface dataset:
"March 1972 an appalling rumor swept through the hallways at Control Data--Seymour Cray had resigned! The rumor was quickly confirmed by a press release. The press release was worded carefully to soothe investor fears. Seymour was reported to be "phasing out" of full-time employment with Control Data It was emphasized that development would continue at the Chippewa Lab. Trading in Control Data stock was briefly suspended. Old-timers who had followed Seymour's career since his Univac days, many of whom had worked with him at Chippewa, were skeptical of the official statements. What could have caused Seymour to resign? He was, of course, a wealthy man from his stock holdings and could do what he wished. But because he had always done just exactly what he pleased at Chippewa, why should he resign to seek more freedom as his own boss? The statement in the press release simply did not make sense. Two rumors told to me at the time may have no truth whatsoever, but they do capture the flavor of the suspicions of many employees.

The first story concerns a Control Data senior financial executive who one day reportedly called Seymour at Chippewa Falls and told him that the lab budget would have to be cut by 10 percent. The Chippewa Lab, with its thirty-odd employees was certainly the most cost-effective computer development facility in the world. Certainly it was the envy of IBM, as attested to by the Watson memo described earlier. Seymour reportedly replied, "Fine, cut me and Les Davis out of the budget" and hung up the phone. This rumor was given credibility by the continuing budget crunches and by the fact that Les Davis, Seymour's chief assistant did resign and join Seymour in his new venture.

The second story was told to me by a friend who had worked at the Chippewa Lab. He met Seymour in the hallway at headquarters one day. Knowing that Seymour hated being away from his work at Chippewa, he asked him what he was doing at headquarters. Seymour replied that he had been asked to serve on a senior technical task force that had been convened to recommend the future direction of computer development at Control Data Seymour intensely disliked meetings and task forces, but he agreed to serve because he had been personally assured by a very senior executive that the recommendation of the task force was vital to the future of the corporation. The task force of seven members met for some weeks and concluded that the design direction being taken by the model 8600 (the newest machine under development at Chippewa, successor to the model 7600) was indeed the best architecture for future CDC computers. Just before the final report was submitted, the members of the task force received memos from a second senior executive thanking them for their efforts and stating that the corporation had elected to go in a different design direction. Seymour immediately resigned."

From "A Few Good Men From UNIVAC"
Thanks for posting this, I haven’t read much from this point of view.

At the end of the day though, they are using this in countries that do a better job with safety than we do with less of a guard band. So either the FAA is entirely full of shit about this or they haven’t forced the kind of equipment checks they should have because this has been in the works for a long time.
Crypto Browser Project by Opera
Almost all software running the world is written in statically typed languages. This is not by accident or because developers don’t know better. Every few months on HN somebody will make some new claim about why dynamically typed languages are somehow better. But the truth is that statically typed languages have won in the market place for real world software. And I don’t see anything changing that.
Foam vs. Dendron: https://wiki.dendron.so/notes/p5fMTi-6zOyX1TwhL6dM0/

I've seen many in the Dendron community use the Markdown import pod to convert their notes over to Dendron: https://wiki.dendron.so/notes/f23a6290-2dec-45dc-b616-c218ee...
Maybe you're saying my claim is exaggerated? Which I agree my wording wasn't precise. With antigen tests you'll have far more false negatives early on than later. The sweet spot seems to be a couple of days after symptoms.

If you're not saying that, I'm not sure what claim you're making that is contrary to my own.
Protecting Earth’s resources with lower impact alternatives for electronics
> This is now the path of the majority of American corporations

Nitpicking but 1P is a Canadian company :) . I guess the pattern is almost universal?
Something we recommend for folks is to have different flavors of VSCode to side step this (eg. vscodium for dendron, vscode for code). That being said, if you found something you like, that's the most important thing :)
Interesting. Very interesting. I'm not sure I agree, but it's an important conversation to have.

The article is well worth reading.
Also, the USA is one of the countries with the largest Apple marketshare in the smartphone market.
Why is it called "Geometric Dilution of Precision" and not "covariance matrix"? In what ways is the former not the latter?
Also, the borrow checker doesn't do global analysis. Not doing so is an important design decision in Rust, and is part of the reason why we don't infer type signatures, including lifetimes generally. You want to keep things easy to compute.

That said, you're right that the current borrow checker ("non-lexial lifetimes") is built off of a control flow analysis, absolutely. But it still operates only within bodies, not globally.
Everyone understands that acting, directing, editing, and sound editing is Art, it's creative work, you need humans to do it.

But somehow, subtitles are Not Art? It's somehow not creative work?
To be fair this is something I would do ironically because I'm a millenial and that's how my humor works.

Though I would also not be surprised to find people who felt this genuinely.
>Maybe he does. But if he has a billion dollars in stock and his being CEO caused the company to grow 6% a year instead of 4% under some other CEO, being CEO that year earned him an extra twenty million dollars.

I agree in this case you would have "earned" 20 million dollars or whatever by being CEO, but I disagree with equating this to regular income (and therefore worthy as labeling it a "loophole"). Let's push this to the extreme. If you owned a bunch of stocks in a company, and believed voting for a particular board chair would cause the company to grow 6% a year instead of 4%, does that also mean you "earned" $20 million dollars, and exploited a "loopphole" to avoid paying regular income taxes on it?

>But it does, because a salary would be taxed at the ordinary income rate. Effectively zeroing it out avoids that.

Right, but your "income" is composed of two parts:

1. your salary

2. whatever capital gains you stand to earn

Regardless of what the company paid you for your salary, you still stand to gain from the capital gains. The capital gain is where all the "loopholes" what we discussed are (ie. taxes being due only when you sell, being able to borrow against it). Regardless of whether you got paid $1M or $1 salary, you still benefit from the capital gains, and the tax loopholes on those gains. I suppose not having a salary will allow your tax return to show $0 owing rather than $xxx,xxx or whatever, but that's not really an accurate depiction of what the loophole is. Besides, I'm sure that bezos/jobs has other other stocks that pay dividends which are taxed immediately, and so his tax owing will never be $0.
I filed a FOIA request to GSA to see how much they spent on the website to build it and any third parties used. They referred me to the FDA, guessing they paid for it.
Those are all games that implemented their own cross-play, no assistance from Nintendo.
no asciidoc support but dendron's syntax is extended markdown and supports concepts like transclusions, diagrams, and other customizations. see https://wiki.dendron.so/notes/ba97866b-889f-4ac6-86e7-bb2d97...
Great info Chuck. What systems did she end up working with post-XBS and what were here thoughts about them vs. Mesa?
At least on my distro (OpenSUSE Tumbleweed, systemd 249, kernel 5.16.0), SystemCallLog doesn't fire for calls that are filtered; the process is killed first. Even if I set SystemCallErrorNumber=EPERM I don't see the audit log generated. The log only gets generated if the syscall wasn't filtered.
Very nicely presented. The terminology here paints a easy to understand picture. There's an ideal form, & a solidication/realization of that intent. Annealing is a great word for the realization of an intent.

Semi sort of related, I notice a little passing similarity in Delos, Facebook's Log-Structured Protocol, comprised of two primary verbs that are sent around: apply, to apply an intent to the underlying platform, and sync, for the platform to report newer state up to the app.

Delos is not focused on this infrastructure topic, but it describes an intent-based system, where eventual resolution is expected. I could imagine using Delos or something like it as a way to actuate infrastructure in a similar manner to this paper. I also really enjoy a lot of the neat composability capabilities of Delos.

Kind of hard finding what to cite for Delos. There's dozens of submissions here on HN, but a lot of them are abstract only access, none have gotten much traction.
https://www.usenix.org/conference/osdi20/presentation/balakr...
https://www.micahlerner.com/2021/11/23/log-structured-protoc...
https://engineering.fb.com/2019/06/06/data-center-engineerin...
Really neat! Business-wise, is it meant to compete with sites like Wanikani and Bunpro, or is it meant to be more complementary?
Taking Cosmology to the Far Side of the Moon
> "we need more funding, we're the only thing preventing outright chaos"

We are in the midst of a transportation crisis. Any available vehicle should be rolling. Otherwise, inventories run low, prices creep up, and people have to do with less.
Blue texts are definitely most of the reason I have an iPhone. It's just not possible to have conversations over text with SMS speeds and 90% of my friends refuse to get messaging apps. I could care less about the prestige, but most of my communication happens over text. Other big reason is how well iOS works with airpods.
Here is a comparison between dendron and foam -> https://wiki.dendron.so/notes/p5fMTi-6zOyX1TwhL6dM0.html
- You're a euro-, arab-, and/or, asia-phile (I'm in the U.S.) and the sound of the language further transports you to those parts of the world.
2012: https://arstechnica.com/tech-policy/2012/11/courts-will-deci...
It's funny how subjective this stuff is. After using BitWarden for a while I switched to 1Password and greatly prefer the 1Password UI. BitWarden has too much in common with Lastpass, and I hate Lastpass' UI.
This actually raises all sorts of questions for me about how a private police force with presumably a federal jurisdiction would prosecute criminals in a state court. I'm sure there's a system in place, though part of me is imagining the railroads creating their own private prisons that force inmates to work on the lines. Probably best not to give them any ideas.
Well, admitting you have a problem is the first step
Bad cards can be reported on this GitHub discussion page: https://github.com/tom-james-watson/wikitrivia/discussions/2
Also a millennial, have seen people say this both in jest and in earnest.
Are you really going with "I've never really heard of it, so it isn't real."?

It's not how it works.
…no? The first point, of course, but the author explicitly stated that. A fundamental (and non-controversial) aspect of “giftedness” is that the child learns at a much more rapid pace than peers. This almost automatically requires adjustments to curriculum that would not apply to a non-gifted child.
Totally agree, I often much prefer subtitles to dubbing as I can hear the original voice artist's tone of expression as it was intended to be.

Also, languages are bridges, not barriers, by exposing yourself more to another language you will learn it if you don't reject it.
founder here. let me know how it goes. if you're interested, we do personalized onboardings with new users as well, link to book is here -> https://calendly.com/d/mqtk-rf7q/onboard
Every sufficiently advanced editor will eventually contain a buggy halfway implementation of emacs. :)
I am very surprised more people watched the dubbed version of Squid Game over the subtitles. I saw a friend watching the dubbed version and to me it didn't "preserve the original performances" as you say. Surprised subtitles are a barrier, I enjoy them personally, but I guess they have the data to know.

I have tested out services that translate your "own voice" to another language and it was pretty cool, although I couldn't tell if the translation was quality. Automated translation isn't a solved problem, and this seems more of an issue than the tone of voice.
anecdata: I heard about it a lot. ESPECIALLY when i was in high school and college.

Definitely heard girls (with iphones) gossip and discussing prospective men and say "but his texts are green". Its not code for "he isn't rich" - I went to a private school and hung out with sorority girls so everyone was well off, but something more ambiguous. Something makes blue bubbles feel better.

Maybe its just that iMessage is a more rich form of communication vs SMS, and people hate needing another app to check for that one android user in their life.
> Australia is probably the most Murdoch-aligned country in the world...

Huh? We don't get Fox News here. He's been an American citizen for a long time now.
Hey, listen, the way I see it is that you don't want to work with a company like us and we don't want to work with you. It's an eminently compatible situation.
Thanks. It's funny, the full version basically just expands at length on the title, and I still can't tell if it's serious (in that they are saying how great it will be) or some kind of horrible dystopian warning.
As an aside, there was an interesting recent episode of the AWS FM podcast where a guest was rendering dynamic HTML from Lambda functions and seemed incredibly satisfied with the results. (Unfortunately the recent episodes lack transcripts and I cannot easily verify, but I think it was Episode 17 with Brian LeRoux.) This is a use case I haven't seen get a lot of love, but it is at least similar in premise to HTML Over the Wire [1].

[1]: https://hotwired.dev/
Switching from iphone, which all my friends and family use, to a pixel caused so many issues with texting I almost went back to iOS solely because I was causing headaches for others.

FOMO is real for sure, but plain old inconvenience is also at play. If your entire family and social circle is on iOS, it's a massive pain to leave. This is by design.
I just assume iMessage is a polished messaging app that Apple made for their phones….

All these “world domination or bust” ideas I think are silly.
I would be rather surprised if managers at Apple are directed to avoid building features that would help prompt greater sales in the name of avoiding ubiquity.
Oh it's real. It's very frustrating to text people who can't receive live photos, videos sent are reduced in quality by a significant degree, can't receive replies to specific comments, and can't receive link previews. People don't click links without a preview, period. So no use sending a video or live photo via icloud link either. I have absolutely minimized texting android users due to these issues. It probably helps that 80% of the folks I text regularly (or have at some point) are apple users.
>California? Which requires online payment.

Only for those who have had to make a payment in the past of $20,000 or more at one time, so the vast majority of CA taxpayers are not subject to this requirement. And the penalty is 1% so it is not out of the question to pay by non-electronic means and accept the penalty.
Japan solves 5G airliner conundrum: Keep masts 200m from airport approach paths
It's the kid version of keeping up with the Jones's
This is scaling Kiva robots from warehouse to country level. Pretty obvious once you have the funds secured.
one would assume usps would have the best data regarding residential addresses, so I assume "where you live" is not a residential address. Part of the reason they are delivering to residential addresses (and no "to the local post office") is to limit the orders by household, and avoid scalpers reselling those tests.

Obviously ideally they should be limiting the orders by person, but without national id and with scalpers ready to make a penny wherever they can we cannot have nice things.
> It works. It’s better than anything Google has attempted. The problem is, it’s not good enough.

This is wrong. Google had a very good messaging system, Google Talk. It worked really well, was based on open standards, supported federation, video/audio calls and was making its way into smartphones. For example, the Nokia 770-N9 series supported Google Talk as early as Q2 2006. Calls based on an open standard in a smartphone, already in 2006...

However, internal politics at Google led to the discontinuation of Google Talk in favor of a long stream of confusing and half-finished attempts: Google Chat, Hangouts, Duo, Spaces, Allo and Meet. I've lost track of how many different services they have come up with. Apparently there's more of them I didn't even know about [1]. It's comical and sad, since the first one was great and had tons of users thanks to being embedded into Gmail.

[1] https://www.theverge.com/2021/6/21/22538240/google-chat-allo...
I think one of the better examples of design-for-repair is mid-century cars. They are spacious to work on, few special tools are necessary beyond the usual things you can find in a machine shop, and parts and documentation are plentiful. Of course it could be argued that they had to be, because they were designed for periodic maintenance rather than to last a "lifetime" without.

Nobody does design for disassembly better than the Phillips Sonicare toothbrush, whose manual notes "this process is not reversible" before graphically wrapping the toothbrush in a cloth and smashing with a hammer to access the battery.

I've seen ones where the bottom is screwed on and they supply the "wrench" as part of the base, although it is intended for "recycling":

http://www.davidgunter.com/2021/01/25/braun-oral-b-electric-...

Thinking about the design, it's clear that they actively designed against you replacing the batteries or attempting to repair --- instead of a simple threaded cap with an o-ring for sealing and spring contacts for the battery inside, like a flashlight or vape mod, they decided to solder the battery and make it harder to or even impossible to open non-destructively. In other words, they decided to make their own assembly process slightly harder as well.
Please don't spout trolling medical advice. Deworming medicine like Ivermectin does not treat COVID-19.

https://academic.oup.com/qjmed/article-abstract/114/10/721/6...

> Based on very low to moderate quality of evidence, ivermectin was not efficacious at managing COVID-19. Its safety profile permits its use in trial settings to further clarify its role in COVID-19 treatment.
On TikTok there's a lot of GenZ videos about green bubbles being ugh. It is definitely a thing with younger people. I got an iPhone after never thinking I'd buy one ever, but decided Apple is the lesser of 2 evils, and everyone I text that has an iPhone immediately recognized the blue bubble. Also, it sucks if you want to send a picture or video to a green bubble.
I imagine blue-bubble FOMO is more popular within the US because most younger Americans use text messaging instead of WhatsApp/Telegram like you would find in Europe or South America (aside from occasional group chats or college teamwork)
Boy, a look at that site and you see why this was hosted by USPS - almost 200M hits to USPS properties in the last 7 days. I’d been tangentially aware of USPS’s pretty solid improvements to their digital architecture/offerings, but I didn’t realize they’d grown that much.
I was rooting for Topic Maps at the time. The notion of Topics, Associations between them and Occurrences of information about a topic seemed to me to be very powerful. I don't think they were necessarily meant to model mind maps (altho no doubt you could), more of a super charged index of an information space.

FWIW Topic Maps were the inspiration for BrainTool [1], which is a 'Topic Manager' maybe in the same space as Dendron. I wrote about the model here [2]. I'm hoping people will exchange Topic Maps that index an information space or area of research!

[1] https://braintool.org

[2]https://braintool.org/2021/05/15/Organizing-your-life-with-a...
I'm not a home insurance expert but I suspect most peoples' deductibles for theft is around or above $950. Therefore from an insurance point of view it doesn't really make sense to make a claim, at least for the amounts that we're talking about.
The author ignores strong evidence suggesting that iMessage brings people (especially young people) into the apple ecosystem, locks them in and lands and expands. iMessage is the killer app for iPhone and integrates flawlessly with the desktop app.
I hate to disparage the intelligence of the author in general, but in this specific case they are wrong and startlingly ignorant of the market they pretend to understand at an expert level.
That's not iMessage / Apple's fault - that's a limitation of the SMS and MMS technologies.
One-year sustained cellular and humoral immunities of COVID-19 convalescents
http://doi.org/10.1093/cid/ciab884
It gets talked about a lot (I've seen many articles talking about it over years), so I guess I think it must exist. Never ever heard of it in real life. Maybe just Wealthy Zoomers? People from New York? Teenagers? I have no idea, but things keep telling me it is real. Like, I know more people with android than not, I have an iphone, I think I've never been in a group chat that was "blue bubble."

MMS isn't as bad as it used to be, however. Less regions have service that is too poor for MMS to work but SMS works fine I think.
blue bubble fomo is very real. It is the main reason ~5 of my friends have switched to iphones in my age group (~21) in the last two years
A quarterly magazine — $2K/mo: pipewrenchmag.com

Two membership tiers, one paid, one barter: pipewrenchmag.com/backer-barter

We publish one longform nonfiction feature every quarter, surrounded by a constellation of reactions, asides, and art inspired by the core story. Our latest issue is about bringing in "outside food," and the art of smuggling snacks into movie theaters: https://pipewrenchmag.com/making-concessions-movies-and-popc...
i figured it was obvious to only flag human-review for multiple orders to the same address or an unknown apartment suffix. if the current solution is to have those users file a human-processed request anyway, this streamlines that flow and makes it painless to the user.
Agree. + I don't want to support use Facebook #meta products and I can't get my friends to use Signal
a way to remove the mood music and leave the voices and foley.

I really enjoyed the cinematography of a film the other day, but the music completely ruined it.