skysight-inc/HackerNews huggingface dataset:
From the introduction: "The only background required of the reader is a good knowledge of advanced calculus and linear algebra. If the reader has seen basic mathematical analysis (e.g., norms, convergence, elementary topology), and basic probability theory, he or she should be able to follow every argument and discussion in the book."

It's a graduate-level course. If that paragraph is arcane, the book is probably a few courses in your future.
Better: "What if were not true?"

Don't jump to new (wrong) conclusions, break out of your mental prison of conclusions.
Interview: Lilium's Daniel Wiegand on its eVTOL plans and progress
i couldnt get it to work, can you share an example link?
Serves a different purpose. A few things support it, but it isn't common from what I can tell
Lentiviral vectors are engineered to make them less harmful (and hopefully beneficial) to humans. They're also tested to ensure they're replication-incompetent, so that even if they did turn out to be harmful they couldn't spread from patient to patient.

https://www.criver.com/eureka/why-are-lentivirus-vector-safe...

The gain of function research of concern takes viruses already capable of sickening and killing humans (or their close relatives), and deliberately makes them deadlier and easier to spread among humans. This is a tiny fraction of virology, and has yet to deliver any practical benefit.

There's a legitimate concern that an overbroad ban on gain-of-function research could restrict safe and beneficial activities. The WIV's work was pretty far at the dangerous extreme, though--Ralph Baric's work was already controversial, and the WIV was working with a greater diversity of viruses, at lower BSL.
> This was a big enough deal in Hanksville that they closed school so that all the kids could come down and see the big plane.

You just reminded me of the book, Mike Mulligan and his Steam Shovel.

Thanks for that!
This is like you getting mugged and the police stealing your car afterwards.
A tale of two cities: Paris proves that you don’t need skyscrapers to thrive
We need to go back to web 1.0. Host your own software and pay for it yourself.
I'm waiting for big rooms support to be implemented in keet (which is already amazing)
There is a mother of all recession happening soon coupled with intense effort to dedollarize. Those factories will end up abandon without recouping their original investments. I have seen how this playout. In the 60s and 50s there were doable because things are cheap and Americans have the Japanese-like ingenuity and innovation. In the 90s, Internet happened and end of cold war. In the 2000s, Chinese supplement worldwide inflations with their cheap goods and students as American human resources together with Indians. In the 2020s USA lost huge chunk of Asian human resources and facing high inflations. Americans still able to hold off due to residue economic growth from Clinton-Bush era. Coming decades they will face immense headwinds with their poorer quality of non Asian immigrants, lack of resources (oil and rare earth no where at Russia level), lack of gold (Fort Knox havnt been publicly audited for more than half century), military weak (Talebans humiliated pentagon and inpending Ukrainian defeat as American sponsored proxy state), population disparity (India+China+Russia+Asean) going to make America looks like 3rd world country population or Monaco at best. Already working in HR fields, I am seeing a lot of capable Americans execs sending their kids to Asia. Some even ditched American citizenships. You can search for extreme end of examples like Severin and Dyson. But those in the "millionaires" range make up the huge bulk of these well to do American leaving western world.
What did Usenet cost to run?

What does Reddit's core functionality cost? They have annual revenue of half a billion dollars. Tell me that you can't use that money to run a text distribution infrastructure.

I doubt Slashdot in its day cost half a million dollars to run.
That’s how my old.reddit.com looks too.
Professors Boyd and Vandenberghe really broke ground with this text. Prior to this, optimization algorithms and methods were very much locked up behind a metaphorical paywall: difficult to access literature with very high barriers to entry, and strictly commercial software offerings. They brought optimization to the masses and should be celebrated for it.
The difference is that you aren’t the one coming up with the search terms, browsing through all the search results, and then selecting the specific results you want to explore further. You let the Web Browsing model do all that work for you.
if the site loads for you, the number is there. last i looked it was over 2 billion.
Or maybe it was a shitty movie. There's lots one could say about US foreign policy, but that was 90 minutes of fart jokes. It's weird what people try to venerate sometimes.
I used to use SO all the time while coding. Now I use GPT-4 instead.

Those of you who anticipate continuing to use SO: why?
Why Does Depression Suck So Much?
I mean in the reddit case the business reason is "monetize the platform as much as possible", which clashes with a platform that's nothing without its users and the content they create. A good business strategy would be to build trust and have dialog and increase monetization in small steps that the majority of the userbase can tolerate (after all people understand that things cost money).

By taking a huge jump to early on and shitting on volunteers/3rd party app developers, they lost what little trust they had. Doubly sad that the same playbook played out with Digg and showed reddit exactly what not to do.
>If you really do that 200 mile journey a lot with your 17 year old car, you are a brave man

Last time was 400 before the pandemic, and in another month or so I will do it again. It use to be a rather regular occurrence before pandemic. But now it will start up to about 2 to 3 times a year. FWIW, where I am going the closest public charger is about 20 to 30 miles away.

All you need is a good mechanic and keep it well maintained. And were I live there are plenty of medical services, were I visit they are few and far between.
All this is is mathematical notation version of a data type system. Its telling you the problem search space is represented as vector<n> x, the optimization problem is 'real f(vector<n> x)', the problem constraint is vector<m> b, and the meaning of b is we are going to test 'for i=0; i<m; i++' { is f(x)<=b[i] }
Is McDonalds paying the minimum wage anywhere in the US?

Maybe in a very rural area, but I'd be surprised to see a McD there to begin with. Do you have a source? I'm genuinely interested in looking at this more for unrelated reasons.
People that want this from a computer won’t buy a Mac.

It’s like complaining that a tractor is too slow to drive down the interstate.
It's for people who see all the problems caused by formal structures, think "wait, if we got rid of those structures, we would have a better time of it", and don't want to learn the hard way.

Also for those people who are in a flat/no-structure and looking for something that puts words to why things feel wrong.
> "for breaking reddit."

That seems like an awfully personal permaban reason.
This seems like the correct answer. I can't think of how many times I've been like "I should publicize all my notes" and then I restart the cycle of looking into blogging or note-taking/wiki software (with publishing options like Notion). I'm not much into writing long-form content, but I journal and log pretty consistently. It's always the "distill this body of knowledge into an easily consumable article-style thing" that I lose interest, both because it's hard but also because I feel the return on investment is super low. I already get the benefits of my notes, and blogs are too 1-way to get meaningful feedback unless it goes "viral" on a link aggregator like HN or Lobsters. Maybe I just underestimate how much feedback is typically given or over estimate the difficulty in making it to the front page...
Author of said MATLAB package (CVX) here. Yours is a really interesting observation!

When the book was created, CVX didn't exist. Instead, Boyd & Vandenberghe wrote separate MATLAB scripts for virtually every figure (to be fair, with a lot of cut-and-paste and convenience functions). The course did hum along pretty well without CVX (or its later and now better-supported Python equivalent CVXPY), for sure.

I think it is fair to say that these software packages made convex optimization far more accessible a topic. Certainly, implementing some of the solution techniques is not straightforward. But far more people can actually spend time using convex optimization in their application domains if they don't have to concern themselves with those implementation complexities.

Incidentally, on the commercial side, Mosek ApS and Gurobi both offer Python-based modeling frameworks for convex optimization that do a great job of making the discipline accessible as well. They don't operate in quite the same way as CVX and CVXPY, but that's not really important: what matters is that people can readily solve their problems, not the specific approach that gets that done.
> “It is still unknown who compiles the material or from where it was obtained. Some have theorized that the lack of pornographic material and lack of anti-government views in the package may indicate the Cuban government is involved in its production.”

Curious to note. This opens the possibility of it being almost like The Matrix: a “resistance” movement that’s even then ultimately controlled by the system.
Reminds me of Sylvester's formula [0]

[0] https://en.wikipedia.org/wiki/Sylvester%27s_formula

Function in a matrix of A can be expressed in products of A with its eigenvalues.
If the only things we expect students to do are algorithmic we might as well train them to do nothing.
Page 39 has a simple code example.
I wasn't expecting Java.
Taylorism is a current problem. All "modern" management pseudoscience boils down to the same ideas Taylor espoused at the turn of the century.

His name lives on because this man was absolutely reviled by his contemporaries, even among his own class. He was investigated by Congress in 1912, and they ruled in favor of his striking workers at Watertown Arsenal, banning Taylorism at their workplace. Let that sink in: this man and his dehumanizing practices were so widely hated, Congress ruled in favor of workers in 1912. Today, in 2023, Congress won't even give rail workers a damn sick day. Taylorism was viewed at the time as an affront to the Protestant work ethic, and to God himself, for that matter.

Henry Ford was a contemporary of Taylor's, and if you know anything about Ford, well, he wasn't a saint, to put it mildly. And yet, we call these hated ideas "Taylorism" because even Henry Ford wasn't as awful as Taylor. It took another century of disempowering labor in this country to get to this place today, where the worst excesses of Taylorism are everywhere you look, Where delivery contractors are contractors for the world's richest man and are forced to piss in bottles. Where your boss is tracking your every move with spyware, and has bugged your home under the guise of "work from home."

We speak of management pseudoscience not as a wicked and depraved ideology now, but as a legitimate field of study, like math or history. What an unbelievable farce.

"I already am eating from the trash can all the time. The name of this trash can is ideology. The material force of ideology makes me not see what I am effectively eating." -Zizek
I vaguely recall that Apple stepped in to help Twitter 3rd party clients sort out the refund situation when that platform pulled the same stunt.
I wish a reddit terminal interface still worked. Everyone I try is broke or near broken. Then reddit gets nada from me and I don’t need a browser to read shit from them and their shit ui
I deleted my long term account a few months back for other reasons (too much time on there, becoming toxic is weird ways). But, it is astounding just seeing how poorly they are handling this. It seems like they are willing to do anything to try and contain any form of resistance with the thinking that others will never find out or tell others.

It is a very juvenile way of handling criticism and feed back. They simply cannot accept that they have handled this API thing poorly and have completely doubled down on it despite all the negative feed back.
Spyglass: A Personal Search Engine
It's more some level of what they call "mathematical maturity", or just experience with math. None of this relies on math past the first or second year of college for a typical STEM degree: linear algebra and vector calculus. But most people aren't used to the notation that is taken for granted here, for example, subscripts on functions.

I know it looks scary if you aren't used to it, but it just takes some practice to pick up. This is far from arcane and elite in the math world!
I don't know why that's surprising. Visceral exchanges are a sign of weakness in corporate culture, even internally within companies. I have not seen that universally amongst all countries in the world but it is certainly true in the US.
Why is the gain of function thing always thrown in? This makes the case much harder to prove and seems entirely unnecessary. The family of viruses is already very contagious and potentially dangerous with covid19 hardly being the worst combination of the two properties.
Tesla does not provide government regulators or research organizations access to the raw data on Autopilot or FSD usage. Despite their claims that FSD is a autonomous vehicle system in beta testing with a safety driver, they deliberately under-classify it to the California DMV to bypass [1] the mandatory reporting requirements for autonomous vehicles under test with a safety driver [2]. As such, they have intentionally made it impossible for any untainted safety analysis to occur.

As the default assumption when dealing with safety-critical systems is that they are unsafe and the explicit burden of proof is on manufacturer to prove safety, we must assume that it is unsafe. In addition, as no untainted safety analysis can occur at this time, any comparison against alternatives is impossible until they stop blocking audits of their usage data. The only thing we can state for certain is that it is unsafe for any usage by customers since no untainted proof of safety has been produced.

[1] https://thelastdriverlicenseholder.com/2023/02/17/2022-disen...

[2] https://www.dmv.ca.gov/portal/vehicle-industry-services/auto...
Profit is revenue deducted expenses, taxes, depreciation, loan payments, and other costs.

Income is the same as profit.
In Cuba there are also satellite dishes under RF transparent roofing materials, usually DirectTV dishes smuggled from the US. I wonder if people have done the same with Starlink.
I worked at Intel for 3 years and I felt similarly. I was in a group writing software to help the R&D physicists figure out the kinks of the low-level devices (next-gen transistors) way before going to silicon. The day-to-day work was relatively mundane, but talking to these people about their problems and needs made me feel like I was doing my little bit to move humankind forward.
Did you read the entirety of the comment you're responding to, or only the first third of it?
Sony competes with Vision, since they sell PS VR. I suspect that they wouldn't want to cannibalize sales of their own hardware/platform in order to forge a partnership with Apple.
I've read that to run higher end games at 4k you need something like an Nvidia 3070 or higher. I currently have a 2060-Super and it struggles at times with 2k/1440p. Probably go AMD next upgrade as they are reviewed to be better at 4k and have much better heat/power reqs.
Because I want to learn to fish, not have fish delivered to me.

My last hit on SO was a search for “.gitignore wildcard”. What’s GTP-4 going to do with a two word prompt?
Logs, metrics and traces are all queryable using SQL.
Metrics can additionally use PromQL for querying.
I'll take it a few steps further than you. Legislation won't fix it. Until the military is authorized to start up a new branch of the military to redteam corporations, nothing will ever change. If they don't patch immediately, throw the entire C-suite in Gitmo under suspicion of being enemy combatants.

Does that sound hyperbolic? It really shouldn't. These negligent corporate parasites are by far the greatest national security threat we've ever faced. bin Laden couldn't have dreamed of doing as much damage to the US as they have. China will hand us our asses on a silver platter if we ever go to war with them, because these rootless global capitalists have betrayed their country with every budget they've approved with 100x more given to stock buybacks than infosec. Taiwan better start reading Mao's little red book, because we don't stand a chance.

Throwing the CISO in prison because the CEO/CFO won't fund infused isn't going to change anything. It's just going to make it so no qualified person will ever take the CISO fall-guy position, only exacerbating the problem further. It's not the CISO's fault.
i mean also given that reddit has actually picked moderators on subs that need it in the past (like /r/redditrequest exists), i'm pretty sure this is just made up
a lot of ball adjustments on a sweaty day
Did you try proposing a policy change that heavily used lists or articles, unique on the internet, should not be deleted? It seems like a good idea and browsing the policies now I don't see "people are using this" as a criterion anywhere. I think you might actually find broad support for that.

Just in case anyone here is taking paulmd too literally, it's not possible for "some editor" or any one person to cause an article or list on WP to be deleted. If I remember correctly (and if it hasn't changed) speedy deletion requires at least 3 people, and if it's contested then there's a whole voting procedure. Speaking as a (former?) greasy nerd, I've actually always been impressed with the democracy and consensus systems on Wikipedia; it strikes me as pretty effective, especially compared to most governments.

You're probably right that self-aggrandizement and gatekeeping is a problem among wikipedians.

I'm sorry to hear the diagnosis is terminal... but since you say you've been complaining for at least 5 years, maybe WP has a few more years to live?

(anybody curious about how deletion works, see https://en.wikipedia.org/wiki/Wikipedia:Introduction_to_dele... )
This is ridiculous. I couldn't speak for all subreddits. But for some of the subreddits I loved, it just shows how ignorant, arrogant and dictatorial they are.
Those moderators didn't contribute to the value of the subreddits. They don't provide any valuable content at all. How can they move subreddits to private without approval from creators?
This is fucking ridiculous.
Silicon Valley Confronts the Idea That the ‘Singularity’ Is Here
George Pólya would disagree. Problem solving does not qualify as strictly algorithmic, because it describes an approach to defining and attacking problems combined with domain expertise and experience rather than a series of steps to apply to every problem. But a person can learn problem solving skills and practice to get better at it.

I don't see the moral issue. Determining if someone performs better or worse at a task necessary for a job means making a practical decision, not a moral judgment.
The thing I took away from this exchange was the total lack of discussion about what’s in the end user’s best interest. What’s best for the user’s experience? It’s all “We want this” and “Facebook wants that” and the end user is just a bystander. Nobody cares what we think or want.

For all these companies’ marketing-talk about how they care so much about the end user experience, the executives don’t seem all that interested.
That's not what he said. He said:

> Profit maximization is often in conflict with sustainability.

The head count increased ten fold since Spez took over. This is because VCs want billion dollar companies, not some moderately profitable ones. They want to deliver more (so more employees) and increase monetization, including by charging for the API.

If they stayed smaller it would have been more sustainable and wouldn't have to charge for the API.
> C# and Java have very different philosophies here - the former prefers exposing the primitives to the developers at the price of a simpler runtime but a more complex language, while java does the opposite.

I don't think it fair to say that the addition of struct in C# make it a more complex language. If anything ( well i might be bias here, since i am mainly a C++/native dev.) it make it explicit the difference between reference semantic and value semantic in a way that is very easily identifiable.

> solve another pain point of the language at the same time, and help heal the rift between primitives and objects.

From my perspective , this is root cause of the issue. A "primitive value" and an object (in the java/small talk tradition) are not the same category of thing and do not belong on the same hierarchy. It seems to me that somewhere in mid early to mid 2000, java/jvm looked at C++ and wanted to have unified type hierarchy or somehow treat values and object as the same thing. This is only possible in C++ and other native languages because those do not have "object" as defined in small talk.

The main issue with the primitive and object being different were that one can't defined additional primitive types with more complex behavior and that the generic system doesn't work well with primitive types. And now instead of addressing those two simple problems effectively, we have project valhala which took more than a decade to arrive to solution that looks to me less elegant.

Sometime two simple solution are better than one big abstract design.
It will select the first supported format, webp in the example below.

<picture>
<source srcset="foo.webp" type="image/webp">
<source srcset="foo.jxr" type="image/vnd.ms-photo">
<img src="foo.jpg" alt="" width="100" height="150">
</picture>

https://html.spec.whatwg.org/dev/images.html#image-format-ba...

---

About the Accept header, currently they include `image/avif` so I have no reason to believe that `image/jxl` won't be added.
I just hope they don’t come here and Reddit the place up.
There is no singular they. I’ve read a few books on the topic. You’re ultimately drawing from at best a snapshot of when the Spanish arrived or otherwise when English settlers or their American descendants were encountering populations wrecked by successive waves of disease. So it’s hard to know what things looked like prior and whether there was a stable equilibrium.

We certainly know the Yucatán had at one point been basically stripped of trees for slash and burn agriculture.

The forest agronomy that may have been practiced in the eastern woodlands probably relied heavily on both burning vast swaths of the land periodically and low population density. I’m not sure what that really does for us.

Supporting really small numbers of people with vast swaths of highly fertile land has never really been a big problem.
Are you of the belief that the lab leak theory implies intention?
I hope this means we can have class compliant USB midi devices with Jitter correction and "interrupt driven" transfers (as opposed to the low priority bulk transfer mode used in USB midi 1.0). This should mean way better midi clock synchronization at the cost of a bit latency.
Unsure how much work there is in for the DAWs, as they will have to not only use the new API's but also send midi events some millis early to take advantage of the jitter correction. Hopefully there is someway for the Alsa client to determine this automatically so we don't have to manually twiddle with negative track delay or similar "hacks"