skysight-inc/HackerNews huggingface dataset:
You can use links, webrings, and word of mouth. You can crawl (for non-web this may require quite specialized tooling), scrape, and compile a database for search (which can be done locally using whatever tools you prefer or even a full-blown webserver like gigablast or YaCy); and, to some degree, these practices themselves can be further decentralized and shared. Scaling is hard, especially if users expect immediate results or there are adversarial nodes to contend with.

Ideally, we could programmatically share feeds of curated and tagged information with each other that can be nested, mixed, or further shaped. Leveraging our trust in others (and their trust in others by proxy), which can be similar to some problems in distributed governance, is a p2p holy grail, imho.
Much as I like USB-C this is far from accurate.

My JBL speaker will only charge with a USBA -> USBC cable, but not with USBC->USBC.

I've a couple of cables that will charge headphones or other devices, but won't show data devices (like an external SSD, webcam, etc).

I've some cables that won't charge my laptop, however, other cables on the same charger do charge that same laptop.

Maybe some of these devices and cables are non-compliant, but they're what we see in the real world, regardless of what the spec says. USB-C is a mess. I still need distinct USBC cables, and need to remember which ones can charge which devices.
Looks like they really don't want any feedback to me.
> What will they do 5 years from now (or however many years that all forests are gone)?

Solar panels and heat pumps seem like a good long-term solution, but that can't be done in time to keep people warm this winter. So for this winter, what would you have them do? Freeze? Travel back in time a few years and come up with a better solution?
You can't, that's why miners vote with their computing power (or their staked coins in PoS) instead of the number of nodes. The second metric is gameable by spinning up many nodes (Sybil attack).
But if someone comes at you wanting to unplug you from the internet (in every meaningful sense), what possible recourse do you have? These are trolls, they don’t go away just because you ask nicely or try to ignore them.
The current internet has been taken over by corporations and made safe for advertisers. I could read the thoughts of neo-nazis and free love hippies back to back and really gain a better understanding of people with different philosophers to me. The current internet is overwhelmed with advertising friendly pink capitalism neoliberalism.
I don't think writing proofs in Isabel is really comparable to regular programming. Note also that writing formal machine-verifiable proofs is a skill that few career mathematicians have. Writing regular proofs is a comparably much simpler skill, one that is universal among career mathematicians.

So, the fact that your practice of a very complex version of a skill also improved your ability to practice the simpler version of the skill isn't really surprising.

Coincidentally, my understanding is that many mathematicians find such deeply formal proofs hard to follow, compared to more informal ones. It would actually be interesting to know if your proofs have become more or less satisfying to a practicing mathematician after your experience with Isabel and HOL.
That does tend to happen to negative Microsoft stories/comments here.

Pet theory: Their employees or partner developers aren't quite as mellow as e.g. Googlers when it comes to allowing criticism on HN.

I think it's a weakness that HN allows this to happen by means of flagging.
https://archive.ph/sRzth
Is that slitting hairs? The DAO was hacked early on. The DAO's hack was due to specific functions related to Ethereum. The inherit ability to program smart contract makes it open to attacks. I like the idea of the Ethereum but given a choice I will always pick bitcoin for security.
> Why assume this one Russian weapon actually works, if all others turned out to be shit?

I haven't seen the new Jackass movie. Is this the plot?
For me the most common cause of sluggishness and beach balls was having Microsoft Teams running at the same time as a Time Machine backup while a Western Digital Elements USB drive is attached (easily verified by quitting Teams, stopping the Time Machine backup, or unplugging the WD Elements).

It’s easy to point the finger some times, especially when one is biased against a particular vendor or technology. If it was disk access by the anti-malware software that triggered my slowdowns, I’d probably be pointing the finger at that anti-malware rather than the MacBook Air M1’s issues with sleeping USB disks or Teams’ penchant for gobbling up all available RAM.
I noticed that as well, thinking it might be the daringfireball.net / markdown guy, but checked the info:

Author: https://www.nber.org/people/jonathan_gruber?page=1&perPage=5...

vs.

JOHN GRUBER https://daringfireball.net/contact/

Different john / jonathan grubers.
Kiwi Farms users are anonymous too. The owner of KF regularly cooperates with American law enforcement.
I can't speak for OP, but I am typing this on the mid-2014 MBP which has nearly identical processor and graphics specs. The only thing that this machine struggles to do is video editing. Besides that, it feels as fast as the day I got it.
How have they won court cases over this? That's what I don't understand. They seem to be doing illegal things, and yet there's no legal recourse? Honestly it's just a matter of time until they figure out some way to make it work. They're still on TOR which is probably enough for their most dedicated members. A legal ruling could really tie their hands
Almost all limit order books required posting the assets on the book and take a fee on trades. You can read off the amount paid to generate the fictional market cap and judge for yourself if it's likely to be fake activity. For thinly traded books with low liquidity, it's cheap. For thick books with high volume, it's expensive.

Also exchanges that are not participating in scams, actively or passively, will attempt to detect wash trading and stop it.
Make a snapchat like site where only terrorists post, and posts are erased after 2 hours. No harm no foul, since nothing is permanent?
No, it protects other countries on Russia's borders (including some of our close allies) from further aggression. If the Ukrainians manage to kill off enough Russians then that will take Russia off the board as a global player for years to come. They already had a declining birth rate and a weak manufacturing economy so it's difficult for them to make up losses. It's unfortunate that things have to be that way, but that's reality.
The developer says they will release source code soon – https://github.com/macos-fuse-t/fuse-t/issues/1#issuecomment... – although keeping the restrictive license.

Apple is introducing user-space file system technology in macOS – LiveFS/UserFS/com.apple.filesystems.lifs – some of the infrastructure turned up in Monterey, in Ventura it is actually being used for mounting FAT/exFAT filesystems.

It looks like for now Apple is keeping the API Apple-internal only (although I haven't looked at the Ventura SDK, so I could be wrong about that). But if Apple made the API public, it could be the death-knell of all these commercial FUSE-alternatives for macOS offerings. (Even if Apple's API isn't FUSE-compatible, if it is close enough, someone could easily open-source a translation layer – likely to be a lot simpler than bridging FUSE to an NFS server.)
I suppose it's sort of described by 'good opportunity for updating the API' - but my #1 reason would be 'you (need to) know systemd config anyway, so lets use it instead of a different thing'.
Of course exchanging information can be dangerous - e.g. when people decide to run coordinated harrassment campaigns - it can also be a wonderful, magnificent thing (e.g. distributing academic knowledge freely) but it's not all good.
And before Youtube, the term had been popularized by William Gibson (2003) and Malcolm Gladwell (1997ish). Terrible shallow article, but that's what I've come to expect from the Atlantic in recent years.

https://en.wikipedia.org/wiki/Coolhunting has more links. The Gibson novel was Pattern Recognition.
Thank you for reminding me – I knew that, but had forgotten. I will try to remember next time.
My 9 year old started programming lua in Roblox. He doesn't really know whats going on, he is just following the tutorials, transcribing what he sees on screen. When he makes a mistake he has a hard time reading through the code to see what went wrong.

A few weeks ago he rediscovered Scratch. It's a completely different experience. He started out following tutorials like he was with Roblox, but quickly made the metal leap to altering and enhancing the tutorials. Adding sound effects, changing values. Restructuring and reconstructing for loops to do what he wants.

Now he is breaking problems down and solving them one at a time. Setting a goal and working out how to achieve it. I think that's a far more valuable skill at this stage.
I am curious what exactly you mean by algebra here, that is studied in 7-10th grades but that is similar to programming. The only algebra I studied in that period was linear algebra (polynomial equations and systems of equations), and I don't see any obvious connection to general purpose programming (say, I don't see how that kind of algebra helps with understanding quicksort).
> Take the Many Worlds theory of Quantum Mechanics

Some will say that, to be strictly correct about terminology, QM is a theory, but many worlds is an interpretation of it. The theory belongs to physics proper; the interpretation belongs, not to physics, but rather to its allied discipline, the philosophy of physics. (Many extra-philosophical disciplines have allied subfields of philosophy – philosophy of mathematics, philosophy of science, philosophy of biology, philosophy of law, philosophy of politics, philosophy of medicine, philosophy of psychiatry, philosophy of education, etc, etc, etc.)

These interpretaions belong in "philosophy of physics" rather than "physics proper", because (1) they are (at least for now) untestable in practice; (2) the mathematics is (largely) the same. Something like string theory is more "physics proper" than "philosophy of physics", because even though (1) is also true for it, (2) is false.

But, not everyone is so careful about the boundary between "physics" and "philosophy of physics". Your example of physicists who say "philosophy has nothing to say to them" and then embrace many worlds is an example.

> The same goes goes for logic's acceptance into philosophy, Russell argued that that logic was actually an aspect of mathematics and that basically it didn't belong in philosophy

We can study logics as formal mathematical systems, and to that extent logic indeed forms part of mathematics (mathematical logic). However, while the mathematical study of logics is a vast topic – if we ask the question "does this mathematical logic accurately model how (some aspect of) human thought actually functions, or ought to function"? – that question is beyond the proper bounds of mathematics – and that's where the boundary lies between philosophical logical and mathematical logic.

> After reading your reply, it's clear to me that we have somewhat different philosophical outlooks

I get somewhat pedantic about precise conceptual distinctions (including trying to correctly deploy "the discipline's more formal nomenclature", as you put it), but I feel like you treat these distinctions in a more impressionistic way than I do. I think that's one difference between our approaches.

> If perchance we ever managed to spend an afternoon together discussing philosophy then I'd reckon we'd get along just fine.

Yes. Who knows, maybe some day we shall.
You would have to make it very clear that there is a possibility for liability or for the customer to sue if that expiration date is decreased.
To be fair, these studies are also downplaying any long-term effects of vaccination. Hard to say what direction the combined effect goes in.
The number of nodes doesn't really matter as long as it's sufficiently high. The network security is mostly based on how decentralized the hash-power is (or staking-power) is.

You're right that better measures are number of transactions-per-second, merchant acceptance, etc:

https://mempool.space/lightning
https://bitinfocharts.com/comparison/transactions-btc-eth-lt...
https://moneroj.net/merchants/

I agree that crypto games have been pretty pitiful in their current incarnation, outside of gambling applications (thanks to provable fairness). They have a bad reputation of being too centralized and pay-to-win, which is really the only problem cryptocurrency is supposed to solve.
So was the first outbreak at the lab or at the wet market? I feel like everything else is circumstantial and conspiracy-laden.
Just from my own anecdotal evidence, going clean vegan dropped my cholesterol levels from 6.1 to 5.1 in ~3 months. I’m pretty convinced there is a lot of truth to high saturated fat/animal products negatively impacting cholesterol levels. But that is my own personal experience.

I’d encourage anyone seeking insights to just try a vegan diet for a while and compare their bloodwork, and how they feel. Seems like little point looking for answers in the science because of the amount of noise.
Then chess games will be held inside windowless, purpose built sound proof rooms with only staff members inside, and the players will be forced to leave their shoes and socks at the door and wear tournament-provided slippers. Construction work around the building will also be stopped during the tournament.
TOML is awful substitution in the ansible context. Let's play a game, how about I give you a real-life playbook and you translate it to TOML?
In the present day, the target just gets fatally run over.

It won't even make headlines in most cities. And even if the assassin is caught, the "penalty" is a slap in the wrist in most Western cities, and even less in most Eastern cities.

Extremely discrete, plausible deniability, and no one bats an eye.
Agreed, you could email dang re getting the link changed
I would not be surprised if the former also becomes commonplace in the future, given how much unfortunate reliance most people have on "smart" devices and Internet communication for their lives.
Not everybody panhandles in India, Latin America and South Africa to help pay those salaries.

Wikimedia does.
In theory, yes. In practice, I think most people probably don't.

I think scans would be acceptable, but you'd probably have to verify those claims with the bill sender.

Houses in the US being so big has less to do with storage requirements for tax filing documents than everyone wanting to stay above average for everything, including house size, and home builders and real estate agents profiting greatly from the general FOMO.
If you haven’t tried already it’s worth looking at Bandcamp. There are a lot of new CDs (and tapes and vinyl) for sale on there from independent labels.
Providing information about how to source drugs (and even encouraging people to take them) is not the same as drug trafficking. Erowid is not the Silk Road.

As for the second allegation, I haven’t seen any substantiation. But I do know that in some circles any discussion in any context (eg: school) about sexual identity with teenagers has come to be considered “grooming” so I’m a bit suspect about the choice of words.
We are disagreeing mostly because we seem to discuss separate problems.

My point is that the amount of wealth acquired through doing business has a posiitive correlarion with doing something that the society values and finds good.

Your point is that the amount of wealth generated and any other good done to the society should not prevent a person from gaining certain social benefits.

These point do not contradict each other. Basic benefits (like protection of life) should be, and are given by the society equally to a bum and to a millionaire (even thoough a millionaire can also buy an extra package on top of the universal protection). At least such is the idea and the letter of the law.

This is basically the difference between commerce and love: love is unconditional.

But the amount of matetial manifestations of love a society can give its members is limited by how rich it is. If you are poor yourself, you cannot help your poor neighbor, except maybe with a kind word.
Until very recently (which is news even to me), the movie studios couldn't own the distribution channel - I.E., the theaters

Here is the original ruling [0], while apparently that changed in 2020 [1]

[0] https://en.wikipedia.org/wiki/United_States_v._Paramount_Pic....

[1] https://www.forbes.com/sites/tomnunan/2020/08/07/judge-decre...
PSA: If you want to recreate the original file (WAV, AIFF, etc), including metadata, you should use the --keep-foreign-metadata switch to flac, otherwise it only preserves what’s needed for the audio.

https://xiph.org/flac/documentation_tools_flac.html#flac_opt...
https://archive.ph/RYZpL
My uncle has a country place, that no-one knows about
He says it used to be a farm, before the Motor Law
Sundays I elude the ‘Eyes’, and hop the Turbine Freight
To far outside the Wire, where my white-haired uncle waits

Jump to the ground
As the Turbo slows to cross the borderline
Run like the wind
As excitement shivers up and down my spine
Down in his barn
My uncle preserved for me an old machine –
For fifty-odd years
To keep it as new has been his dearest dream

I strip away the old debris, that hides a shining car
A brilliant red Barchetta, from a better, vanished time
Fire up the willing engine, responding with a roar!
Tires spitting gravel, I commit my weekly crime…

Wind in my hair –
Shifting and drifting –
Mechanical music
Adrenalin surge –

Well-weathered leather
Hot metal and oil
The scented country air
Sunlight on chrome
The blur of the landscape
Every nerve aware
…

Red Barchetta - Rush - Moving Pictures - 1981
This limitation only applies to the file name, as you can chdir to the directory before bind/connect. Unfortunate but not a deal breaker
Some people, yes. Others, no.

As your finances get more complex, and you change employers more often, and you have more 401k plans that are distributed around various companies, and you have multiple credit cards, etc... then your storage requirements will necessarily increase.
https://archive.ph/SIAR5
Constant speeds on the highway should be the most efficient forms of driving. The only force the motors need to generate is the force required to overcome air resistance, this is going to be true of both ICE and electric.

The range dip may instead be because of lower battery temperatures (from all of the wind). Better battery thermal management at high speeds might help.

Higher energy density batteries will also comfortably overcome this problem. In the future I can see EV's that advertise fixed ranges, so that you don't get arbitrary range dips. They'll do this by over dimensioning the batteries and using better battery management software to make sure that more than 95-99% of your drives will be able to go at least the advertised range
I live in the Netherlands, created my account before September 2021, and Samsung keeps sending notifications to my phone urging me to accept their new terms.
I don't think you are talking about the same areas I'm talking about.

In areas where heating buildings interiors is a significant energy need, and has week long cold snaps, then there's extremely cheap storage in the form of therma storage, which combines very nicely with heat pumps, and it exists today. Bury insulated thermal sinks underground and a ton of summertime energy can be stored up seasonally.

However I'm not aware of any large populations of people that live in colder climates that do not yet have electricity and are looking to change their living standards in the coming decades.
I think cryptocurrencies should be ranked by the mass in kilograms of the actual, real, physical products and the weight of people performing actual, real, services that have been paid for using them.

Arbitrage and exchange, and all of the people and infrastructure surrounding those, would have no mass in this ranking system.

"What about online stuff?"

Well, yeah. If you pay for a small instance VPS using bitcoin then you get credit for 1/64th of the weight of that PowerEdge R7525 you're renting and the 375 lbs dev you hired to run your site. Unless it's an exchange or trading platform, of course.
The excellent MyNoise.net website has a couple that may match:

"Vintage Office" [1] has a Dot Matrix printer.

"Calm Office" [2] has a Printer/Scanner.

[1] https://mynoise.net/NoiseMachines/vintageOfficeNoiseGenerato...

[2] https://mynoise.net/NoiseMachines/openOfficeNoiseGenerator.p...
> But only certain biases get special treatment. This is a problem with these kinds of rules privileging certain groups in the name of equality.

Arguing for LGBT persons in the first half of your comment and then continuing with this is intensely ironic to the point of myself being unsure if that’s actually what you intended.
Chronotrains
I mean maybe if you try to double-spend on purchases that you make with cryptocurrency, but small reorgs happen all the time and they would have to prove you intentionally caused the reorg in order to double spend.
Sobering, eye-opening, and encouraging in one swell foop. I am bookmarking & backing this page up because it coalesces many many issues that have been plaguing me with static site generation.

Well done.
Yeah that’s a bit of a chicken vs egg problem though, isn’t it? It’s like how physics students routinely have the highest LSAT. If they were already towards the top of their class upon entry, it’s not surprising to see them doing well in comparison to their peers.

Edit: added last sentence.
> Racket’s portable GUI and app builder are very good,

Ehh.. they're pretty good and I'm thankful for them. I don't think I'd go as far as 'very good' though; the selection of widgets provided is basic. My rule of thumb is that if your application only needs the sort of functionality you can find somewhere in DrRacket, then racket/gui will be pretty good. But if you need a widget you can't find in DrRacket, then you'll probably have to implement that widget yourself.
It felt odd to see a doc this comprehensive on static site hosting with no mention of AWS S3/Cloudfront, given how easy it is to push content to an S3 bucket (either manually or via the CI pipeline of your choosing) and then serve it up either direct-from-S3 or via Cloudfront.

But then it turns out that this is actually pushing folks towards some new paradigm of static cached HTTP responses instead of files. It pitches this as an attempt to “standardize the hosting side of static sites”, which doesn’t pass muster for me. We’ve already standardized the hosting side of static sites by using the file system. Shifting to a new storage format besides “HTML on disk” doesn’t unify anything, nor does it seem desirable to have fewer options for serving content.
Tor provides good traffic obsfucation for both host and clients. I would say it's invaluable to criminals.
They should move to the UK, they would be most welcome. Harassing trans folk has been upheld as legally protected behavior.
Very interesting article. I like reading about cheating and how people try to trick everyone, especially in chess. It seems unusual to me that there’s only 89 points, but I guess thats temporary.