skysight-inc/HackerNews huggingface dataset:
> When you add a project that is built from scratch without using a framework that has strong stances on how files should be organized, all bets are off. You have to spend a lot of time trying to wrap your head around the custom abstractions that have been built - and it is hard to argue that some of that will translate to a different job.

I've worked in projects like this. In most cases, they contained what amounted to a part of a framework. The catch in the ones I worked on is that the authors had not realized they were building a framework and so did not think through their division of functionality, cross-cutting concerns like logging, and so on.

Inevitably, each of those had started as simple project. Over time, they had accreted one easy add-on after another. Eventually they're large, complex, and difficult to work on for anyone who didn't create them.

It's been my experience that most projects tend towards complexity over time. A well-chosen framework will require a bit of complexity up front to get going and provide a lot of options you can integrate as your needs grow. Preferably while letting you focus on the specific things you need that are different, rather than having to think about how you want to do logging and so on.
There are many phones like it but that one is his.
Lost a significant chunk of my attention with the thesis, then all of it in a thicket of tendacious musings.

> "Twitter will persist in a deteriorated state, perhaps indefinitely."

Makes sense.

> "However, it's already a pale shadow of what it was at its peak. The cool kids are no longer sitting over in bottle service knocking out banger tweets."

Fun visually evocative analogy, but gossamer. As soon as we try applying it to reality, it falls apart.

> "Instead, the timeline is filled with more and more strangers the bouncer let in to shill their tweetstorms, many of them Twitter Verified accounts who paid the grand fee of $8 a month for the privilege."

What's "the timeline" here? For You? Following?
This hides the ball on the fact there's a much simpler concept here that we're already familiar with, algorithmic vs. "true" timeline. In fact, Twitter pre-Musk had this. It's just different bluechecks now.

> "In the past year, so many random meetings I have with one-time Twitter junkies begin with a long sigh and then a question that is more lamentation than anything else: “How did Twitter get so bad?”"

From above: the cool kids aren't in bottle service banging (whatever that means) and they're stuck on the algorithmic timeline.
Binary Search Trees in Lean 4 with proofs
This is part of the Lean 4 manual, an example of using Lean to define BSTs and guarantee inorder key insertion with formal proofs.

The implementation is quite idiomatic Lean with constructs ranging from simple `def` and `inductive` to elaborate tactics macros.

The proofs of the theorems can be quite hard to follow if you are not familiar with Lean's proof system, but it is still worth glancing to get a feel for them.
The Victor 9000 (aka Sirius 1) was an absolutely fantastic PC, ahead of its time and killed off by (mostly) lack of IBM compatibility.
Could not agree more. The purposeful unnecessary breaking stuff was maddening- and then being lectured at like you were an idiot more so. No more u”” for you!
I did not say the quantity of issues matters.

And people can do lots of weird PRs that do not get accepted as well. Code quality, obscure features implemented, etc. but it can be hard to figure out what is what, so they might just sit there open for some time, that is not ideal, but can still mean the code base is solid. For me this is easier to figure out in the issues/discussion page. (And reading the actual source and documentation)
Humans already generate too much garbage; thinking everything is worth saving is pretty deluded in my book. I hope this comment doesn't end up on web.archive.org. Actually, the fact that I feel that is probable indication that I shouldn't even be posting it. I self-censor myself a lot these days: writing replies in a text editor and then deleting them instead of posting them online because I recognize the voicing of my opinions as rather pointless.
Your comment makes no sense to me. The OP links to https://www.collegesimply.com/colleges/massachusetts/harvard... , which states:

> 10 years after enrolling, the average income of former Harvard University students who are working and no longer in school is $136,700, which is 299% higher than the national median. Sources, U.S. Department of Education College Scorecard / Department of Treasury.

An increase of 299% means multiplying by (1 + 2.99) = 3.99x, which the OP rounds to 4x.
This is sort of like the people who want to print more money to solve poverty while leaving the number of apartments and cheeseburgers the same.

Printing more degrees won't create more six figure plus jobs for the holders of those degrees. It isn't the education that Harvard provides that makes students valuable, it's the selection process. Intelligent and well connected people get into Harvard, it you hire a Harvard person they will be either intelligent or well connected, perhaps even both. Get rid of the selection process and admit less intelligent and less well connected people and those people won't achieve the same results.
I don’t think that’s a good way to measure whether AI thinks or not. Many humans might make that mistake but you wouldn’t then come to the conclusion that that person can’t think
Would Michael Collins (Apollo 11) be the person that has been furthest from any other human ever? (or potentially someone else from one of the Apollo missions?)
I was surprised by having no option and forcing everybody to their algorithm when their other platform either show you content from accounts you follow first and tell you when you're done (instagram) or have an option to show you content from your friends only or friends + group (Facebook's "your feed" and "friends").

I personally don't mind ads, somebody needs to pay for the service and I prefer ada over forced paid for content wasting my time.
Linux 6.0 and higher supposedly support the device. The system boots using EFI so as long as you can get a compatible kernel and the right firmware, it should work.

Based on this: https://blog.rymcg.tech/blog/linux/thinkpad-x13s/ GPU support seems to have issues, which is a shame. That was written a few months ago, though.
I notice that on your “one side”, you have the cost of the rebuild — but not the “projected cost of keeping this thing and maintaining it”.

That’s a common fallacy of programming: the existing code is convoluted and hard ti maintain, but the new code I would replace it with will be much better and much cheaper to maintain.
Back of the net!
Without a doubt. Not sure if this is purely from IBM + Corp or Redhat sales folks finally getting over the whole idea of FOSS
Technically, one can say the same about any devops services out there, for instance. Makes more sense to opensource it.

Still, would you mind sharing the use case and the outcome? I have a couple of clients interested in similar solutions, but so far the potential outcome of this approach doesn't look promising.
Is this not exactly what the PEP-703 is?
I mean, it's always the same.

Be smart, be ambitious, be persistent, be from a financially-secure background, be well-connected, and be lucky.

Works every time!

It's possible to be deficient in one metric, if compensated by the others.

The simplest and most common multiplier for "successful" (e.g. many anonymous people here) vs "notoriously successful" (e.g. people we talk about by last name) is extra luck (and a taste for the spotlight!).

The only "trick" here is to maximize your luck potential by leveraging the other factors. They call it "making your own luck", but that's just a clever way of saying "cultivate and grow your available resources".
I can't wait for proper high end ARM laptops with Microsoft's backing and support.

I'm like the author, I consider the M MacBooks very impressive but I dislike the OS itself.

And it was very unexpected that Chrome underperform so much, without it it's a complete deal breaker for me.
Time is money. Meta is pledging the salaries of three individuals.
Thanks for the pointer actually.
It may be because he couldn't get IntelliJ to work native in a way that let him access WSL, ("It also wasn't able to access WSL, meaning I was locked out of using Linux tooling all together.") So that tooling was awkward.

If he was stuck using windows, maybe best bet would have been to run an X server and run IntelliJ etc inside WSL itself.
That's weird, just make me prepay $5 for credits or something.
I always double it. I think I'm missing the "add 20%" bit...
Cheat until caught, then lie
> Please just understand you are part of the <2% of customers who have done your own legwork.

I understand this, but it changes nothing. Bad customer service is bad customer service.
I dont get this. Just because you don't have the GIL doesnt mean that your previously single threaded code is now multithreaded and stepping on itself.
And it's 3 years of engineer time to work on this project, so I don't get the bribery insinuation. Engineer time to work on a specific project is only valuable if you consider the specific project valuable.

You could maybe make the argument that they're trying to swing priorities if this is considered valuable but less valuable than other things, but given the PSF doesn't actually employ anyone who it can direct to work on specific projects anyway, how is this any different from the already existing prioritisation process of "things that somebody is interested enough to go through the PEP process and then work on"?
The WHO is about to declare aspartame can cause cancer
PEP 703 will add the option to disable GIL (default is on). More context here:
https://peps.python.org/pep-0703/
Would you they rather used these man years to implement it behind closed doors & never release the build?

They use Python. They want to donate engineering time. They think this is a good idea. Why does there have to be a sinister motive?
And, according to the Spanish version of this saying, equivalent to to 100 birds flying.
“Found out Rebecca was pregnant” really caught me off guard because I thought she delivered twins two weeks after the wedding!

I suppose Bella and Trix are cats.
Not Genera, but there is a thread of TI Explorer -> .NET.

Maybe PowerShell can also be described as using some of the same concepts of manipulating data as the Genera UI.
> no powermods

random abuse from mods is a staple of rdrama.
Cable ads are always brought up, but what about all the other services you can pya for to not have ads? Fastmail has been providing this service for a long time, for example.

And what is the risk exactly? If a paid service starts introducing ads, you can cancel. You can cancel cable TV as well.
You left out

- Get some weird Michael Scott/Ryan Howard thing going on with a famous big shot
- Pop yo' collar. Pop it!
the last bastion of free speech but where chudism is still banned
Robot assisted surgery: four arms are better than two
> frozen mamallian bodies are completely dead.

According to what criteria?

The bodies are still relatively intact physically. The point of the freezing is to stop any possible chemical activity so that no decomposition or other harmful change happens and the information contained in the body stays intact.

> That there could in principle be some way to restore them to life is not much more true than it is that you could in principle reconstruct a burned letter from the ashes, with enough information about the burning process.

You're saying that like you know exactly what a consciousness is, what's its physical representation and what is enough to support it. Our best understanding is that the brain itself contains enough information to encode one's "self". It might be in the neuron connections or something else — that part we aren't sure about yet.
Then just mark the extensions that is compatible with GIL. And also you will have a switch that disables GIL, controllable with a environmental variable or launch option.
Oh yeah? I'm at the 4th level already, not sure how deep it goes.
Yes! Holy shit yes! They are not a project for you to work on they are a force to be stopped.

Debating nazi policies in public forums is already a win for the nazis. You don't debate people out of these views you prevent them accomplishing them. Bridging the gap is some liberal bullshit. If they want to repent and rejoin polite society the path is well established.

These people will kill you if you stand in their way. The fact that you don't perceive that as a real threat means you are not standing in their way. Debating their talking points in their venue of choice is not standing in their way; you tell because they're happy to do it.
Yeah, I'm not a full-time developer but even for my bits of scripting I'd be wary of another big change in Python.

Personally I'd much rather see this effort go towards a new language which "feels" like Python but adopts more of the development experience of Go and Rust. From my tinkering it seems like Nim might already be that language, in which case what is needed is investment in its package ecosystem.
> Did the comments here actually read the paper? It just does "russian peasant" multiplication simulating multiplication with addition.

Hate to break it to you but often not even the reviewers actually read the paper.
Why? Chrome is such a terrible browser to begin with. How is it a deal breaker?
If it matters, I don't use titles in any of my blog posts, so the feed has a bunch of <title></title> in it.
Broadly correct with the caveat that there are some restrictions on verbal contracts. For example, I cannot sell my house verbally. Or my car (unless it’s a really bad car).
> yet they donate little or nothing to it,

It is all about knowing individual engineers inside these companies. Nearly any engineer in FAANG can, with a little effort, donate their own work time to an opensource project in the form of submitting patches.

The project can help in various ways. Make sure licensing stuff is in place so that whatever IP review process the company has goes smoothly. Make sure PR's are reviewed fast. Delegate responsibility ('hi, would you like to be maintainer of this feature?'). Make sure contributions are publicly recognised (ie. Public page of maintainers/biggest contributors).

Remember that most engineers inside big companies are trying to generate good content for their performance review. "Wrote and open source some code" is usually one of the checkboxes.
There's an important distinction here - these ads were impersonating Tom Waits himself. There's something called publicity rights that relates to a person's right to control their public likeness which is presumably what Waits sued over.

Here, modders are impersonating a character played by a voice actor and the copyright on the character belongs to the game company, not the actor.

Assuming the game company declines to enforce their copyright, it falls back to the actor to enforce their publicity rights. Which I'm not sure they can, since it's not them but rather a character they play.

When modders hired soundalikes to extend a character, it was equivalent to finding a similar looking actor. Now, using AI, it's equivalent to using deepfake video. Legally, I assume there's a difference which might be important if the game company decided to sue the modders. But from the perspective of the voice actor, I don't think it matters. Their copyright isn't being infringed.
Meh. Smells of "rockstar developer" thinking. I'll pass. This is a job.
> in the case of chatbots, the purchase already happened, hiring a person to do this is just overhead.

But poor customer service may be costing the company future business. Not to mention just increasing the odds that people will hate the company and start badmouthing it to others.
I always say “one bug per if”.
Better yet, engineers in general hates discipline. A lot argue it stifles innovation, makes them work slower, a bunch of red tape. While it’s true to a certain degree, you also can’t scale without discipline. If you can’t scale, it’s not engineering, it’s a science project. It is a balance, too much processes hinders execution, too little means everything will be a mess by the time you deliver.
3. Don’t panic if the level takes a while to load.

(Gleaned from the John Romero play through on: https://www.youtube.com/watch?v=gIl_TqFJNO8 - there’s some UI config tips there, too)
It’s possible that an audience that is very likely to buy a mattress are recent mattress buyers.
On other hand, allowing access to free threading would be a straight-line continuation of this culture: just make that feature available. ("we're writing system code in a high level language.")
I will give it a try - looks promising
Questionable comment if you can't get the basic premise of the article correct.
Spot on.

I am not sure how people thought this was going to play out though. From 5/30/23
Pew survey

"58% of US adults know ChatGPT; only 14% have used it, with mixed opinions on its utility"

As much as that 42% that hadn't even heard of chatGPT is mind blowing, imagine hearing of chatGPT but not even being curious enough to be bothered.

90% can rot their brains on tiktok while 10% of us become actual cyborgs. We will see how that works out for the 90%.
The trouble with this framing is that it obscures the other factors involved.

This isn’t just about who has enough money, but about the ethics of using an actor’s likeness at scale without their permission and without paying them.

I think the fact that other VAs have been hired by mod teams in the past is only relevant if you believe that using AI is somehow equivalent.
From previous discussions it's my understanding the c integration is going to be the cause for the issues.

From a python perspective it wouldn't necessarily be a big change, but everything can branch out to c, and there you're going to get in trouble with shared memory.
I have also had issues that mails never was sent, even though I explicitly hit sent.

these are application development regressions and bugs. maybe it is just too. uninteresting for Proton to build a great product?
perfect analogy
yes some big companies did open source projects and Meta is a good role model, for many those OSS projects, they work for the companies themselves first then the community, though they are indeed still 1 million times better than closed and proprietary code.
I'm mainly referring to long standing fundamental projects that made the rest projects possible, not those projects that are created and managed by the big companies themselves.
I suspect they will launch "Following/Friend" soon. Part of me thinks they pushed the launch when Elon was limiting tweets.

I don't mind ads either if they are obvious and targeted (no more penis ads like the early days of the internet). I suspect Meta won't turn on ads for awhile, but when they do, they have one of the biggest ad markets to tap into. I suspect soon enough advertisers will see an additional button in their preferences. Run ads on Instagram and Threads.
Historian Tom Holland has a good narrative of why the Romans were so different than we are. They believed that the gods favored them, all other cultures were beneath them, and unless women were very wealthy they basically had no rights.
Everybody gets to run their own business as they please. I would insist on clear communications in all dealings. I am not going to try to interpret anybody's hieroglyphics, no matter how much fun I might miss out on.
That's a very good point you make there, and I should have mentioned that in my post.

Yes, the cost of the rebuild itself, PLUS it's own maintenance, fit with the rest of the codebase, extensibility and so on, must be considered in that equation.

I glanced over that, because usually the rationale for a good rebuild is an improvement regarding exactly these metrics.
Why would you need a chatbot for this? When I get an unknown caller, they get my voicemail where they can tell me who they are, what they want, and how I can call them back.
How to Spot Fake Reviews on Amazon
> I think it's fair to say that alcohol does far more harm to the user than psychedelics

I agree but also think that’s a very different statement from “alcohol is a much more dangerous drug than most”
If you have to put in that much effort to fine-tune the machinery that is supposed to trickle-feed your brain with short-lived dopamine hits, maybe you should try a different product. Not all junkies are the same. You may not be the target audience.

Tongue-in-cheek response aside, when YouTube managed to trick me into wasting a couple hours with YouTube shorts, my reaction after reflecting on what I just did wasn't to try and make it even better by curating it - instead I blocked YouTube shorts recommendations with my adblocker.
React alone is one of the biggest feast Meta brought to open source community, and shaped the web from monolithic pages (back then PHP and jQuery is the majority) towards modular components design. Later they even introduced functional programming paradigm in the mix.

Next.js exists too which mashed up PHP/Ruby style with React.
The GIL is Python’s global interpreter lock which bottlenecks performance in multithreaded applications by locking variables. They’re working on removing it but it introduces race conditions if programmers aren’t aware of the change.
It will be optional. You don't have to worry about it, set the option to ON and for those who can worry about it, they will have the option to set it to OFF.
With respect, it’s all in the quality of the execution. Care to share your version?
I'm interested in the contrast between the news producers, who want you to pay for content, and the flood of people desperate to attract your attention without anything of value.

It feels like there is a certain amount of worthwhile stuff, despite vast numbers of people seeking ways to create it. You'd think with billions of people trying we'd get more things worth actually looking at.

Is is because a lot of people just really have nothing to contribute to the world?
Getting rid of the GIL would warrant the release of Python 4.0 for me, except the Python project shouldn't be supporting two different branches for as long as they supported 2.7.

I imagine there would need to be some kind of annotation to enable the GIL for a method and all of the code it calls, including libraries, so performant Python can take advantage of the lack of a GIL but old code doesn't break. Then all you need to do to maintain compatibility is to annotate your main() and your code should remain compatible for a while.

After all, the referenced PEP explicitly calls for making the GIL optional, not for removing it completely.
At least take a look at PEP-703[1]. It will answer most of your questions. Significantly, even if this proposal is accepted, the GIL would remain enabled by default.

[1]: https://peps.python.org/pep-0703/
I was subscribed to many such newsletters but they were all very shallow and full of ads. I noticed I was only subscribed due to FOMO and unsubscribed. I get more meaningful content by the traditional means.
The number of times I was kicked off IRC in 1993 for posting The Day Today memes is very high.

IMO, probably the most under-rated show of all time.

"CRAZED WOLVES IN STORE A BAD MISTAKE ADMIT MOTHERCARE"
The code is here: https://github.com/discourse/discourse

I'm sure they'd welcome a patch to fix the forums.
That was exactly the reference I turned up—though I (shamefully) didn't read far enough to see the mention of proper foot and inch marks, only the initial recommendation to use straight quotes.
epistemology right ?