skysight-inc/HackerNews huggingface dataset:
Whoa git-annex looks like it would be useful for a few projects, thanks for the tip. Will take a look at both.
I'm more focused on composition. Linux support will come at some point, not immediately.

It won't be open source if that's what you are asking.
I don't see how that is low value, partisan, or reddit-style. The argument that this is a kind of dumping is insightful and not partisan.

It is political in the same way as everything is political.
From what i understand the push cache gets deleted the moment the http connection is closed, which to me makes it sound not the most suitable for this.

Maybe just adding a rel=preload link tag dynamically would be better (do link tags work dynamically? I have no idea). Or just fetching with normal ajax and use a service worker.
Use opt-ins on your website to gain more traffic
This must have been enough to convince people to buy out the first shipment. Apple.com was showing me an 11/17 estimated arrival at checkout. Now it's showing 11/27-12/4.
Yeah, the Mac Pro supports up to 1.5TB of DRAM (vs. 16GB), it's got a bunch of slots and discrete GPUs, and it can run Windows and Windows VMs. I hope it doesn't end up as an orphan system like the 2013 "trash can" Mac Pro, which was an interesting system that got zero upgrades. Perhaps Apple will offer Apple Silicon upgrades to Mac Pro buyers.

Assuming they can build it (and they have implied that they can scale their silicon designs up in terms of cores, power, and clock rate), an Apple Silicon Mac Pro will be a pretty interesting machine.

If they wanted to, Apple could even bring back an Apple Silicon powered Xserve, or the legendary, mythical, modular desktop Mac (I know, now we're in the realm of pure fantasy, but one can dream.)
> YouTube has only existed for fifteen years, but it might continue to exist for centuries.

> AOL has only existed for fifteen years, but it might continue to exist for centuries.

Things change. No one can predict how, or why. But time marches on.
This looks like a great approach, thanks for putting it together. I'm hoping to dump these disks to an image b/c the filesystems on them are all over the place...some of them are IDE lol, then just loopback mount them for this process.
I keep seeing a Connection Lost alert on the site that is blocking the navigation bar
Just curious, how does that differ from a system like Firefox sync which is also using client side encryption?
But light box type backlit art just doesn't look right, it's a cool comparison and worth doing, but with e-ink you get contrast that is proportional to the ambient light (and unless art mode changes significantly the refresh which it might, I haven't checked, LCD screen will still not photograph or film well). It won't photograph as well with flash etc. either. And obviously most important: if you have friends who are pretentious enough to turn up at your house wearing sunglasses, it'll look good for them too...

I get it's sort of priced as an intangible piece of art, that is worth wildly different amounts to different people, but to the people it's worthwhile to, the difference is everything.

Yes, I'm also a sucker for e-ink. I just love the aesthetic.

Thanks for digging into the costs and info then, it's been an interesting conversation to follow.
The Russian propaganda machine always at work . . . no independent tests by independent 3rd party Western universities, Russians will tell you anything you want to hear . . .
Currently being discussed at https://news.ycombinator.com/item?id=25065026. We'll merge this thread thither.

(You could repost your spoiler bit there - it looks like a good summary)
I left python for ruby A dozen years ago.

I always missed the simplicity of Python.

Ruby community was just awesome. Pushing at the bleeding edge of getting stuff done fast, if a bit magical.

Been debating about going back. Cleaning up 8 year old magical ruby apps is getting old.
RIP Google Music
I read Ted Kaczynski’s manifesto a few days ago out of curiosity to find answers about why serial killers don’t make the media anymore, not even on fbi.gov. I asked my mother the same question since she routinely calls the FBI to interrogate them for reasons I won’t discuss here. Even she was surprised by the question and thought it very odd as well. It seems that the “new speak” for serial killers changed after the patriot act. They are now labeled as “terrorists”.

I found Kaczynski’s manifesto actually is harder to find than one would imagine. There are many falsified versions of it circulating online. When I did find the original, it became abundantly clear why talking heads frame him only in context of rumors and never about the philosophy behind the manifesto. What he wrote is a hard pill to swallow, all for the same reasons Castaneda’s works are all but scrubbed from mainstream culture. For even a mature adult, for example, a software developer, to concede that their entire industry in practice and as a science is a manufactured and dogmatic “surrogate” ritual, is the reason they are depressed and humiliated, would undermine their purpose and significance in life.

The easy answer for the OP is that simply SEO ruined the internet. The harder answer might be that, in Kaczynski’s terminology, our “power process” as individuals is all but lost. Empirically, finding relevant resources online in the 90’s required considerably more effort than it does today. If I’m stuck fixing a bug today all I have to perform is a painless Google search. Why then would this be problematic? As Kaczynski argues, the more we remove the effort to perform our work, the more demoralizing it becomes. This is because, although the technology (Google) is useful, it nevertheless systematically removed the power and purpose derived from the challenge and art of that technicality. Software engineers have the distinction and privilege of being first witness to this complex deprive the rest of humanity of purpose because we’re the ones programming it. Or so the story goes...

So to answer the OP’s question: the internet is now boring because it’s no longer a challenge.
Who's your adversary? Do you need to protect against your little brother, your boss, or Mossad finding out it's you?
Can you give an example of a major media company that no longer exists? CBS,NBC,ABC,Fox, etc have existed for ages.
Something people seem to forget is circumvention isn't always illegal. You may circumvent copy protection for a work you own the rights to view, so the complaints about youtube-dl are poorly founded.
I'd really like to see someone run IBM i (formerly known as OS/400) on QEMU. Has anyone tried?
Well, we have this evidence so far, on a phone that has no active cooling: https://twitter.com/tldtoday/status/1326610187529023488
They don’t think like that. The Democratic Party needs to listen to them and speak in a language they understand. Today they believe in conservative talking points. Eg the Left wants to ship all your jobs overseas. The Left wants to end Fracking and take away the few good jobs remaining. The Left wants everyone to be unemployed and live off welfare and be completely dependent on the state. This is the conspiracy theory that the Democratic Party needs to rebut. The Democratic Party needs to restart talking about fighting for the working man, good jobs, and economic issues. When Bill Clinton ran for president, the mantra was “It’s the economy, stupid”. Now you can debate if the president or congress can influence job creation or not. But economic pocketbook issues is what the working class has on its mind.

https://en.m.wikipedia.org/wiki/It%27s_the_economy,_stupid
McKinsey is a management consultancy that, among other things, often advocates costcutting through skimping on services, outsourcing abroad and currently, automating a number of auxiliary functions such as customer support and other cost centers.
There are indeed several different proof systems. "Formalizing 100 Theorems" tracks the progress of the "top" ones compared to a set of well-known proofs:

http://www.cs.ru.nl/%7Efreek/100/

The top ones (sorted from most to least complete) are HOL Light, Isabelle, Metamath, Coq, Mizar, and Lean. Lean actually has the fewest proofs of those systems, though of course there are advantages to Lean as well.

I think some duplication is inevitable because there are fundamental disagreements on "what is important".

One problem with most of them as a "store of proof knowledge" is that most of these proof systems don't (normally) store the proof in terms of axioms, definitions, and previously-proven theorems. Instead, they store a program (as a sequence of tactic statements) that, if run, is intended to help the prover rediscover the proof... assuming that tactics never change (even though they do). As a result, older proofs in some of these systems can no longer be verified as being correct. This is one thing that attracts me to Metamath; Metamath stores literally every step, with all mathematical knowledge (including all axioms and definitions) in the database, so proofs stay proven. It also makes verification super-fast, e.g., 28K theorems can be verified in less than 1 second.

Others believe other traits are important, so they end up with different systems.

As far as translations between systems, I'm very interested in what happens with Metamath Zero. That work might, in the end, enable mutual translations between various systems. We'll see!
Problem is that google will probably still kill it even when people are paying.
eBay-you’re welcome to buy it if you want:
https://www.ebay.com/itm/Apple-MacBook-Pro-16-2-4-Ghz-i9-32-...
There is also the MacBook Pro with M1 results posted here:
https://browser.geekbench.com/v5/cpu/4652718
I can imagine a world without YouTube. People would just watch videos on Facebook, Instagram, Twitch, Netflix, etc. etc.
Pay is excellent.
120k is east anywhere in the country. 150-170k is harder to find, but not uncommon.

Ruby itself is great but it’s everything around it that makes it so productive.
Laptop Macs of late are known for heavy throttling due to inadequate cooling, which cannot have been unnoticed in simulations
So can anyone comment on how we should interpret these benchmarks:

a) Across the various Mac models (i.e. why buy a pro vs the air vs the mini). If they all benchmark the same, what am I paying the difference for?

b) The M1 chip vs a ryzen desktop (naively interpreting this its punching up near a 5950X, which seems TGTBT?). How do these chips compare against the larger TDP competitors if portability and batteries aren't an issue?

b2) Compared to the AMD mobile chips? (i don't have much insight into these)

c) someone else on here posted a Tiger-lake intel chip benchmark beating the M1. Now that makes even less sense to me now, because now there's an intel mobile chip beating the top of the line Ryzen desktop?

Help out an honestly confused individual.
Skype's been in decline for a long time, so it's hard to say if any of that decline is attributable to loss of trust.
super happy we have people jumping ship. it doesnt have to be a all-or-nothing switch. just having the option to self host all your videos in your terms is the empowering bit. they can content id you to the ground on youtube, not on your selfhosted peertube. that is nice
Reposting from other thread:

So can anyone comment on how we should interpret these benchmarks:

a) Across the various Mac models (i.e. why buy a pro vs the air vs the mini). If they all benchmark the same, what am I paying the difference for?

b) The M1 chip vs a ryzen desktop (naively interpreting this its punching up near a 5950X, which seems TGTBT?). How do these chips compare against the larger TDP competitors if portability and batteries aren't an issue?

b2) Compared to the AMD mobile chips? (i don't have much insight into these)

c) someone else on here posted a Tiger-lake intel chip benchmark beating the M1. Now that makes even less sense to me now, because now there's an intel mobile chip beating the top of the line Ryzen desktop?

Help out an honestly confused individual.
With WhatsApp it's even simpler; they just constantly nag you to "back up" your chats to the cloud.
This is dangerous territory. It will not be long before rouge states and terrorists will start using these en masse.
$2300 is a reasonable estimate if he builds it himself.
Watching Grass Grow
Exactly. I want an electric powered car that's a car I drive but with an electric motor for the advantages electric brings with torque, controlling exact power to individual wheels etc.

Some diver safety aids are nice such as adaptive cruise control, blind spot mirrors etc but driver aids don't equal autonomous.

It seems that electric motorcycles have this mix right, making it about the driving experience vs how many toys you can add taking away the driving experience.
It's pretty crazy that the main difference between the new Air and Pro is that the Pro comes with a fan.
Seems really interesting but (alas) hasn't been updated in 5 years.
That llama's ass ain't gonna whip itself!

https://www.winamp.com/

There's a 2018 copyright date in the footer, so I guess that's as alive as it needs to be.
That MacBook has to be one of the best computers Apple has ever created. Mine has lasted this long with non-stop daily usage for years and travel around different countries.
I've sold on cragislist before... worked out fine.
ISIS didn't arise spontaneously after an earthquake. It was intentionally built over a period of 10 years by a coalition of political parties and religious movements as a continuation of the insurgent war against occupiers, with the eventual goal of establishing a new society with new laws: their mission was inherently social and cooperative (by means of military conquest).

That's hardly the prepper expectation of "there will be a solar flare and then the whole world will instantly be filled by roving gangs of psychopaths, like in The Walking Dead"
As with anything Google, is it really generosity when you become part of their botnet? Seems they got what they needed from the userbase information-wise and packed-house.
It's good enough for the Web Push Protocol[1], which underpins all the notification systems on the web. This is literally how every notification message that you do not ever accept in to your browser gets delivered.

This also highlights the core missing WTF, which is that the server can PUSH a resource, but there is no way for the client page to tell. 5 years latter, we've talked & talked & talked about it[2], but no one has done a damned fucking thing. Useless fucking awful biased development. PUSH gets to be used by the high & mighty. But it's useless to regular web operators, because no one cares about making the feature usable.

Now that the fuckwads can declare it's not useful, they're deleteing it. From the regular web. But not from Web Push Notifications. Which will keep using PUSH. In a way that websites have never been afforded.

You'd think that if a resource got pushed, we could react to it. These !@#$@#$ have not allowed that to happen. They have denial of serviced the web, made this feature inflexible. Sad. So Sad.

Even without the reacting to push, it seems obvious that there's just more work to do. That we haven't made progress in 3 years just seems like infantile terrible perception of time, of what the adoption curve looks like. A decade for critical serious change to start to take root is fine. The expectation for progress & adoption is way out of whack.

So so sad. Everything is so wrong. You can't just unship the web like this. You need to support the HTTP features we agreed we wanted to create. None of this is happening. I hate what has happened to PUSH so bad. This is so critically terribly mismanaged, the browsers standards groups have fucked this up so so so bad, done so little, had such attrocious mismanagement of what the IETF wanted to do. It's embarassing. We are terrible, we have screwed the pooch so bad on this so many times, & pulling the plug is a colossal fuck up of unbelievable proportions, fucking up a very basic promise that we ought have made for the web, the ability to push things, that never got delivered in to any useful ability on the web to do anything about it. Fuck up, 1000000x fuck up, just fucking shit balls terrible work everyone.

This one issue causes severe doubt in humanity for me. This is a fucked up terrible thing for all humanity, for the web. I can't believe we were so terrible at this.

[1] https://developers.google.com/web/fundamentals/push-notifica...

[2] https://github.com/whatwg/fetch/issues/65
Pyxell – a programming language that combines Python's elegance with C++'s speed
Frankly, why do couches cost so much? I'd like e-ink and furniture prices to both trend down.
For simple method and field references sure, but once you push it with method chains and transformations it becomes pretty underwhelming quickly. Typescript also isn't invincible to this, but it's better. If you are going into a small well scoped code base vanilla js should be fine. For a large code base with plenty of package sharing, good luck in either. To me the investment in TS sounds like someone crossed their arms and said "I'm not doing java". Their loss, as a java dev I rarely think about languages. Stuff gets done fast, with few or no errors and no need for special tooling or forced approaches. Kotlin is an area of interest for me these days but that's about it.
I had a roommate who was a mfg. jeweller.

Just go to the diamond district in your town and grab somebody having lunch. (For trade and security reasons, there's usually one or two buildings downtown that specialize in the diamond/jewelry trade.)

(In LA and Toronto, often Vietnamese men work in this trade because they didn't need certifications or English skills after the Vietnam war.)

Ask for the smallest diamond in the color your want where "I can see the fire."
Wow, the front page of bitchute is 100% conspiracy. Is that... umm... what it's known for?
Resisting MITM is the entire point of end-to-end encryption.

Verification can be made with the security code that WhatsApp uses, and the safety number that Signal uses (same thing, different name). Other systems have other, similar methods.

You can verify that they match in order to verify that you're not communicating with a man-in-the-middle, and if the key changes then both apps show a prominent warning.

Granted, a lot of people may not actually bother to verify.
So, I think there's one (or two) easily carved exceptions to your "YouTube doesn't actually help you" statement.

One, Veritasium. Content like this didn't (perhaps even couldn't) exist before YouTube. The science TV shows and even many books don't go into as much user-friendly depth as this does. You'd have to go to college and pay to get content even remotely close (and still, based on prior experience, not as good).

Two, any one of many How To DIY channels. They show you how to do things you're unlikely to find elsewhere. Where else will you find someone willing to tell you how to change your oil and filter on a [random year & model] car for free? How to wire up a light switch to code? How to clean your sink drain? Certainly not the paid professionals.
hello！i m from china，english not good，but for this idea i have thought for 5 years，so i want to say something

for this idea，i want mention ：

Data is not the core, but the value is the core. All the programs on the Internet have barriers, not because there are barriers to data, but because there are barriers to value.

I've written a lot about the cost of developing the World Wide Web, and only by lowering the barriers to development and allowing more people to participate in the building of the web's "value program" can the vision of the Web truly be realized.

The closure of the program itself is not the closure of data, but the closure of the value of the scene, is the closure of the construction of the scene power, I have a product prototype design.
Never mind the robots that replace disks. I'm having a difficult time fathoming how those orders are fulfilled?
I read the first few paragraphs, then searched for a dollar sign, which did not come up, nor did a euro sign, because oddly the author chose to write out "2300 euro's" [sic]. So a little bit hard to find the buried price for people who aren't interested in reading the whole column.
I've been happy with Xubuntu for the last decade or so. For me, it's the right combination of lightweight and minimal DM, and easy to use package manager. On top of that tmux (via alacritty) and emacs and I'm good to go.
In this "franchise" model, the franchisees are passive investors not small entrepreneurs connecting at the neighborhood level. From the article:

> Fully managed service Be an absentee landlord

...

> Senior engineers from Google, Apple and a host of other technology companies purchased the PoPs.
There are very few reasons to buy the Mac Pro with the lowest CPU option. This here is the comparison to make and it crushes the M1's multithreaded score of 7,000 with a score of almost 19,000:

https://browser.geekbench.com/macs/mac-pro-late-2019-intel-x...
Looks like the author was looking for someone to take over but doesn't look like that happened: https://github.com/voltrb/volt/issues/357
Somebody else bought it.
I mean, they're clearly not opposed to the content:

https://www.ifixit.com/Device/Tractor
Companies Offer Creative Solutions to Worker Burnout During the Pandemic
"in retrospect I think it felt like a Scientologist recruitment video."

I made a very similar comment to my gf during the live stream. I think there is something insular, cult-like, and very broken in tech culture, and the live stream really seemed to emphasize the point.

Perhaps paradoxically, I thought this year's WWDC videos were much more natural and interesting, even though they clearly also were meticulously rehearsed and stage managed.
And the Dell is $500 more
What's actually more interesting to me than Intel vs ARM is how much further ahead Apple is vs the competition. The snapdragon 8cx is about 1/3rd the speed in both Single and Multicore performance of the M1.

How is Apple so far ahead even with the same instruction set?
Custom GitHub Actions with Docker
Meanwhile in real life: https://i.imgur.com/L27d5xU.jpg
Suffice it to say that Packard was involved in X before XFree86. But the point was that although he was an actual productive contributor he was far from working outside of a consensus. There’s really no sides here. The market could have continued with XFree86, it did not.
To think... this is the performance we’re seeing from their low-end model
Germany's high costs are a result of their shift to "renewable power" sources.
I think the bathwater is the least of the defenestrated baby's problems. :)
If you’re using Kube, I’m building a service to solve this for home hosting. Checkout https://KubeSail.com (YC S19) - we forward traffic to your ingress controller over a tunnel so that you can host public apps on the internet from home without dynamic DNS or port forwarding . Feedback welcome :)
Is this similar to what's behind Stimulus Reflex?