MurphyA/hacker-news huggingface dataset:
by unsungNovelty | 2025-09-27 12:07:43+00:00
> Completely bogus argument. The core of the issue is that non-technical topics were brought into technical environments, creating heaps of drama, and then the concept of code of conduct was created to try and stir that drama.

Yes. Looks like I didn't clarify my point in the main post. I don't think CoC is helping anyone. It is better to be without it.

I was talking about how CoC's was being applied at present and how it was first introduced. If you've been around since at least early 2000s with flamewars, then you know why CoC came about. It was not a pretty sight. A lot of communities were like 4chan. Unfiltered and with people getting banned when nobody is backing down from an argument. I wasn't rallying for CoC to be made better. But I understand where it came from at the same time.
by impendia | 2025-09-27 12:07:52+00:00
One advantage of LaTeX is that it's virtually impossible to generate markup by accident. This contrasts with other platforms which often decide that I'm trying to create a bulleted list, write something in boldface, etc. -- which hasn't always been the case.

It seems that part of the design philosophy of Typst is to make more assumptions about what the user is trying to do. For example, apparently if the user wants "dif" to appear in a math formula, typing "dif" would instead produce a differential -- although I presume there is some easy way to handle this.

Anyone who has used Typst -- did this potential disadvantage materialize in any way which was at all significant? Or did it turn out to be a nonissue?
by burnt-resistor | 2025-09-27 12:08:47+00:00
I guess no one (yet so far) has read the article because this would be the largest single LBO ever. EA would get saddled with the debt used to acquire it, it will amass more debt, workers will be laid-off, and games will disappear and enshittify rapidly.

Private equity needs to be razed and liquidated because these people are nothing but economic vampires who produce nothing except extraction and destruction.
by wahnfrieden | 2025-09-27 12:09:07+00:00
I dislike the tenting and often lose them so I just put something under the keyboard halves to tilt them. Later I want to get their mounting kit and just use these tiny pocket tripods I have (can't find the name but they have no rod), or find a good way to put magsafe rings on them to use with other sturdy mini tripods I have.
by Archelaos | 2025-09-27 12:09:19+00:00
I am using a LaTeX pipeline for creating text, invoices, forms, etc. from snippets stored in a database. It was quite complicated to set up, but the results are very satisfying. In principle, I would like an easier markup language, but am afraid to wast my time trying out something new, just to run into limitations after awhile.

Here are my most important requirements: Multiple columns configurable for meaningful column and page breaks (minimum number of lines in a new column or page). Reliable automatic hyphenation for multiple languages (at least English and German, perhaps French, Italian and Spanish in the future). Pictures in columns with dynamic placing according to the available space. Complex tables and forms with sensible automatic page breaks. Background images. Different areas on the page which are treated like mini-pages. -- Is Typst capable of all that?
by CaptainOfCoit | 2025-09-27 12:09:33+00:00
The quote from the README seems indeed to be falsely attributed to da Vinci. The quote in question:

> Simplicity is the ultimate sophistication. - Leonardo da Vinci

https://checkyourfact.com/2019/07/19/fact-check-leonardo-da-...

https://quoteinvestigator.com/2015/04/02/simple/

I'm not sure why people don't spend two minutes looking up a quote before sharing it, feels like most people have zero care about quality or polish today, everything is half-assed.
by api | 2025-09-27 12:10:30+00:00
I hated the new logo, but I don’t get how it was a “woke” thing or had anything to do with left/right politics. It seemed to me like a “sterile flat millennial-modernist design fatigue” thing. I’m very sick of flat designs and everything trying to look like the Apple Store.

I could buy that the politicizing was bot and troll driven.
by litexlang | 2025-09-27 12:11:28+00:00
Hi there! I am jiachen shen, creator of Litex.

I feel really lucky that Litex has drawn so much attention from you guys! I always like the geek culture of HN, and have absolutely no idea why such a random guy from a random background can rush into the top 10 on Hacker News.

Litex gets its name from Lisp and LaTeX. I want to make Litex as elegant and deep as Lisp, and at the same time as pragmatic as LaTeX.

Many people have raised questions and suggestions about Litex, and I’m truly grateful. Since I’m developing the Litex core on my own, a lot of the documentation is still incomplete — I’ll try my best to improve it soon! All of your suggestions are really helpful. Thank you so much!
by dcuthbertson | 2025-09-27 12:11:53+00:00
This video is worth a look if you care about gaming on Linux. Steve and Wendell are really thinking through which distros to use for testing, what to test, and how to test before jumping into setting up test rigs.

I hope GamersNexus gets to benchmarking games. It will be fun to see benchmarks of popular games running on something other than Windows.
by rakoo | 2025-09-27 12:12:35+00:00
That's a purely personal point of view but I don't think the AP people claim that "people want the wrong things", but rather that "the things you want have a cost and we're not hiding it".

The fact that likes count and half the replies are missing is not specific to AP but to implementations not willing to actually follow the AP community: in fact the SocialHub (https://socialhub.activitypub.rocks/) community is the place where all coordinated development happens, and solutions to those issues have already been designed and implemented in multiple softwares, with the notable exception of Mastodon. Maybe that's the issue: people keep looking at Mastodon to understand AP, but Mastodon is one of the worst examples of AP, even when talking only about the technical domain. It doesn't implement the C2S API, it doesn't have portability, likes counts and missing replies as you said, ...
by tredre3 | 2025-09-27 12:15:27+00:00
> It's so popular because it's the only data structure that is easy to use in C.

I don't understand that statement. Linked lists are no easier or harder to use than other data structures. In all cases you have to implement it once and use it anywhere you want?

Maybe you meant that linked lists are the only structure that can be implemented entirely in macros, as the kernel likes to do? But even that wouldn't be true.
by litexlang | 2025-09-27 12:20:19+00:00
Thank you thau! Your example is pretty interesting! I avoid using any advanved Mathlib tactic to make the comparison fairer. We are comparing Lean and Litex under conditions where they don’t rely too much on external packages, which makes the comparison a bit fairer. (since Lean does have a very rich set of libraries, but building libraries is itself a challenge. Litex really needs to learn from Lean on how to build a successful library!).)(afterall, Litex can also abstract all proofs here and give it a name linear_combination, right?)
by nicohayes | 2025-09-27 12:21:14+00:00
This is a classic knowledge distillation pattern in ML - the "teacher" models (AlphaFold, ESMFold) with complex MSA-based architectures generate training data for a simpler "student" model. What's particularly interesting is how well the simplified architecture generalizes despite losing the evolutionary signal from MSAs. The performance suggests that much of the MSA complexity might be capturing patterns that can be learned more directly from structure data. This could be huge for real-time applications where MSA computation is the bottleneck. Has anyone benchmarked inference speed comparisons with the original AlphaFold pipeline?
by nicohayes | 2025-09-27 12:22:24+00:00
This is a classic knowledge distillation pattern in ML - the "teacher" models (AlphaFold, ESMFold) with complex MSA-based architectures generate training data for a simpler "student" model. What s particularly interesting is how well the simplified architecture generalizes despite losing the evolutionary signal from MSAs. The performance suggests that much of the MSA complexity might be capturing patterns that can be learned more directly from structure data. This could be huge for real-time applications where MSA computation is the bottleneck. Has anyone benchmarked inference speed comparisons with the original AlphaFold pipeline?
by CaptainOfCoit | 2025-09-27 12:22:29+00:00
> They didn't misunderstand, they're calling out Bevy's priorities.

Yes, but the misunderstanding I'm trying to point out is that Mr Beast is not trying to create something of value, they're trying to create something that works well on a specific platform.

In the Bevy analogy, that would be creating a GitHub project that gets the most stars, regardless of how useful or well the engine itself is working.

I'm instead saying the same thing as you, they should continue focusing on building the greatest engine, regardless of the platform for hosting the project.

If Bevy were to follow Mr Beasts advice, they'd focus on flashy demos, engaging READMEs and so on, to increase the success on the platform itself, instead of focusing on the engine itself, which from following their direction almost since inception, they're doing a pretty good job with already.
by fireflash38 | 2025-09-27 12:22:57+00:00
Agreed. I had wrist pain when I played a lot of WoW - rogue, especially outlaw, is not kind to the hands.

I solved it in a couple of ways:

1. Quit wow

2. Rock climbing. Get stronger, especially forearm and finger strength. I can't emphasize enough how much this helps over even carpal tunnel braces or whatever. The biggest single thing that stopped wrist pain.
by sigmoid10 | 2025-09-27 12:23:14+00:00
You can buy server racks for under $200 from China that are made for holding like 20 Android motherboards. Get 50 of those and some centralised management software to interact with all of them on one big screen and you have potentially 1000 unique users that will be really hard to distinguish from bots using normal techniques. That's more than enough to jump-start a viral moment on many social media platforms. And if you hire 5 guys to post full time, you can completely steer the discussion on individual channels like facebook groups, instagram posts or reddit/HN threads.
by anenefan | 2025-09-27 12:23:18+00:00
The internet, referring to public facing websites, is far too fractured to be saved - there's no search engine that's even close to offering, for free, what was available back in the 00's. This isn't just because the search engines got slack, it's because so many different shiny things have been added to the point, wrong browser, apart from the site using sucurishity sentinels patrolling for various things like users of old browsers that could have the inexplicable power to cripple their clients site permanently -- the site's pages plainly do not render as they ought to. Sometimes it's a nothing more serious than sloppy poor coding for image sizes, but just too many sites are more or less too complicated for ensuring a good break down of the pages' content by the search engine, instead relying primarily on seo tagging, erroneous or not.

In some sense though, Wikipedia could improve the internet if they allowed third party advertising, every time some advertising GA web coder submitted their sub par schlock for their ad, it would be refused and pointed to appropriate resources on how to better form their code - till the point for whatever browser wikipedia works with, so would the ad.
by Erwyn | 2025-09-27 12:25:04+00:00
> The fact that it is a nightmare is a bit of a myth. Granted, not everybody can do it, but that's not necessary.

I agree to some extent. But it is more involved than deploying a Discourse instance in my opinion.

> And then there are many mail providers other than Gmail. It's just that nobody cares and probably the fact that a ton of (most?) people were forced to create a Gmail account by Google.

100% agree. This is the tradeoff I went for. I would love for it to be easier to self host but you can definitely use another provider.
by EdwardDiego | 2025-09-27 12:25:46+00:00
> It was silly yet satisfying when Claude (the PR reviewer) agreed the change looked good and was ready to merge.

> "Approved - Ship It!” and ‘Great work on this!”

This pat on the head from an algorithm gives me the creeps, and I'm really struggling to put my finger on why.

Maybe it's because it's emulated approval, yet generating real feelings of pleasure in the author?
by js8 | 2025-09-27 12:26:28+00:00
The thing I miss the most in social networks is the ability to verify the provenance of information through social graph (chain of trust).

Ideally, if I see a post or comment, a process that I control should be able to establish whether the user is trustworthy, by asking the intermediate nodes whether the next hop is trustworthy. Essentially, I should be able to walk that chain of trust to see whether the information comes from a trustworthy source (and possibly input user's own evaluation of the chain links and nodes).

Unfortunately, social media companies do not let users access the social graph, because not being able to ascertain provenance of information is what makes paid advertising possible. It would also greatly help to combat bots.
by uncircle | 2025-09-27 12:27:15+00:00
I buy ebooks outside Amazon with my non-jailbroken Kindle. They’re usually DRM’d EPUB files, which I unDRM with Calibre and transfer to my device, which I have kept in airplane mode for the better part of a year.

The bonus part is Calibre keeps a local copy on your PC, so now all my book purchases are backupped and without DRM.
by southernplaces7 | 2025-09-27 12:28:05+00:00
>Some of the CG art that I see nowadays, is every bit as impressive as the Great Masters.

Really? Except the minor part in which a great master spent months to years creating one of his works, instead of a literally mindless digital system putting it together (in digital, no pigments here) instantly.

The technology is impressive, sure, but I see nothing artistically impressive about it, or emotionally satisfying about the utter lack of world and life of creation it lacks.
by syntaxing | 2025-09-27 12:28:23+00:00
My tinfoil hat conspiracy is that most outrages online is “fake” in general. They just need to get the ball rolling and the internet community takes the bait. For instance, I’m heavily convinced the Travis and Taylor subreddit was some sort of bot generated outrage or Peter Theil/Spez project. Mind you, I’m not a fan of either (I don’t even watch football) but the community really took off after Taylor Swift supported Kamala in the election. There’s a ton of stuff with (in my opinion) unwarranted hate on the subreddit and it’s always on my front page despite never clicking into either subreddit or read news about them.
by zzless | 2025-09-27 12:30:39+00:00
With all due respect to your perspective on TeX, isn't it the whole point? There are weaknesses in TeX (like using $ for both beginning and ending the math mode) but they are quite minor. Quirkiness is not a weakness but being a standard (since 1986!) is a major strength. The fact that it does not change is a blessing, truly. Python may be a fine language with a great community of supporters and I use it because I pretty much must but programming in something that is essentially a moving target is no fun. And I would take TeX macros over Python ugly syntax any day, no offense. Not to say I am right just to point out that taste is not necessarily a reliable guide.
by cornholio | 2025-09-27 12:31:45+00:00
Social ties correlate with all kinds of beneficial traits, outcomes and privileges, in a very complex and bidirectional causal relation: sociable people have much better economic and career prospects, healthy middle class people have the opportunity, time and resources to engage in social activities, raising a family is a high energy activity not everybody can afford that basically "generates" a substantial web of social links, which in turn support the person in their gray years, and so on and so forth.

So the finding here is that healthy, wealthy people with a support network age just like healthy, wealthy people with a support network.
by seec | 2025-09-27 12:31:47+00:00
I think it's how it should be done. You just executed the task intuitively, without any preconceived instruction as to the "best" way to do things.

Most of the time, those selling the best way to do stuff have a rigid way of thinking/operating and seem to have rules for everything in life and they think it applies to everyone the same, even though we are clearly all different.

Very often it's actually counterproductive and doesn't get you much better performance, touch typing is one of those things. It's a rigid theory made to form human robots that would spend all day typing stuff from other peoples (basically secretaries, re-copying stuff or typing dictated material). It focuses on typing speed at the expense of everything else. And is completely pointless because the speed difference between a touch typist and a self taught typist is completely negligible for 99% of tasks.
by southernplaces7 | 2025-09-27 12:31:52+00:00
Trying to convince some tech people about how artistic creation works, and why it's more than just the right amount of "optimization" of bits for rapid results, is about as pointless as trying to make a chimpanzee understand the intricacies of Bach. The reductiveness of some of you is amusing, but also grotesque in the context of what art should mean for human experience.
by crazygringo | 2025-09-27 12:32:31+00:00
> In that timeframe, it found that 44.5% of all mentions of Cracker Barrel were flagged as likely or higher bot activity.

This is a useless statistic without a comparison of what percentage of activity is bots for any culture-war news story of the day.

And it means that over half weren't bots.

People really were genuinely bothered by replacing an old-timey logo they grew up with and loved, with some bland corporate logo that looks like everything else.

Also they were pissed off about the similar redesign of the interiors from homey personality to generic bland gray.

If you think it's silly because it's not a restaurant you go to, imagine if Coca-Cola replaced their script logo with some generic sans-serif one. Don't you think the outrage would be real?
by jfengel | 2025-09-27 12:33:03+00:00
Sincere question: was there any actual outrage about it?

I try to avoid the news as much as possible but a little about this slopped over my barriers. What I saw was pushback against the pushback, but none of the actual "oh no new logo is woke".

I assume there must have been some, since Cracker Barrel did change course. Still, I can't tell how upset anyone actually was, and how much was just outrage about outrage.
by bombcar | 2025-09-27 12:33:10+00:00
The distinction between chat and email and forums was helpful mentally to compartmentalize - you’d expect people to act differently (forums even have things they call “chat” threads that are more like chat).

The problem the “bubble up to Wiki” is that you need a specific subset of people with the technical know-how to understand the issue and solutions AND the time and desire to update the Wiki.

One thing that can help is being absolutely a tyrant and insisting that discussions about bugs, etc happen on a bug tracker- or at least the resolutions go there.
by litexlang | 2025-09-27 12:35:06+00:00
``` If litex's strategy is "you describe the steps you want to take, and litex will automatically figure out why they're correct", how are you supposed to do any nontrivial proofs? ```

HAHA, what i am saying here is, each statement you write, is automatically checked by Litex, using its known specific facts and universal facts. Since any math proof, no matter complex or simple, can be divided into many small steps and each small step can be verified in that way, I guess it is fair to say "automatically figure out why they're correct" to a non-mathematicl person when introducing Litex.
by sph | 2025-09-27 12:35:08+00:00
Code of conducts are a waste of time. Trolls won’t read it, well-behaved people don’t need to be told how to behave well. It’s not like there are CoCs out there that grant you specific rights others don’t: there is no CoC that says, for example, it is fine to harass people or be a racist idiot. So they’re all a variation of:

Rule 1: don’t be a **** Rule 2: basically rule 1 but with more words

Then why do you need a code of conduct at this point. Not being a **** to other people is an unspoken rule that applies everywhere in life, online and offline.

CoCs simply exist because there is a large contingent of people that really do love making and enforcing rules.
by sigmoid10 | 2025-09-27 12:35:25+00:00
I think it's more about the concept of mental isolation than some magic hard number of "friends" (whatever way you define it). You can have 100 close friends that you regularly talk to and hang out with in your free time and still have noone to talk to regarding certain issues. Speeking from a military/PTSD perspective, a single person who you might not even share that much with but who you can talk to about a particularly traumatic thing might be worth more than all close friends and family in the world. Because they will never understand what you really feel like since none of them have experienced it.
by crote | 2025-09-27 12:35:45+00:00
How many of those places have you been to? They might not need year-round A/C like some other countries, but the increasingly-common heat waves definitely require them. The buses are almost intolerable with air conditioning, there's no way in hell they'd ever purchase them without it.

The additional purchase cost is a rounding error, and you're far worse off if cooking people alive during the summer means losing customers year-round as they switch to less-hostile transit options. Maintenance isn't a dealbreaker either: sure, it's extra work, but the equipment is rarely needed. This means the occasional breakage isn't a huge deal, and big maintenance can be deferred to the spring and fall.
by abxyz | 2025-09-27 12:36:08+00:00
Except this is a hot button issue. Everyone has an opinion on brands ruining their iconic logos. Nobody cares about cracker barrel specifically, they care about what the change represents. Real people love dumb low stakes drama, that has been true before social media and will be true long after it. Real people spent weeks all consumed by a cheating CEO.

Almost all supposed outrage marketing is just marketing teams making terrible decisions because they’re people and people make terrible decisions.