skysight-inc/HackerNews huggingface dataset:
The phrasing seems confusing and manipulative. Did you like my approach or not?

I would rather someone be straight up with me. If you don't like the approach or would have done it differently say so and we can talk about it. Save the compliments for when I do something you actually like.
I would much rather have a large amount of in-tree driver source over a small driver with a "large" firmware binary.
Can ledger track performance over time (which I assume Ghostfolio can). Does ledger (or the eco-system around) come with integration towards sources which categorize assets, and can it easily give a breakdown of the exposure according to such categorizations (per industry, per region, etc.)?
That's a pretty interesting question, the tough as nails salesman closing deals everyday would consider nearly the entire population is lazy as all heck, whereas the hermit fisherman would consider the opposite, that nearly all are needlessly agitated.

Placing the bar at the 50th percentile isn't very inspiring for the passing reader though.
Pretty sure this doesnt apply, as its not a common issue at all
It looks like this channel focuses on vintage technology, so I don't find the title unreasonable in that context. It's more confusing on Hacker News where that context is removed, but that's not the creator's fault.

Would you feel differently about the title if he'd gotten early OS X working? He actually wasn't so far off from that. MacOnLinux supports up to 10.2, it didn't boot in this case but it theoretically should have worked given the same setup.
Mondragon, the largest worker cooperative in the world, hires top level people with the skills to manage the company. Those people, instead of reporting to public shareholders, report to the worker/owners who decide the company direction.
You are literally blaming the victims here. Tell me what the "left" did which deserved our children getting bomb threats? Be specific.
Interestingly I always post identical posts to twitter and mastodon and I do not use hashtags, and I still find that plenty of my mastodon posts get more engagement. It’s about 50/50 whether I get more engagement on twitter versus mastodon, and I have 800 followers on mastodon and 2000 on twitter.
Linux kernel is not made of 34M loc, most of it is drivers which I hardly consider kernel code.
> pretend that the work environment should be more than an exchange of skills for compensation.

> rah-rah-rah of companies where people are excited to hear the CEO speak to be creepy and weird.

I think these two examples are actually pretty different. You could think highly of the mission and attach a high amount of value to your work without the CEO being a cult figure. I've been in an environment where I had the former but not the latter.
Non-Chinese citizens have control over China's state internet censoring.
Kyiv KarDachi – an electronics market in Kyiv, Ukraine [video]
> spineless cowards

It's hard to be brave when you have to support a family, pay for a mortgage, pay for the kids' college, etc.

I remember feeling queasy, almost 20 years ago, when I got hired for a very good salary to do helpdesk, and realized the customers I had to support included some Bad Actors: big mining, big arm manufacturing, even big spying... but I could finally afford to buy a small house, marry my partner, and start a family. So I sucked it up, and without that experience I wouldn't be where I am now.
Bikes have been 'open sourced' since the early 1900's. It is only now with the advent of e-bikes and ridiculously overpriced racing bikes that the 'closed source' model has entered the equation. Bikes as a service is a thing now. You don't even own your bike anymore...

I bought a -cheap- beater for a family member a few weeks ago for the grand sum of $80. It is an excellent bike by a prime brand manufacturer, it needed a little bit of work (roller brake service, one new spoke, some grease and a new rear light) and it's as good as new. I fully expect it to outlive me, and probably everybody else in this house if it is taken care of as well. I regularly see bikes from the 60's around here that are still in very good shape.

The bike industry lives by: theft, bike accidents, kids growing up (kids are really rough on bikes) and cracks in frames. Everything else is fixable if the bike is of a reputable brand.

Crap bikes not so much those have the weirdest parts.
Good points, and I've made/discussed/seen these elsewhere as well, but one thing to add explicitly: it is still possible to get 'you go to stuff'. I don't have the impression I changed how I do that. But: it does seem to get harder and harder and I'm actually not sure it will remain doable in the future (except perhaps by a small subset of hacker-ish people) because it gets indeed not pushed at all.

Examples are things like LineageOS on your phone and/or not actevily using it as an extension but as a tool, illegally downloading content (still thrives), it actually seems a lot easier these days to download music from lesser known to virtually unknown bands (even if it's just via YouTube) and I still find this like I used to i.e. mainly by going to shows or looking at who's playing and finding related bands like that, choosing anything but Google/Bing/... as principal search provider and using multiple search engines, ...

So, I'm personally not heavily affected by that steering but I do indeed fear that it might become a lot harder in the future. On the other hand we shouldn't forget that for a lot of humanity out there the previous decades they just got their information from 1 or 2 TV channels, radio, cinema, and a newspaper. If they wouldn't actively seek value they'd be basically in almost the same boat. Except that today's boat is a lot more pushy.
I'm not sure I get why the comparison to the Kernel is needed. GPUs are wildly complex. Rendering is wildly complex. Managing memory and data is complex. Managing connected hardware is complex. I am not sure why anyone would expect a GPU Driver to be small while also doing a billion things and playing games as well as mature gaming platforms.
The 415 AD murder of Hypatia of Alexandria, the first well-known female mathematician, was a 100% Christian operation... likely inspired by a political smear campaign put on by the Bishop of Alexandria who was trying to consolidate secular power.
Blockchains Are a Bad Idea (James Mickens) [video]
Yes

https://www.investopedia.com/bittrex-exchange-bankruptcy-749...
Or they'll see that it's a small human-readable text file and not several hundred megabytes of machine code and come to a reasonable conclusion.
If I give you a cookie recipe and say "These are the best cookies", it's self-evident that I don't want you to eat the paper.
I mean... you can abuse language and math notation in ways that you can't do for computer code. Math notation is actually terribly and surprisingly informal compared to code. I'd just argue that many[*] of these "social disagreements" would go away within a computational framework. I think the future of mathematics is in computer proofs.

[*] Note that the claim is "many" (ie.: a subset), not "all".
Yes, there are moderated groups. I even know of a moderated group without a moderator (alt.hackers) which is the point.
"I like the way you tackeled this" Implies the work has been done successfully.
", have you thought about this approach?" is trying to imply that the work is not sufficient actually without actually saying that. Your message has taken a complete 180 since the first half of the sentence but you haven't given the listener any clues because if you use a word like "but" it might hurt the facade of niceness. It's mixed messaging.

But I think a lot of the issue here is because were talking about a made up example. If we just add a little more detail to the made up response it clears up a lot of the ambiguity and makes it sound less contradictory.

"I really liked how you tackled [X Requirement], have you thought about [Y Requirement + approach]?"
>High-performing knowledge workers often question whether managers actually contribute much, especially in a technical environment. Until recently, that was the case at Google, a company filled with self-starters who viewed management as more destructive than beneficial and as a distraction from “real work.” But when Google’s people analytics team examined the value of managers, applying the same rigorous research methods the company uses in its operations, it proved the skeptics wrong.

As summarized in the article, the research actually seems to have addressed a slightly different question: "Do good managers add more value than bad managers?".
Why not just look at how much the CPU is being used?
I have not seen these scripts, but can confirm that AMD has a long history of such Perl scripts. Look at hipcc for a current, moderately frustrating, example of this. Also the last time I met one of the open source driver team in person he was, in fact, wearing a classic ATI red ATI t-shirt straight in from Markham. Much of that team is European now though from what I hear, and they’re generally a good bunch.
My brain does not like the phrase "social compact" probably because I've heard "social contract" so often, and rarely if ever hear "compact" used in this way. On the other hand I hear "pact" much more often.
> Musk's principals are malleable depending on how much money there is to be made.

I don’t think this is the case. Have his principles increased Twitter’s value? Has he improved the business at all?
The majority of ebikes that people bring to their local shops are unsafe, often not street legal contraptions from Amazon/WalMart that have no maintainable standardized parts and are a massive fire hazard.
When you leave, you take the value of your investment with you, whether it has gone up or down in value while you worked there.
The issue is that the generated code is checked in. Surely there's a better solution.
Wait till the Indian's start selling trips into space and to the moon.

They are perfectly placed to offer the cheapest tourism to space, whilst also being able to catch up on flight time and space experience. Thats an import which will also generate a lot of income.

Watch this space!
I don’t follow the connection between bison and carbon credits. Can you expand on this?
It is foolish to think that an assertion without an incentivizing contract is anything other than marketing. What, is a public corporation going to turn down 70M because of something a leader said when it was popular? They have legal fiduciary obligations against not making money, not against changing directions.

Even at the granularity of individual humans, what people want to do is largely orthogonal to what they do. In James Clear's book Atomic Habits one of the more hard-core ways of pre-committing to a course of action is to write a contract with an "accountability partner."

Below is a sample:

https://s3.amazonaws.com/jamesclear/Atomic+Habits/Habit+Cont...
I’d suggest that you lookup and learn keyboard shortcuts. Going up a directory is Cmd + Up Arrow, going to Desktop is Cmd + Shift + D, going to Documents is Cmd + Shift + O, going to Downloads is Cmd + Option + L, Cmd + Shift + G to bring a Go text input that understands ~ for home folder as well as autocompletes on tab, and so on. While macOS is not as keyboard friendly as Windows or Linux, it’s not totally devoid of it either.

If you’d like to have a more powerful experience with file dialogs, the paid application Default Folder X [1] is worth it.

[1]: https://stclairsoft.com/DefaultFolderX/index.html
https://www.eternal-september.org/
> The generally accepted definition when applied to politicians is that they use their power and influence to some unfair advantage.

Agreed.

> Enriching yourself at the expense of your constituents qualifies.

Agreed.

> Doing legal things that are required under our current system to get elected doesn't.

That's where I disagree, and again, "legal" is irrelevant if the lawmakers themselves are corrupt. There's a massive difference between legal and ethical. That's the whole purpose of corrupting lawmakers, to get them to write the laws in your favor.

> it applies necessarily to all U.S. politicians since Citizens United

You appear to misunderstand Citizens United, which applies to independent expenditures, not to direct campaign contributions.

[EDIT:] Besides, Joe Biden joined the US Senate in 1973. The Citizens United decision in 2010 is not temporarily available to him as an excuse and has nothing to do with whether he was a paid tool of the financial industry.

> On your definition, calling a politician "corrupt" adds no more information than calling them "human".

You can not run for office. I don't run for office. Not all humans are corrupt.
much more relevant than OP's unsourced speculations I think!

The first link is not "speculative". It's projecting from the current (very high) rate of landfill waste to try to predict how much will be going to the landfill with the ongoing boom
I like Arta's pitch as a "digital family office" that handles more than just investments. Managing investments is still table stakes, but they also throw in estate planning and other offerings that a traditional financial advisor would offer.

I tried Titan a while back and found that less compelling as a "hedge fund / active management roboadvisor". It didn't seem to differentiate sufficiently from the passive roboadvisors or what traditional wealth management could offer.
I have an AI-dependence in the same way that I had a Stack Overflow dependence, and before that a Google dependence, and before that a reference manual dependence, and with that a (book) library dependence.
Only until they hire an employee with no buy in or profit sharing.
Oh please don’t.

Visual Studio Code is nowhere close to the development environment that Visual Studio was 15 years ago. I’m not even sure how you’d add the features a lot of people need in VS to VS Code. It’s just not the same kind of tool.
In addition to tort (civil) claims, criminal harassment laws can also apply to using a megaphone outside someone's home at 1AM.

> the content of the speech or the political office of the person hearing it is irrelevant.

It SHOULD be irrelevant. In practice, it is often relevant: whether it's legislators (politicians) passing laws or mayors/ governors/ other executives (politicians) enforcing laws, there is a distinct partisan bent where they protect speech they agree with and target speech they don't.

This is also done by government agents in non-political roles, such as teachers and police: they protect speech they agree with and target speech they don't.

Sure, if a case ever makes it to a federal court, judges will take a more neutral view on the content of the speech, but how many folks can afford to do that?
> CfP's

What's that stand for?
How about the sole grocery store or Dollar General type store in a rural area? Same thing. As I said in a sibling comment down below, having your expectations violated isn't some form of personality flaw. Changes in behavior and pricing put real pressure on individuals to change their behavior, which can put stress on individuals who were already stressed. I'm merely describing what I feel is the emotional reaction behind this sentiment, not weighing in on whether it's good or bad.

It's not like by adding a moniker on this phenomenon ("enshittification") or by upvoting or downvoting arguments we agree with that we can change the phenomenon anyway; pricing and economics are a distributed exercise.
This is basically updating an existing rule to bring it more in line with today's market.
I don't see any real difference between your "online pub" and globalized-entity "pedestrian street" examples.

They're both highly-controlled and highly-curated venues.

Environments like those just encourage conformity. That, in turn, results in interaction/discussion that's rather bland, homogeneous, and sterile.

I definitely find this site to be like that. The "showdead" setting very slightly mitigates it, but even then, I almost never find any sort of truly thought-provoking discussion here.

Those venues seem to exhibit a false sense of community to me. There's interaction, but the participants are either ruthlessly conforming, or they're walking on eggshells.
James Mickens gave an entertaining presentation about why blockchain is poorly suited for most application use cases:

https://www.youtube.com/watch?v=15RTC22Z2xI
To clarify, I meant the pricing for Zoom is based on the tier with SSO in the comparison.

Appreciate this isn’t the way I worded it, and the sentence should have ended with a “:” rather than a “.”
I guess this is another step towards Twitter/X as the "everything app". Honestly, I don't see this succeeding in any way or form.

Perhaps Musk expects the US government to partially subsidize this venture too...
That's how I've been using it for a week now to clarify certain concepts from computer science that I always had little confidence in and it has been excellent.
Actually they are frozen on 1970's Bell Labs world, without realising how the world has progressed.
Please enlighten us as to where the electricity comes from
In a real democracy my political opponents would lose all of their elections and would be forbidden from expressing the beliefs I disagree with. Instead we're stuck with whatever you call it when people convince each other to vote for the wrong people. It's time to ban antidemocratic views.
Healthcare is up to ~20% of GDP. Should be a lot of tech ppl interested.

https://www.healthsystemtracker.org/chart-collection/health-....
Quantum computers, cutting edge crypto, cutting edge physical reseach just to name a few? I think we are pretty much at the forefront of a lot of things.

disclaimer: I work at IBM Research but this is my own opinion.
I will always remember when I first got into serious proof-based math in the first semester of college, and I had to work hard to develop my sense of what counts as a sufficient proof. I would read the proofs in the textbook and hit the QED at the end and not understand why it was enough. Eventually I came to understand something like the framing here, which is that a proof is about persuasion, persuasion is about judgment, and judgment (by definition, maybe) can't be pinned down to clear rules.

The University of Chicago has a special math class format called Inquiry-Based Learning designed around this idea, where you work together in class to put proofs together and work out a shared understanding of what is sufficient. I didn't take it but I wish I had. You can read some people's experiences with it here[0].

[0]: https://www.reddit.com/r/uchicago/comments/i1id9e/what_was_y...
Not necessarily the scheduled event may be in some other city in a different time zone that wants this timezone for the convenience of scheduling attendees from across the world.
"Please teach our models how to replace you"
"TV programs are interruptions of commercial blocks" was the quote that stuck with me back in the day.
Who?

It has been known that LLMs cannot reason transparently nor can these black-boxes explain themselves without regurgitating and rewording their sentences to sound intelligent, but instead are confident sophists no matter what random anyone tells you otherwise.

EDIT: This is the context before it was deleted by the grandparent comment:

>> i have yet to see any ai system properly implement individual level-adjusting tutoring. i suspect because the LLM needs a proper theory of mind (https://twitter.com/swyx/status/1697121327143150004) before you can put this to practice.

My point still stands.
This article is all correct, but omits an important distinction in Section 1. The government WAS involved in censorship activities on social media.

https://judiciary.house.gov/media/in-the-news/house-gop-want...
> A total of 95% of those relying on Feed Scarborough were not born in the country, while 72% had only been in Canada a year or less.

I wonder how they collected these statistics. Do food banks seriously hand out forms asking people to fill out (a) their country of birth, (b) how long they'd lived in Canada?

Conservatives and right-wing media in general have shown a proclivity towards making up false statistics and false numbers, if it advances some conservative cause. For example, fake scientific papers denying climate change, or fabricated (un)scientific papers saying that the COVID vaccine is somehow dangerous. I would not trust data someone puts forward blindly.

I agree with the sibling comment that:

> Anecdotally, I’m an immigrant in Canada, and every other immigrant I’ve ever met is comfortably in the top half of society income-wise, with the majority in the top 10%.

This is true in my case as well.
OMG... feedback like this is soooo helpful! Thank you. Nothing concerning in the .git directory, but yeah, I probably shouldn't be showing that. I will update my sync process to exclude that. Thank you!

Edit: should be fixed now :)
Why housing reform worked in Montana
To be fair, the odds that the people behind that are still at the company are <<50%

I think that the better base rate would be stories from Tesla, etc. Of which I imagine there are many (I don't have time to keep up with specifics)
>ATI t-shirt straight in from Markham.

Curious how much of AMD Radeon GPU development now is being done in Markham-Canada, as AFAIK, the modern Radeon architecture stems from ATI's acquisition of ArtX[1], a US-based spin-ff of SGI, which was responsible for the GPUs in the Nintendo GameCube, Wii and many other innovations like programable shaders, later found in ATI/AMD GPUs.

>Much of that team is European now though from what I hear, and they’re generally a good bunch.

I didn't know AMD has a GPU design team in Europe. Where? I know they had a fab in Germany and they have an office for the Ryzen and Infinity Fabric R&D in Romania, but I had no idea they do GPU stuff as well in Europe. Where is that office?

[1] https://en.wikipedia.org/wiki/ArtX
IANA mathematician, but I read "axiomatic system" broadly as including not just the axioms but also the logic in which they are based. My understanding is that a common interpretation is that ZFC axioms are a list of 10 strings of symbols, which only have some sort of meaning when you pick a logic that gives meaning to these symbols. But I think also that this particular understanding of what axioms are ("formalism") is just one way of understanding truth in mathematics, and there are others. https://en.wikipedia.org/wiki/Philosophy_of_mathematics

As for this particular issue I think this wikipedia page is relevant: https://en.wikipedia.org/wiki/Impredicativity
This is probably the editorialization.

He's alluding to the fact that unlike what one might naively intuit, it's impossible to formulate a set of axioms that can formally express all mathematics.

Because of Godel's incompleteness theorems, any formal system that's sufficiently powerful to formulate basic arithmetic (see for instance Robinson arithmetic) and consistent (that is, it cannot prove false statements) is both incomplete (meaning that it's possible to formulate a wff within that system that the system itself can neither prove nor disprove) and can't prove it's own consistency.

This fact is often portrayed in popular media as being a "bug" or a "missing foundation" of mathematics. That is inaccurate -- it's just a property of how logical systems work -- but it does prove that the search for the holy grail of a grand unified system of axioms for all of mathematics is destined to remain fruitless.

Modern mathematics is most often implicitly assumed to be formulated in a formal system called ZFC, but there are alternatives.
Or to avoid using the gender binary we could just use "People/Humans at IBM" :)

Agree otherwise.
I think his argument was restricted to a human-produced mathematical result being ported to a Lean program where one would be just as likely to commit a mistake. However I disagree as well, I recall the difficulty of expressing what I wanted to Coq being a barrier to expressing it incorrectly.