skysight-inc/HackerNews huggingface dataset:
But the network still has to transfer the contents from some source into that DOM so I'm unclear why it's so hard to nix that inbound data.
"Education costs exploded in the last 50 years because the government got involved"

You do realize that the reason costs have increased is that State funding for public Universities has been significantly cut over that period? This "government can't do anything right" attitude has been a major driver in this increased cost?

Yes, the availability of some grants and guaranteed loans to people barely old enough to sign contracts did't help, but the big driver of the cost increases is the reduction of public funding. State funding for secondary education has been continuously reduced in the name of lower taxes and "fiscal responsibility".

As for Federal spending, it depends on how you slice it. If you count Social Security and Medicare and other "entitlements"* then SS and Medicare are huge.

If you don't, then the Military is the biggest expenditure. That's a little misleading though, since a large amount of basic and applied research is funded through the military (such as through DARPA and other agencies). If we reduce here we'd need corresponding increases elsewhere to avoid starving basic research. There are some expenditures that are wasteful there (I'm not sure how well the F-22 will handle the shift to drone warfare), so we could back there if we wanted to.

Funding for many other agencies is actually too low to accomplish their stated mission. We either need to reduce the scope of what they are legally required to do or increase funding. For the IRS, one thing we could do is to simplify the tax code to make audits less expensive. Similar changes could be made for the INS.

As for wastefulness, if you compare the government to private companies to implement the same standards, government is always cheaper. The only way private companies get cheaper is to provide less or offset the cost in some other way (unexpected externalities). The real reason expenses are so high is that the government is big -- it provides services to every person in the US and many others around the world. It covers a large number of markets from healthcare, security, finance, etc. There is literally no company comparable to the Federal government in totality. But if you compare just the pieces you still find government usually comes out ahead.

*"Entitlements" really should be considered contractual obligations and treated separately from the budget -- after all, would we allow a private company to include disbursements from their pension fund as part of their budget? Fuck no, that's a separate pile of money that doesn't belong to you. The entire framing around "entitlements" is designed to trick people out of their money.
I think people came to the conclusion in the mid 1980s that you couldn’t really get ahead with a specialized “LISP machine” compared to an advanced general purpose processor, particularly when you put caching, pipelining and superscalarity into the mix.

The genius of Common LISP was it had mechanical sympathy for the forthcoming ‘32-bit’ computers . Java was very much inspired by the CL spec defining a rich, efficient and implementable memory managed VM you could build over general purpose hardware with a lot of room for optimization and documenting that system very well.
> They ll lost 2-5% market share at max

IE lost a lot more than 2-5% during the golden years of FF. At its peak in 2010, FF had about 30% market share.

https://gs.statcounter.com/browser-market-share#monthly-2009...

Not even Safari has reached the same level or market share (including mobile).
And cable TV has had the same workaround, tivo.
As a kid I used to sit across from the drive in and watch. I also used to watch other people's TV's through their windows before I knew it was creepy.
We also use to say that compression is the science of prediction.

Scientific models are also tools used to predict the results of experiments.

So if AI is able - through « compression » - to build models that help us predict experiments and understand the world better; it fully deserves the « intelligence » suffix.
Then they should. They are perfectly capable of actually making YouTube unusable without watching ads.

When they actually force me, I'm perfectly happy to mute my TV during ads and do something else, which is the exact same moral area as blocking ads.
This has resulted in a feature not in VCSs that do track renames: using matching lines, git blame can track changes across files that were combined in a commit, where others would record half the lines as being a rename from one file and the other half as new lines (if you even thought to do it like that when making the commit; more likely the whole file would be tracked as new).
https://archive.is/c9pBZ
I don't think he's referring to actually baking in the ads into the video stream, but rather just having video URLs transparently redirect to ad content.

So for instance, if normally the first 100 bytes of the video (as fetched via yt-dl) are like "googlevideo.com/gibberish-id?signature&rage=0-100", then you could transparently insert an ad into the next 100 bytes by making "googlevideo.com/gibberish-id?signature&rage=100-200" return the ad. Of course this makes the serving logic much more complicated, so it's probably why they don't do it. You'd also have to appropriately cut on a keyframe, muck around with muxing so things splice properly, and so on.

Another possibility to enforce that ads are seen (or at least things are appropriately delayed) is to simply only return video URLs if there was a "pingback" that an ad was seen. So if you serve a 10 sec ad, but the user requests a video URL before the 10 seconds are up, just reject it. This requires a bit more logic on the serving end to track state, but is easier than the previous proposal.
Has Rust seriously committed to never stabilizing the ability for users to create types like the builtin string type? Wow.
My stance is that ads don't work on me, so either YouTube or the advertiser is losing money on me, and they know it. Would rather choose the option that doesn't waste my time too.
I took antibiotics more than 2 years ago and after about 4 days I was a wreck. I was anxiety riddled for a bit over a year. Thankfully, I feel normal again! But yea, scary stuff.
> You’d probably use Arc or create a special custom smart pointer in Rust for use with the Qt paradigm. Simple references probably would not be expressive enough for Qt.

Shoving Arc everywhere is a great way to leak memory with Rust. No, compiler doesn't prevent that. It is not a safety bug.

The problem is Qt has its own ownership model that goes against Rust's ownership model. It is a prime C++98 era library at its heart and it didn't change that much in the core architecture.

Moreover Qt relies on heavy use of inheritance-based OOP which is Rust also against.

So current Rust GUI libraries using Qt stuff like Slint has to implement a second level of abstraction and state tracking which costs performance.

I think the best way ahead is implementing a GUI library (at least the Widgets layer all the way down until rendering engine) in Rust. However I am not really hopeful. Writing GUI toolkits from scratch could be one of the hardest software engineering problems out there.

The days when benevolent software companies released open source full-featured GUI frameworks with relatively permissive licenses are mostly behind. Nokia didn't have much to gain from releasing Qt as LGPL but they did it anyway. I don't think today's big tech would do the same unless there is a clear, guaranteed way of monetizing it.

Dealing with N dimensional space of multiple OSes with multiple graphics APIs, multimedia engines, high DPI screens and complex text rendering is 90% painful software development. Somebody can do it but I don't think it will be open source, neither cheap.
> There's no proof yet reuse is actually cheaper.

What a ridiculous statement...

This just in, blowing up your car is cheaper than refilling the tank, wow!

There's proof right now btw, in SpaceX's Falcon prices vs others.

Plus the common sense that remaking something is more expensive than not.
Falcon 9 has become the most advanced, most reliable, least expensive rocket over the course of a decade. NASA get those capabilities for less than the money that Europe will have spent on Arianne 6.

SpaceX only get paid as they can deliver. Europe cover the cost of Arianne 6 development, and will continue to do so.

Falcon 9 will likely have up to 100 launches in 2023. Arianne 6 is planned to have at most a dozen launch when it’s matured, which is still several years away
It's not as terrifying a couple miles away from atmospheric oxygen. Gasoline is a perfect flotation fluid, since it is just as incompressible as water but only about 75% of the density.
Had a good experience with Sony Bravia professional displays. It’s stock Android with no preinstalled bullshit, and surprisingly for a professional display it was very reasonably priced.
It is under the Q Public License. Had to look it up because it has been a while Qt used it.
Boris Johnson contradicted Angela McLean and said face masks are useful 30 April 2020 -

https://news.sky.com/story/coronavirus-face-coverings-useful...

Don't ever forget scientists are lying cunts. Politicians are supposed to be, scientists are truly bad people because they are hypocrites.

100 years of masks. There was nothing new for scientists to learn. They are the enemy.

Politicians are dangerous, but they are just a tool.
tl;dr Tweet removes any potentially boring nuance from the research in favor of sensationalism and upvotes.
US dollar inflation was 32.1% over the last decade.

Netflix increased their prices from $10/mo to $16/mo in 2011 and faced massive backlash with tech journalists praising Blockbuster and saying "Up until today, we loved Netflix":

https://www.wired.com/2011/07/netflix-price-hike-anger/

https://www.houstonpress.com/arts/hey-netflix-wtf-6368309

Today Netflix charges $15.50/mo. The price rises and falls every 2 years and we get the same whining every 2 years: https://flixed.io/netflix-price-hikes
$15 for this, $20 for that, $10 for that. Even my damn rowing exercise machine's apps are asking $15 a month. I am not going to spend $200/month for subscriptions. If I can get away with cracked versions and blockers I will. It is corporate greed at this point.
Just curious who you think is avoiding the question? As if it’s a conspiracy? Every single leader I know that is involved with AI talks about it all the time.

Superintelligence can solve all the things we’re struggling to solve. All human diseases, Earth being destroyed, fundamental questions about the universe, etc., etc. etc., etc. Worth pursuing?
Actually, I use the Mail app for a single email account (my own private email). I just don't want to add all company email addresses to the Mail app. This way I have a better separation between work and private stuff. As in: when I check email in the Mail app, I am not confronted with work stuff.
This sort of thinking can be used to justify endless sorts of toxic behavior. It's been prevalent in IT for decades. I thought we were making progress pushing back on it...

I couldn't care less how brilliant someone is; if they're otherwise a toxic person, they're not worth having around. There is no project that is handled by a single person, and having a toxic person on a team will be a drain in the long-term.
For me it’s about where I’m spending my time (YouTube), not so much the pure cost to make the content itself (Netflix, etc.). I spend far more time watching YouTube than anything else, background and foreground, which makes the $15 or whatever (am in the US, I don’t actually know what I pay because I’ve never questioned its value to me unlike Netflix, etc.) worth it to me.

I think it’s totally fair if you don’t think it’s worth it for you though. I’m very willing to (and have!) cancel most other services (except for Max which I get for “free” from my ISP) in favor of YouTube because I find the content far more engaging and I can tailor it to my interests far better.

I’ll also add that a decent chunk of my viewing is on mobile (phone or iPad) where ad blocking isn’t slightly more difficult using the YouTube native app.
Listening to these two tracks I think the point stands that music is struggling to escape the patterns laid down for it in the 20th century. This music is new without being novel, ie it’s not unreasonable to think they couldn’t have been made and been functionally identical in the 90s, whereas they couldn’t have been made in the 50s.

You might dig these too, if you like those two: https://www.youtube.com/watch?v=xI8w-h-HCAg
https://www.youtube.com/watch?v=BqnG_Ei35JE
https://www.youtube.com/watch?v=3BUzRO6J4gE
The last one in particular by Joy Crookes isn’t from nowhere because it’s from South London, but it is weirdly from nowhen by being somehow contemporary with Amy Winehouse and Etta James. That’s what 21st century music is.
I looked up your bogus claims on google and nearly the first 3 pages of results were Elon muck himself stating he disrupted the connectivity.

>thedrive

I don’t really care what conservative propaganda pieces have to say on the topic on Ukraine.
One thing I keep seeing is 'human capabilities'...

Since humans are(?) the smartest things around we keep using ourselves as the benchmark. But what happens if we accidentally create 'alien intelligence'? That is something capable of solving problems but in a way we don't recognize therefore we discount and do not measure it.

Humans get quite surprised by other humans when they do things they didn't think of. I don't think it is beyond reason that machine intelligence could optimize in metrics we don't easily comprehend.
I would say Facebook ads have sold me on a few things. But they are not full page, I can easily identify them and move past should I chose and at times were actually relevant to what I want. How come YouTube ads try and push the dumbest shit on me when they have all my data and know all my searches yet I’m getting ads for stuff I would never buy. So I propose google cut back on some of the video ads, force the video being watched to slim up a bit while no video ads of relevance pop on on the side.
I hate to be crass but all it will take is for a few famous chefs to publish a cookbook with the super pigs as the main ingredients. Better yet, sell the meat as a luxury food. Tada, the problem is fixed.
There's nothing stopping you from signing up in a different market and paying $2 ;)
Or, via lower price - negative if necessary - you let someone else go to the trouble, via facilities that they themselves invested in. Also in systems like this, there is not necessarily anything special about "zero" or "negative". It's just "less than the previous number" or "more incentive this way than the previous number".
Also, forgot to mention, AMD does have an M3-Pro like chip in the pipe:

https://hothardware.com/news/amd-strix-halo-cpu-rumors

Intel probably does too, but the rumors are even less solid.
The Silicon Valley elite lives in a bubble, what else is new
> Also, on Windows, you can notice the presence of the hardware cursor because Windows has an additional trick

That's pretty interesting, I played with that and did notice it.

Also from googling if you set 'MouseTrails' to -1 in the registry it's a hack which disables the hardware cursor, not sure if that's still current.
I’m a Silicon Valley tech bro, how come nobody ever invites me to these drug-charged, sex-crazed parties?
haha I can't believe deaths per firearm is an actual chart on that website. if only we could sell 2x as many guns to gun owners we could make those numbers go down even more!
Maybe not but I don’t watch ads from ad companies like GOOG.
Well... here's my predicament: I resided in the US for a while, and then moved back to my home country where pay is significantly lower. Youtube still asks me to pay 22$ per month, based on the US fee structure. Google clearly knows my locale. Still there is no way to officially request a change in fare structure.

I do pay for Netflix and Amazon Prime.

For some reason, Google is not really customer friendly. It is so bothersome - just yesterday, I had to watch an ad which interrupted a paid promotion segment in a youtube video. Reminds me of an old Onion article about a starbucks opening inside the restroom of another starbucks. [1]

Some content creators have explicitly opted for non-monetization on their videos, yet ads are shown before, after, and during.

Given Google's frequent change of mind, it's really probable that they amend the terms and conditions so that even premium users have to watch a few ads.

[1] https://www.theonion.com/new-starbucks-opens-in-rest-room-of...
Until it's actually removed, muscle memory will keep me using checkout.
I know what I’m giving up and it’s something that’s worthless to me.
It's fun to quote. Much less fun to explain that it's the normal process.
Yes, that's fundamentally it. By making the marking more liquid, different types of entities can adjust for their specific predictability/risk needs.

Also note that though these markets are "free" they are still extremely highly regulated. I don't know much about the Finnish market but I've built trading algorithms for CAISO and PJM, and it is by no means a free-for-all. The rules about what types of entities can participate in which aspects of the market are quite strict and detailed.

Especially post-ENRON there is a strong focus on avoiding even any possibility of appearance of market manipulation. Basically the guidance from our lawyers was: every trade needs to have a strong, explicable economic rationale (apart from the market.) In our case we didn't even want to use neural-network based trading algorithms, since they (at the time) weren't sufficiently explicable for us to have a "rationale" for a trade that might later be called into question.
Except that all of those claims are based on an understanding of statistics that would barely pass middle school. "Miles on a subset of conditions that were sufficient so as to not deactivate systems" is not "miles in all conditions".
I want to say this is where the progress is being made currently. Not only having 'experts per domain' but 'experts per pairing'
This is covered in "Information Theory, Inference, and Learning Algorithms" by David MacKay ( https://www.inference.org.uk/itprnn/book.pdf ):

> Why unify information theory and machine learning? Because they are
two sides of the same coin. In the 1960s, a single field, cybernetics, was
populated by information theorists, computer scientists, and neuroscientists,
all studying common problems. Information theory and machine learning still
belong together. Brains are the ultimate compression and communication
systems. And the state-of-the-art algorithms for both data compression and
error-correcting codes use the same tools as machine learning.

* In compression, gzip is predicting the next character. The model's prior is "contiguous characters will likely recur". This prior holds well for English text, but not for h264 data.

* In ML, learning a model is compressing the training data into a model + parameters.

It's not a damning indictment that current AI is just compression. What's damning is our belief that compression is a simpler/weaker problem.
"Jet engines are just glorified oil lamps."

Not that I think the current AI is as life-changing as is purported, but this comparison is terrible. Almost all complex software is made up of a bunch of other previous simpler technologies.
Every birth should come with 1 acre of land :)
The bank can and will charge a much higher interest rate than the central bank does.
>Zen used to be decent,

I remember they were often referred as one of the best on ADSLguide.uk. At least in the late or early 00s.

It is sad to see the state of UK ISP not improved much after 20 years.
> Cloudflare R2 has free egress

The Cloudflare TOS does not allow you to serve video from a Cloudflare address unless you’re using a Cloudflare product that is meant for video. So no, you can't make a youtube clone and make Cloudflare pay that bill for you.

Cloudflare makes their money by making users overpay for other things than egress. Video hosting is one of the exceptions where they can't make up that on other costs which is why they have another service for it.
Thanks, in your case the informal definition is clear. I believe in the Quanta article the second and third argument of sub are switched relative to yours.

Another question, do you use Cantor-style diagonalization for the fixed-point theorem? Apparently this is the case for the standard proof of incompleteness, as explained here, though this paper goes over my head: https://haimgaifman.files.wordpress.com/2016/07/22odel-to-kl...

The reason why I'm asking is that Cantor used diagonalization in his famous "diagonal argument" for the real numbers being uncountable. Some people found this argument unconvincing, because it relied on perhaps questionable assumptions, like the decimal representation of real numbers and that different decimal representations must denote a different real number. But if the diagonal argument (or his earlier powerset argument) could be formalized and checked with Coq, doubts would presumably be removed.
For those who might not read the whole thing, here is a summary:

The Hubble and James Webb Space Telescopes have astounded with cosmic images, but a new era of Extremely Large Telescopes (ELTs) is emerging. With mirrors up to 39m in diameter and advanced optics, ELTs promise 100 times Hubble's light-gathering power. The European Southern Observatory (ESO) aims to complete the 39m European ELT in Chile by the decade's end. The US projects, Giant Magellan Telescope and Thirty Meter Telescope, face funding challenges, prompting a call for the US National Science Foundation to lead and consolidate efforts into a single ELT project.
>But it’s easier to dream about a threat that doesn’t exist than one that does because you can still imagine a perfect scenario in which you prevent it

Science fiction invents scenarios that once created cannot be stopped quite often. The "don't create a black hole on earth unless you want to be in the black hole" effect.
There's gitLFS but it requires some discipline to use.
Yeah, that is a different and very serious concern.
I couldn't entirely tell if you were being sarcastic so I just figured I'd reply as though not. But, why can't the "truth" be propaganda? The presentation and presenter of a truth are just as significant for steering discourse and mass understanding of a given fact as the fact itself.
not doubting your experience, what is important then, that you've seen?
Indeed, but it doesn't stay down there forever. It also comes back up an lives the bulk of its life up here.
Some of us think that the mail app is the inferior.

Search on the app uses my phone’s cpu.
search on the web site uses their cpu.

Guess which is faster ?
Because Europeans are waaaay more risk averse. Just look at our car industries and their non-response to Tesla over all the years.

We have completely lost visionary people ever since the fall of the USSR. Our politicians are mere managers (and often enough, they're extremely bad even in that role), our economy leaders largely only care about their own bottom line, and while our universities generally churn out decent graduates, they completely dropped the ball on innovation, research and actually retaining staff - made more difficult by the fact that we don't have absurd amounts of money sloshing around from donations, estates and other sources.
GOOG is evil and they’re there to be used for free. I would never pay them a dime.
Im exhausted already
Not saying that $17 a month is a fair price, but we should not forget that "YouTube tier content" includes all the music. Its value is a solid 10$ a month imho.
sometimes I watch the movie in the person's seat diagonally in front of me while I'm on a plane :(
https://archive.is/BNBWQ