MurphyA/hacker-news huggingface dataset:
by bigfishrunning | 2025-09-26 12:43:10+00:00
That's debatable -- if you follow all of the rules, and go through 25 review steps (which is the least fun part of software development...), you've squandered the advantage of using the AI in the first place. If you don't, you move very fast but your output is likely terrible and you'll eventually have to pay back the tech debt. The temptation to do less is extremely attractive here.
by izacus | 2025-09-26 12:44:11+00:00
It's well received after launch, yes. There's been plenty of screeching about "not being true to original" and "this looks ugly" and "this looks wrong" on the way there though. Just like for this.

Especially for the first remake.

This is why I say the screeching right now based on a trailer means nothing. "Fans" always get mightily offended if someone touches their childhood favorites.
by cjfd | 2025-09-26 12:45:53+00:00
Well, I kind of agree with this. Also in type theory there are axioms/assumptions hidden in the implementation. I myself made an implementation of the Calculus of Constructions (https://github.com/chrisd1977/system) with the goal of having a foundation that is as small as possible while it still being practical to prove large parts of mathematics. I do have to say that it turns out the the foundation is a little bit larger than I would have preferred. I am in particular a bit disappointed that I needed to create a type hierarchy. I.e., the most basic sets have type Type(0) which has Type(1) which has type Type(2) and so on. I am also not completely liking some of the axioms that I had to add, in particular regarding to equality.

I kind of like your idea of having trusted extensions to provers. I was myself thinking along the lines of taking the foundation that I got in my Calculus of Constructions project and see if it can be put on a smaller set theory foundation. I.e., prove it in ZFC, presumably with inaccessible cardinals added.
by surgical_fire | 2025-09-26 12:47:39+00:00
> - is it a good idea to tie various public records together under a unique ID

Generally, yes. It simplifies dealing with government bureaucracy. Proving your identity is generally something you will have to do anyway, this is will just remove a bunch of hoops you have to go through.

> - is it a good idea to issue voluntary ID for those situations where people need to prove it

One of the countries I lived in had a system similar to this one. It worked fine - typically you only needed this ID when opening a bank account or registered for work. Originally it was a tax registration ID (which is why it was related to banking and working), but it was secure enough that it was later repurposed as the actual unique ID. Nowadays I think they issue one to every registered person (e.g. newborns).

> - where is this going to be made mandatory and under what circumstances will it be used against people?

We are talking about the government here, who has the monopoly of force. If you live in an authoritarian country where the government fucks over citizens, they will do it to you irrespective of you having a mandatory ID or not.

My actual main concern is the level of access private corporations have to the records tied to this unique ID. I am highly suspicious of corporations (e.g.: banks, healthcare providers, etc).
by fp64 | 2025-09-26 12:47:40+00:00
Physical units help modeling and review, it's much easier to sanity check values from just reading, and comparing constants. I've heard that for rendering/raytracing, a lot of people move to model light intensities by actual physical values which makes it much easier to author and compare - such as for example "oh I want a light here that is as bright as this old lightbulb I like so much, but there's sunlight also shining through the window". That's much easier than estimating it in arbitrary units, in particular as here human perception is non-linear. I assume this would be similar for other simulations.
by alias_neo | 2025-09-26 12:47:56+00:00
I have lutris, but i just installed GMDX by downloading the binary and running it from CLI with WINE and pointing it at the Steam game directory, it was actually really straight forward.

My past experience with trying to get mods on Proton games was much more complicated, but this seems to work fine; a little buggy, but once in gameplay it plays nicely, tested a few minutes of the tutorial on my lunch break and no issues.
by duxup | 2025-09-26 12:48:42+00:00
>“We terminated these channels as it’s still against our rules for previously terminated users to start new channels,” according to the company. “The pilot program for terminations that many people have been referencing this week isn’t available yet and will be a limited pilot program to start. We’ll have more on how the program will work, who is eligible, and how creators can access it soon.“

Pretty straightforward.
by systoll | 2025-09-26 12:48:58+00:00
If you can start from any arbitrary different point, you can just start from the point you’re intending to reach, and don't need to break any other rules.

As per FIDE rule 3.10.3 "A position is illegal when it cannot have been reached by any series of legal moves". The position isn't legal per FIDE rules.

Beyond there being too many queens… black could not possibly have made the last move. For white to have any moves right now, the last move must have been black moving the king to H8. But G8, G7, H7 are all occupied, so where could the King have moved from?
by billy99k | 2025-09-26 12:49:10+00:00
Now is a good time to use it to make money, before it gets to the point where everyone is using it.

I've been using it for almost a year now, and it's definitely improved my productivity. I've reduced work that normally takes a few hours to 20 minutes. Where I work, my manager was going to hire a junior developer and ended up getting a pro subscription to Claude instead.

I also think it will be a concern for that 50-something developer that gets laid off in the coming years, has no experience with AI, and then can't find a job because it's a requirement.

My cousin was a 53 year old developer and got laid off two years ago. He looked for a job for 6 months and then ended up becoming an auto mechanic at half the salary, when his unemployment ran out.

The problem is that he was the subject matter expert on old technology and virtually nobody uses it anymore.
by littlecranky67 | 2025-09-26 12:49:11+00:00
PopOS (just as Ubuntu) comes with a live-linux for its install media -i.e. you can try with the very same installer usb-stick if the system works for you. In generall I'd say the older a system, the better the likelihood of linux compat (if it is not WAY to old).

On that 2014 MBP Retina, I have attached a 4K TV via HDMI. It works in dual-screen, even though I use it with the lid closed in single-screen mode (4k TV only), but only 30Hz are supported (I can run 1080@60). Limitation of the Intel onboard GPU I assume.

You probably have your reasons why you do not want macOS on that system anymore - for me the 2014 MBP fell long out of macOS support and while I had Sonoma with Opencore Legacy Patcher running on it, the OS was just unbearably slow, plus some audio issues (along the fact that with opencore legacy patcher your security is also at risk). So that was a no brainer, because macOS just wasn't an option anymore.

Another word of warning: I had the very same 2019 Intel MBP and it died just a couple of weeks after it fell out of Apple Care. Just turned of right while using, never came back. That series is notorious for having thermal issues, and a friend of mine had the same model dying the same way just a couple of weeks after. Maybe you want to sell it while it still has macOS support (higher prices on the 2nd hand market) and get a different laptop if you are after Linux.
by AlexandrB | 2025-09-26 12:49:23+00:00
Insults cannot have greater harm than just about any physical injury. False accusations already have a legal recourse, as they're defamation.

Have you had a broken leg? When you're young it's an alright thing to deal with, when you're older it can be life altering (it might hurt forever or alter your gait). However most spontaneous violence doesn't result in broken legs but rather hits to the head which can very quickly end up at CTEs or other brain trauma.

In an equal society, you really don't want actual violence to be on the same spectrum as speech of any kind. One problem is that ~50% of the population has a massive natural advantage in the realm of actual violence. Would a husband beating his wife because of "violent words" she inflicted on him be ok under the "speech is violence" rubric?
by kjellsbells | 2025-09-26 12:50:16+00:00
The author assumes that everyone can get sufficient connectivity to be able to stream, or have cell service, or can afford satellite. I'm here to tell you that the United States is a very large country where that is not the case. Broadcast TV serves those people.

It also seems odd to hold up the FCC's spectrum auctions as wildly successful. The FCC made bank, sure, but ATT and the rest assumed a mountain of debt, tied themselves in knots to get over it, and generally speaking consumers are worse off today because of it. We also have a case study in Dish who had a lot of spectrum and signally failed to do anything with it, so it's not clear that more spectrum would help. Selling more spectrum should not be undertaken without very tight guarantees that it is used for the benefit of citizens, and not merely locked up and used to extract rent.
by zahlman | 2025-09-26 12:50:16+00:00
Announcing guests late for a convention (when the arrangements might not have been finalized until that point) is "a dick move", because some attendees might not like the idea of the guest being there (despite no compulsion to interact with said guest) and find it too late to cancel (on things they voluntarily committed to based on the existing expected content, fully accepting the risk of future change)?

No, I think the dick move (in the https://www.youtube.com/watch?v=0la5DBtOVNI sense) is raising hue and cry because the opportunity to see another influential person at a convention somehow ruins the rest of the convention for you.

And are we seriously arguing that the creator of the thing should be barred from a convention about the thing?
by cogman10 | 2025-09-26 12:50:34+00:00
Sure. I guess I'd point out that even when the long lifecycle, the optimization on live paths happens quick. It doesn't take too many invocations before the jvm optimizes.

That's similar to how js does things.

Java does have a "client" optimization mode for more short lived operations (like guis for example) and AFAIK it's basically unused at this point. The more aggressive "server" optimizations are faster than ever and get triggered pretty aggressively now. The nature of the jvm is also changing. With fast scaling and containerization, a slow start and long warmup aren't good. That's why part of the jdk dev has been dedicated to resolve that.
by friggeri | 2025-09-26 12:51:44+00:00
Looking at the prompts op has shared, I'd recommend more aggressively managing/trimming the context. In general you don't give the agent a new task without /clearing the context before. This will enable the agent to be more focused on the new task, and decrease its bias (if eg. reviewing changes it has made previously).

The overall approach I now have for medium sized task is roughly:

- Ask the agent to research a particular area of the codebase that is relevant to the task at hand, listing all relevant/important files, functions, and putting all of this in a "research.md" markdown file.

- Clear the context window

- Ask the agent to put together a project plan, informed by the previously generated markdown file. Store that project plan in a new "project.md" markdown file. Depending on complexity I'll generally do multiple revs of this.

- Clear the context window

- Ask the agent to create a step by step implementation plan, leveraging the previously generated research & project files, put that in a plan.md file.

- Clear the context window

- While there are unfinished steps in plan.md:

-- While the current step needs more work

--- Ask the agent to work on the current step

--- Clear the context window

--- Ask the agent to review the changes

--- Clear the context window

-- Ask the agent to update the plan with their changes and make a commit

-- Clear the context window

I also recommend to have specialized sub agents for each of those phases (research, architecture, planning, implementation, review). Less so in terms of telling the agent what to do, but as a way to add guardrails and structure to the way they synthesize/serialize back to markdown.
by drewchew | 2025-09-26 12:51:53+00:00
The old web was great but it broke society in a different way and formed the basis of social media's current problems. Writing about your situation and expecting other people to desire to know you so much that they go out of their way to learn about you is not a substitute for 1-1 or 1-group interaction that formed the basis of human culture for centuries. If you want to do something revolutionary to start restoring a healthy society, once a day, call (or DM or text) someone from your contacts list and say "I saw something today that made me think of you, so I wanted to see how you're doing. What's new in your life?"
by BenoitEssiambre | 2025-09-26 12:52:18+00:00
I'll agree that the network layer adds more problems to microservices, but even with a perfect network, they are problematic. Everything being out of sync, (if they are stateful microservices which queues imply), is one big issue. Things being interconnected in broad global scopes instead of more locally scoped is the other big issue.

The more you have globally interconnected and out of sync states, the less predictable your system is.

The solution is to be as hierarchical, as tightly scoped, as functional and as transactional as you can.

That's how you tackle complexity and create intelligent systems: https://benoitessiambre.com/entropy.html
by zahlman | 2025-09-26 12:52:28+00:00
> Is it unfair that you can only impose a “no politics” rule without backlash if you’re progressive? Maybe a little. But the asymmetry is baked in: progressives are the ones challenging the status quo, so banning politics almost always protects the status quo and silences the challengers

"Progressives" (I don't think the label is accurate for the group it describes) are also the ones who believe that "protecting the status quo" entails doing "politics".
by pqb | 2025-09-26 12:52:36+00:00
> The bundled Pop!Shop app store is the notable turd in the pool, but it's optional.

I agree. It’s the second most irritating thing. I am glad that I have written my tiny `update` bash script, which takes care of installing all updates (apt, flatpack, brew, etc.) without touching "app store".

I believe the bundled Pop!_Shop originates from Elementary OS and suffers from issues with proper background job processing. I find all those “store” apps for GNOME to be poorly written, often displaying incorrect numbers of updates, and generally slow.
by bigfishrunning | 2025-09-26 12:53:35+00:00
That aversion to "techbros" comes from people who constantly oversell whatever the current thing is for personal benefit, and these technologies come up short time and time again. The "techbros" as a consort have proven themselves not to be trusted. Say what you want about AI, it's hard to argue that it isn't oversold constantly. I sincerely doubt it would continue to exist without a stream of VC money to sustain it (All of those paying customers still don't cover the bills...)
by duxup | 2025-09-26 12:54:29+00:00
I don't know much about this situation but let's say the premise of this post is true:

>To the best of my kremlinology it seems like he views these posts as some fun harmless sport, where he goes off to "annoy people on the Internet" as a way of blowing off steam, to then sit back and guffaw to himself at how he really pwned the woke-ass SJWs this time, won't they get their panties in a twist, haha roflmao pepe the frog meme dot jpeg. Then he can't refrain from diving into the backlash and escalating the conflict even further. I wish he'd stop. It's unseemly. It's destructive.

What is there really to be done? Will The author of this post really get anything done?

Seems unlikely.

I do wonder about the folks down the rabbit hole as the author describes. It's kinda wild how some rail against some groups like they're bravely fighting the good fight (by posting text online...) and yet at the same time as if on orders from whatever sources they get their info bust out the talking points and new phrases of the week like a good drone.
by indymike | 2025-09-26 12:54:44+00:00
> Fun fact: Bob Colwell (chief architect of the Pentium Pro through Pentium 4) recently revealed that the Pentium 4 had its own 64-bit extension to x86 that would have beaten AMD64 to market by several years, but management forced him to disable it because they were worried that it would cannibalize IA64 sales.

File this one under "we made the right decision based on everything we knew at the time." It's really sad because the absolute right choice would have been to extend x86 and let it duke it out with Itanium. Intel would win either way and the competition would have been even more on the back heel. So easy to see that decades later...
by pbronez | 2025-09-26 12:55:00+00:00
Yes, BUT, I want very strong guarantees that any such agents are loyal to me, the enterprise customer, first and foremost.

If anything, companies have MORE to lose than individuals here. If ChatGPT can anticipate your corporate decisions, then it can front run you and steal your whole business.

This absolutely happens:

- Amazon watches for successful third party products, then releases clones under their “Amazon Basics” brand and crushes the original.

- Robinhood makes most of their money selling real-time activity data to market makers, ensuring that big financial firms win over retail investors every time.

If OpenAI manages to do this in the general case… well then the valuations start to make a lot more sense.
by ocdtrekkie | 2025-09-26 12:55:24+00:00
I think there is probably a core difference between recording the position of any plate which is wanted pertaining to a crime and recording the position of every plate. I have zero issue with Flock finding suspect plates, but the fact some journalists were able to get logs of where their cars were indicates it is far more overbroad of collection than an automated cop's eyeballs.
by potato3732842 | 2025-09-26 12:56:27+00:00
I was thinking Fairfax county VA when I wrote that but Berkley fits the bill really well too.

Big enough to have enough "real city" problems to get people who have no real existential problems worried, but not enough to keep the police/security busy with "real crime", small enough these people can think that there's serious accountability preventing mundane abuse/misuse (whereas almost nobody in NYC would think that there's accountability for any misuse that isn't regional news worthy) and rich enough to not have to seriously care about resource allocation toward unnecessary security apparatus.
by q3k | 2025-09-26 12:56:31+00:00
Gravity doesn't scale this way. Earth's gravitational pull (~10m/s^2) is a constant that ties distance to time, so if you want to observe the same gravitational effects in the same gravitational pull on a small dimensional scale, you need to adjust the time scale to compensate.

This is why scale model sets for practical VFX in cinema were always recorded at higher frame rates and then played back slower.
by Implicated | 2025-09-26 12:57:27+00:00
I just wanted to touch on this despite being days later in hopes you see this - I've seen this sort of feedback about the Pro plan quite a bit. I skipped it and went for max so I don't have any experience with it but I can tell you that I've _never hit my/any usage limit_ with the max plan.

Like, I don't know if my account is broken or everyone else just uses things differently. I use claude code, I have it hard-stuck to Opus 4.1 - I don't even touch Sonnet. I _abuse_ the context - I used to /compact early or /clear often depending on the task... but these days (Opus seems much better with nearly full context than Sonnet was) if I'm still on the same task/group of tasks or I think that the current context would be useful for the next thing/task/step I don't even /compact anymore. I've found that if I just run it right up to full and let it auto /compact it does a _really_ good job picking up where it left off. (Which wasn't always the case) Point being - I'm exclusively using Opus 4.1 while also constantly cycling through and maxing out context only to restart with /compact'd context so it's not even starting empty and just keep going.

Hours a day like this. Never hit a limit. (I've said elsewhere that I do believe the general time I work, which is late evening and early morning in north america, does have something to do with this but I don't actually know)
by mj2718 | 2025-09-26 12:57:28+00:00
Sorry but if he’s using a setup that’s 20x worse than a regular laptop then I’m not really interested in his setup.

To be fair, I asked the question and you found the answer - lol, my bad.

Yes I agree using a nas that adds latency would reduce the TPS and explain his results. “Littles law”
by _heimdall | 2025-09-26 12:57:32+00:00
The Nazi Party no longer exists and you're linking to ideology in Germany at the time. We could similarly link to pretty terrible political party views of Republicans or Democrats over our history.

By no means am I defending Nazism here, I would take huge personal issue with any holding those views. That's entirely separate from the topic here though, and I don't agree with discriminating hiring processes based on political views regardless of what they are. If someone can go to work, get the job done, and be a net-positive member of the team I have no reason to act against them.
by rikafurude21 | 2025-09-26 12:57:34+00:00
How much "cultural and emotional connection" do you think it takes to translate a "back" button into all the languages that your users speak? Do you understand that translating software UI is not a creative endeavor, its a simple logistical problem that you solve by using the best tools at hand? Why would doing this be "contempible"? This isnt like translating Dostoevsky into english, and I certainly would prefer a human do that task instead of an LLM. Also, how would you be able to tell that the text fields youre reading in your software were written using "offensive AI slop"? Your ideological priors are obviously blinding you to see and understand the value of the tool at hand, and I recommend you try to engage with them in an open minded way. I have the same recommendation to you as the previous reply, if youre bilingual, look at how well LLMs write translations for any text you provide them. It speaks for itself.
by jibal | 2025-09-26 12:57:55+00:00
Sure, all of our scientific data could be wrong and the idle speculations of random people on the internet could be right, But I know where I'm putting my money.

> the cyclopian architecture that can be found all over the world in places we once considered disconnected.

They are in fact disconnected by anything other than the facts of physics. This is called independent invention.

> The point is, there is still a lot more to be discerned.

Oh yes ... but not the way you're going about it.
by imp0cat | 2025-09-26 12:58:06+00:00
Leaving your warm bed, rising before the sun in the morning (and I’m a morning person believe it or not), getting ready, commuting, traffic, thinking about what to eat in the office, commuting again, leaving you no time to live your life.

Indeed there is some entitlement in there.

But then again, I am thankful that the author has decided to share her thoughts on the subject. It's fascinating. The idea that waking up before dawn or commuting etc... is not living - well, what is it, then?