skysight-inc/HackerNews huggingface dataset:
Roof/building/bridge construction are things that have been around thousands of years. And they still get things extremely wrong sometimes: look up the footbridge in London as an example, it needed the equivalent of a security patch. On the issue of roofs, it's also often recommended that you do annual roof inspections and maintenance, looking for potential issues.

Regardless, we're talking about security, so let's go to the actual real-world equivalent. Physical security. Is perfection possible there? Nope. Anything even remotely capable of surviving a sustained attack is going to cost an amount of money reserved for corporations and nations, not everyday consumers.

If you think the current quality of physical engineering is something we should hold up as a comparison to the security quality expected of software, let's compare notes in a few hundred years when programming reaches the same level of maturity.
> I think the global reduction in in person communication is a grave risk to humanity.

I'm not sure I agree. For the most part of humanity, we have been at war, murdering each other, enslaving each other, and numerous other atrocities... Including nearly a nuclear war.

The reduction in in person communication is due to the increase in global communication... Which I think is a net benefit. Social media is a bump in the road, and my hope is that we'll overcome the likes of Twitter soon.
> power users complain—and still continue using the site—but the casual user does not.

This was the exact situation digg just before the mass migration to reddit happened.
Cheat Codes of the Universe Review, Legit or a Scam?
A shell alias?
From the article:

> According to a psychiatric assessment presented to the court Thordarson was diagnosed as a sociopath
> Given what we know about user behavior on the Internet, Reddit is almost certainly on the downward slope of this weird Laffer curve, well beyond the point of "optimally effective" nagging.

If your internet bubble is largely composed of power users who have such a deep disdain for pop-ups that they will refuse to engage with this sites, you might think that.

But looking at Reddit's growth numbers lately, it appears their gamble has clearly paid off.

The key to understanding this is this: Mass-market, advertising-supported websites don't cater to picky power users. They cater to whoever they can get to sign up. If someone refuses to use a site because they refuse to sign up or install the app, then that's a positive, not a negative, for their numbers. They only want the users who will accept the conditions of the website.
There is simply too much noise/signal. We truly need a protected class of speech/news that cannot lie by law. This is similar to standardizing currency in order to facilitate trade without risk, except for information.
Yup. Looks like it still is. You don't burn your own people unless they are very bad.
> Bagwell Trie

I'm getting almost no google results for "Bagwell Trie". Where can I read about this?
A handful of people make Sublime Text, which is as good if not better than VS Code. It can be done.
Dating first cases of Covid-19 (PLOS pathogens)
The real world Clone Wars
On Android we implement a background service that will wake up periodically and either use the active tor connection or start a new one if the kernel has stopped it for any reason - and also reconnects the UI. This makes Cwtch connections fairly stable on android devices - even for p2p.

However, it also means that Cwtch on Android is fairly battery intensive. We provide a way to easily shutdown Cwtch completely for this reason - and we are researching ways to minimize power consumption (both through tor optimizations and alternative anonymous communication networks)
If Greenwald suggest to Snowden in Dec 2012 that he should steal more, is comrade Greenwald complicit

We all know Assange not only encouraged but participated.

Snowden is a thief and liar who encouraged others to leak in his capacity at fpf. Complicit.

Snowden and Assange are traitors, in the non legal definition
I don't consider HN to be social media. It's a forum isn't it? Mostly anonymous and no "pushing" of feeds or content.
You would not need CRISPR to do that. If something like that ever occurred they would probably use other methods that have been very well studied for much longer and are considerably easier to apply. Including just taking blood samples from bats (or pangolins or whatever) and archiving a great compelling virus and culturing it in a lab. If you wanna add CRISPR into the mix you could also make a virus like that make someone grow some horns and get hiccups that sound like a kazoo though.
Nice to see that sphinx-needs got already mentioned here.
As I'm the maintainer of it, let me know if features are missing.

For the rest, if your dev-team is following docs-as-code approach, give sphinx-needs a try. It allows to automate a lot of stuff and integrate external data. So in the end it can save a lot of time.
Swtiching windows in teams is slow, 20 years ago Microsoft knew the research on this and minimum viable response time. They ignore it and the predictable result is people don't take advantage of teams. It possibly could be good, but I want Skype back, it didn't do as much, but what it did it did well.
I don't see why my ThinkPad P50 with an Intel Core i7 Skylake @ 2.60GHz with 4 cores and 8 threads cannot be supported. I really don't get it. I will stay with Win10 or move to Linux.
lipstick on a pig.

Teams is not very good.
> Which things in particular?

Lots of things; there was for several years a “caniuse” equivalent for Ruby gems tracking if they were on 1.9 yet because it was such a big issue. Bigger issue outside of the Rails-centered ecosystem.)

> I personally was managing upgrades or a large Rails app at the time; Rails upgrades were, and remain, a bear, but the changes required to move that code between any two Ruby versions have never been more than a day or two.

Yeah, a lot of Rails use exercises a fairly narrow slice of Ruby language and core/stdlib directly (that js, outside of library code), while leaning heavily on Rails-provided APIs, so that's not too surprising.
> The Bernoulli effect explains the pressure differential by way of an above-wing streamline reaching the back of the wing at the same time as the below wing streamline. Since the upper wing is curved and therefore a longer path the theory claims the pressure differential is caused by the upper streamline traveling faster than the lower streamline.

That's not how the Bernoulli effect explains the pressure differential. The bernoulli explanation is that air builds up in front of the airfoil, creating a high pressure region, while there is a low pressure region created in the wake of the wing. This pressure differential forces accelerates air over the wing. For an asymmetric airfoil, more of this flow is over the top than the bottom, so the airflow over the top is faster, and thus lower pressure, than the airflow under the wing.

The "equal time" thing is a pop-science misunderstanding.
Just as a Turing machine requires an infinitely sized tape to compute any computable function, so too would brainfuck require an indirect sized tape (or whatever it’s called in BF) to compute any computable function. Since memory is finite, neither of these properties are actually available on real hardware.
Assange is not even a US citizen. How can he be a traitor?
Really? Hacker News is even worse. This POS site lets you type out an answer to something or a comment, only to reject it with "YOU'RE POSTING TOO FAST." Really? Anything beyond two comments an hour is "too fast?" Then why do you let us even bring up the commenting window and waste our time?

FUCK YOU, HACKER NEWS.
But who will be the arbiter of truth?
> This is why the reasoning that Wikileaks helps dictatorships is absurd.

I never wrote that nor implied it. I wrote and I maintain that wikileaks deals more blows to democracies than dictatorships and that it's because of the very nature of democracies (edit: notwithstanding the whole anti-US bias of Assange).

I don't know how to make my point clearer:

- Wikileaks's leaks are mainly about democracies, not dictatorships.

- It creates tensions in these democracies and it does not in dictatorships.

- This consumes resources and has consequences in democracies (civil unrest, lack of trust from the population, investigations, weakening of governments, tensions in relationships with other nations, etc.)

- Whether it's a good thing or not, it's desirable or not doesn't change the fact that dictatorships are not diminished and are not the target of wikileaks while democracies are.

> We are talking war crimes, environmental disasters, political corruption, ...

And regarding my last point: I do not believe for a second that we should ignore those facts in order to appear strong or clean or whatever.
Windows 11's rollout made me want to barf. Lots of marketroidy "Simple, clean, beautiful!" and "We put the Start menu at the center because we put YOU at the center!" Yeah, those are nice inspirational sound bites, now how are you going to make Windows less of a pain in the ass to work with, day by day? Windows 9x put the Start menu down in the corner to effectively give it infinite width and height per Fitts's law. It also gave us buttons that look like buttons. The beveled edges did more than make things look pretty, they signalled availability for user interaction and roughly delineated the boundaries where such interaction could take place. It was a massive UX improvement over Windows 3.x. Is Windows 11 less fraught with friction than Windows 10 in real terms? All the indications say "no, but it is prettier!" No affordances, no signals to the user, just plain white panels that don't look like anything and now the Start button -- the Schelling point for telling Windows what to do -- is harder to hit with the mouse. Oh, and how do you put to use Windows 11's new tiling and virtual desktop features? Hover over maximize! So easy to figure out!
> BestBuy sells some Windows laptops with 64 GB eMMC.

I would suggest that people are likely not attempting to use enterprise-grade collaboration software on these machines, so that's not a problem.
> so far most attempts at it suck

Agreed. I’m pretty sure I have it solved with Tree Notation though. I’ve got a thing in the works which I call 3D git. Tree languages get it for free. The trick was simplifying the syntax so there’s nothing left but space, and then your syntactic shape matches the semantic shape.

A sneak peak:

https://twitter.com/breckyunits/status/1408546408911695873?s...
Of course it is not. We shall have ads, microfones and cameras everywhere.
I got one for many years, haven't seen any ads ever.

EDIT: wait, what ads are they talking about? OK, I see suggestions of Disney+ shows, and I don't have neither a subscription nor the app installed
Not at all. In wealthy enough circles, power has no nationality. This is just capitalism in action. Where it gets interesting is the ways that power can take advantage of HUNGER for power and money. Trump was a kompromat machine, but remarkably easy to influence as the guy doesn't care about anybody or anything other than himself. He doesn't even particularly care about the Republican Party, then or now.
The detail is very interesting, thanks.

Maybe what you say rules it out anyway, but can concrete deteriorate over time? Eg maybe it was up to strength at the time, but somehow weakened over the 40 years? I don’t know anything about concrete...
Right, of course. I had a DX in mid nineties and should have known ;-} Alas, it's been a while.
How is the rule of not using your phone during that time managed when someone has to be on call in a company? And as a doctor? (I guess that the restrictions are different)
> Except no ad-free service remains ad-free forever.

None of the examples you gave (toasters, windows, paint, and shower-heads) are services. I used YouTube (a service) as an example, because we're not in a world where products are overrun with ads the way services are, but my point was that even the service market has started to offer alternatives to ads.

The idea that the market will bear every product getting service-ized but somehow not offer any ad-free versions is nonsensical, at least in the steady state.
> and you don’t always want your data to be normalized.

I think "normalized" is doing a lot of work in this sentence. In the context of data keeping, normalization usually doesn't mean something like "like give a unit vector", where they both have value and the normalization is lossy, but rather cleanups of messy stuff that ought not to occurred in the first place.

What I am saying is not the original input has no value, but we should take the steps to make those problems actually not happen in the first place. Rich interfaces do that, and are an investment that pays for itself eventually so this isn't manifestly unreasonable.

> ...metaprogramming over algebraic datatypes not parametric polymorphism...

I worked on a little toy "tree editor" where we did just that. The use of a good type system to both operate "generically" without "upcasting" and loosing the structure for ever is key.

> See also the “nanopass” approach to compilers.

I do like that a lot :) but I also like that there is an IR for every pass, like with CakeML. I thought those went hand in hand?

> (empirically if not theoretically evident) advantage of Unix’s “getta byte” approach to IPC

I would argue the (over-)prevelance of HTTP is effectively empirically the opposite, namely that people do prefer structured things in a vacuum, but coordination failures have repeated gotten us stuck in local maxima of already widely established things like Unix's various binary streams and then HTTP.

> This is why I mentioned Paredit and Dylan’s “skeleton syntax trees”: they are, respectively, a structural editor and a macro system that work where others fail by the virtue of being expressed in terms of more than text or even tokens, but less than a full syntax tree.

I do agree the jump from text to sexprs / json / token trees (Rust's name) etc. is the most important step. Fist get rid of flatness, then worry about higher invariants.

> We’re talking about programming languages, about making a computer understand the programmer’s intent to some degree.

And surely text doesn't help with that. Too much structure makes some edits hard if the user can't temporarily mid-edit ignore the rules, but computer should love it.

> It’s kind of endearing to see the luminaries on the Algol committee (essentially all of CS at the time) state that they want, like, pseudocode, from their papers, except, y’know, with a compiler, and not suspect anything can go wrong with that.

This is about Algol 1968 not Algol 1960? My understanding was that was too many features, not too many invariants.
Spanner only uses clocks, aka “TrueTime”, for transactions. It uses an estimate of error to basically build in waits into the system so transactions can be globally ordered.

The underlying system is all built on Paxos though, which uses logical clocks under the hood. That is, the fine grained distributed log is all done w/ logical clocks and events.

Why doesn’t it use logical clocks for transactions? Well I guess it is just a lot simpler and scales better while providing global ordering. The tradeoff being additional milliseconds to decide a transaction - which is probably fine for high level transactions.
Lanier's smart, isn't he? It sounds like he was ahead of the curve, here.
> As with all classic Ponzi schemes it will collapse when some external event causes a bunch of people to demand convertibility at once, and they can't meet their overvalued rate.

But why is everyone keeping their USD in USDT? For ponzis it makes sense because you're promised a rate of return, but for USDT you're essentially losing money every day due to inflation.
Your name couldn't be more appropriate unless it was "brythonicninja"
The big issue with major OS updates for me is that the security updates are bundled with the feature updates. That's why updating Android on my old phone stopped being feasable, when the increased performance requirements caused it to remain persistently hot and unresponsive.

Not just the security updates, but also things like APIs that prevent some applications from being compatible. Still, I have to wonder how much of a tradeoff would be possible when all the code is managed together, and the security and feature updates would be interwoven in the same repo. There is only so much manpower available to keep maintaining every version of each update.
The data is free to developers and users. We offer a freemium service to businesses that they can use to publish and manage NUM data.

We prepopulate data in our domain (NUM.net) so the protocol is useful from launch.

The protocol allows anyone to publish data to their own DNS, they can also delegate their “_num” zone to us so we can easily manage the data.

Our plan isn’t to centralise everyone’s data in one domain (num.net), but that’s a fallback. Realistically, many small businesses will use this hosted solution long term and our business model counts on that.
Right! Like Nvidia Shield! wait
Tivo started running ads in its (subscription fee) service. It only takes up a single slot in the guide, but there are 3 in every screen. I called and complained, but what can you do. I stopped using Comcast box because of the intrusive ads. I fear this will be the future of streaming interfaces.
I’m currently not that busy really. Let me know when the arbiter position opens up and I’ll rearrange my schedule.
> not skipping bail means you get extradited to a country that will torture you via extended solitary confinement

An extradition request which has so far been denied, in part due to the conditions he will face in the US, FWIW. I'm not sure that it can be taken as given that an earlier request (to the UK or Sweden) would have been successful:

> Faced with conditions of near total isolation and without the protective factors which moderate his risk at HMP Belmarsh, I am satisfied that the procedures described by Dr. Leukefled[sic][1] will not prevent Mr. Assange from finding a way to commit suicide. [...] I am satisfied that, in these harsh conditions, Mr. Assange’s mental health would deteriorate causing him to commit suicide with the "single minded determination" of his autism spectrum disorder. I find that the mental condition of Mr. Assange is such that it would be oppressive to extradite him to the United States of America.[2]

[1] "[Dr. Leukefeld] is a psychologist employed as the administrator of the psychology services branch in the central office of the [Bureau of Prisons]" ([2] at 350)

[2] https://www.judiciary.uk/wp-content/uploads/2021/01/USA-v-As... at 361-363
Good point! There is an increased pressure on a public service. Hadn’t thought about that parameter.
> I’m not sure why you’re being downvoted so much, the point is definitely interesting

I have observed a `shark smelling blood` thing going sometimes on HN. If the timing is right and if a child comment in an upvoted parent that is at the top of post gets one or two downvotes then it has some visibility and then it attracts downvote clicks. If there are 4 or 5 other children they get ignored (I believe the last one gets all the downvote because people parse from top to bottom and only bother interacting with first or last elements... so some posts will get buried while others will sail through) shrug, it might be all in my head though ;).
Digital Assets: Beauty Is Not in the Eye of the Beholder [pdf]
According to Microsoft's Windows health check tool on the Windows 10 installation on my Macbook Pro 16" it would not be supported under Windows 11. no TPM module is present on that system.
I don't care to really delve into why I think my theories are obviously correct. The problem is that your entire line of reasoning is broken. When your evidence is weak and your possibilities are infinite you can not say that the evidence changes your view on one of those infinite possibilities - that's just confirmation bias.
In Tree notation the text and ast have the same shape. You can then have a semantic git

https://arxiv.org/pdf/1703.01192.pdf
Also note that, at that time, the Trump organisation was running an EOL’ed MS Exchange server. It’s reasonable to assume it was vulnerable and that all information it contained was leaked.
IME nvme to usb adapters tend to run pretty hot as well. The only difference is that the form factor is much bigger so the same heat is dissipated over a larger area.
To Fly a Drone in the U.S., You Now Must Pass FAA's Trust Test
The TPM part maybe, but why the 8th gen intel & zen+ and newer requirement?
Why would one presume that the reason has anything to do with computation error rates, rather than something obvious and mundane like "Graviton instances are more profitable"?
Hey Larsius, is this game basically a reskinned version of the old school FFR Flash Flash Revolution game that was popular over a decade ago?
This begs the question that truth can be formalized. Who gets to decide what is truth? That's incredible power and it's unlikely that people will agree on who gets to wield it. If some does have that power, how do we know that they won't control the "truth" to build an autocracy?
Sharing what I learned trying to find a dumb TV:

It appears that the two main options for 4K, non-networked TVs are 'business-grade' panels (e.g. [0]) and Sceptre[1], which are always out of stock.

I haven't bought either yet (my dumb 1080p panel was working just fine until this week,) but I am planning on upgrading soon.

[0]: https://www.sharpnecdisplays.us/products/displays

[1]: https://www.sceptre.com/
I'm imagining that the wealth tax would only apply to people with more than $1bn in net assets, so the overhead for almost every tax payer is to simply tick a box each year saying "I am not a billionaire".

More precisely, the law would require anyone with gross assets above some threshold, say $500m, to report the value of those assets to the IRS every year, based on some simple valuation rules, like "How much did you pay for the asset?" and "What is the market value of those shares / cryptocurrencies?". Only assets worth more than $1m would need to be declared.

Then, as I say, the IRS can go down the list of people with the most assets and do a more thorough audit, to make sure their valuations are correct, while also making sure that there aren't any billionaires who have forgotten to file, since it should be hard to hide that much wealth.
This reminds me of an article I read earlier this week in AdExchanger about Amazon's advertising business.

https://www.adexchanger.com/online-advertising/the-birds-eye...

The future is all about video. Brands are paying Amazon top dollar because they can link customers to ads on Fire TV. Amazon is quickly moving into non-ecommerce advertisers, which is where Google shines.
All true. I should point out, however, that there is also the chance of a larger-than-normal percentage of suicide attempts _not_ resulting in a trip to the hospital, out of paranoid fear of infection from covid-19 if you go there. I have no great ideas on how one would estimate any of these.
https://www.whathifi.com/news/old-sony-tvs-are-about-to-get-...

(I bought an X950H, as it's known in the US.)
Kinda related, but I feel similarly about Apple News+. It's a handy interface for an overview of the news, but they push subscription options. I want to be able to configure it to just not show me the pay-even-more options. And to exclude certain news outlets altogether. At best you can choose to hide a news provider, but they don't really go away -- it just shows you a black box where the story would be, along with a note that you've blocked them, and a button to show it anyway. Sigh.
The bar for extradition doesn't require the US to prove it - the only place they need to prove it is in court when he's in the US.

And "Russiagate" is a bit more nuanced than that - Wikileaks claimed to have GOP emails as well but for some reason never released them.