MurphyA/hacker-news huggingface dataset:
by Terr_ | 2025-09-03 16:15:51+00:00
The first sentence made me expect Asimov's "The Feeling of Power", which--avoiding spoilers--regards the (over-)use of calculators by a society.

However, since I brought up calculators, I'd like to pre-emphasize something: They aren't analogous to today's LLMs. Most people don't offload their "what and why" executive decision-making to a calculator, calculators are orders of magnitude more trustworthy, and they don't emit plausible lies to cover their errors... Though that last does sound like another short-story premise.
by jaggs | 2025-09-03 16:16:36+00:00
LOL I wish I wrote it. Nah, it's some dude in Sri Lanka, which is nowhere near me. And it works perfectly on my low grade Windows PC. Are you using a potato? :)

[edit: oh and if you're looking for my agenda, I'm really getting fed up with expensive subscriptions for basic applications. So I try to call them out and show alternatives.]
by Analemma_ | 2025-09-03 16:17:12+00:00
This is the actual reason there was all that hysteria around the "race to 5G" with the dire warnings that we'd be buried by China if we didn't roll out 5G ASAP. The actual reason is that 5G works better with congested cells and large numbers of clients than 4G, so it's a lot easier to put cellular modems in every device and bypass those pesky users.
by ajross | 2025-09-03 16:17:34+00:00
FWIW, the github link you show clearly shows the ext4-on-dm stack to be FASTER than ZFS!

It only falls behind, and very signficantly so, on the 1M sequential write test, exactly the situation where you'd expect there to be the least delta between systems! I'm going to bet anything that's a misconfigured RAID.

Frankly looking at that from a "will this work best for my general purpose filesystem used mostly to handle giant software builds and Zephyr test suites" it seems like a no brainer to pick dm, especially so given the simplicity argument.
by WalterSchulz | 2025-09-03 16:17:40+00:00
With 600D you are stuck to 1620x912 in video mode embedded in 1080i59.94 8-bit. Black borders around and you have to crop and - maybe - scale up. 200D HDMI stream with ML is clean with MF but AF will still draw a focus rectangle. But at least true FHD via HDMI.

AF with 600D in liveview: Phase detection only. Focus hunting galore. 200D comes with usable DPAF.

I prefer 250D for streaming. Dual display support, no 30 minute limit for HDMI out (but cam display will go dark until some button action).
by mbac32768 | 2025-09-03 16:18:02+00:00
I can't really prove this but I'm pretty sure your ability to get a refund on Amazon is based on their scoring of you. If you're fairly large purchaser with infrequent returns they just approve your return no questions asked, but if you return a lot for your volume they put a lot of barriers in place.

At times it makes me wary of protecting my score (which may not even actually exist), and I'll often just take the loss rather than return something.
by planetmcd | 2025-09-03 16:18:04+00:00
1. Wait, in a category where the general failure rate is traditionally 75%, using a bleeding edge technology adds 20% more risk, what a shock. 2. This is an interesting study, but perhaps limited. Draws conclusions from a set of 16 developers on very large projects, many of whom did not have previous experience with the editor used in the study or LLMs in general. The study did conclude it added time in these cases. There is a reason for the large sense of value, this would be the thing of note to uncover based on these results. Study notes 79% continued to use the AI tools. Speed is not the only value to be gained, but it was the only value measured. (Study notes this.) 3. Author didn't read or used AI to poorly summarize the poorly thought out study it is based on. Also, it seems you didn't read the study.
by runarberg | 2025-09-03 16:18:45+00:00
Given the state of information technology in 2025 I think your parent has a good reason to believe AI features ruins everything. It is common in well funded (read VC funded) technology to start with an easy toggle to disable, and then slowly make opt-out ever harder to completely accomplish. Disable 3rd party tracking ads on google platforms used to be a simple toggle as well.
by PhantomHour | 2025-09-03 16:18:48+00:00
> Just beware the “real programmers hand-write assembly” fallacy. It was said that compilers would produce a generation of programmers unable to understand the workings of their programs. In some sense, this is true! But, almost nobody thinks it really matters for the actual project of building things.

One of the other replies alludes to it, but I want to say it explicitly:

The key difference is that you can generally drill down to assembly, there is infinitely precise control to be had.

It'd be a giant pain in the ass, and not particularly fast, but if you want to invoke some assembly code in your Java, you can just do that. You want to see the JIT compiler's assembly? You can just do that. JIT Compiler acting up? Disable it entirely if you wish for more predictable & understandable execution of the code.

And while people used to higher level languages don't know the finer details of assembly or even C's memory management, they can incrementally learn. Assembly programming is hard, but it is still programming and the foundations you learn from other programming do help you there.

Yet AI is corrosive to those foundations.
by names_r_hard | 2025-09-03 16:20:02+00:00
You're a better photographer than I am. I'm glad if ML helped you.

Please recruit your programmer friends to the cause :) The R7 is a target cam, but nobody has started work on it yet. There is some early work on the R5 and R6. I don't remember for the R7, but from the age and tier, this may be one of the new gen quad core AArch64.

I expect these modern cams to be powerful enough to run YOLO on cam, perhaps with sub 1s latency. Could be some fun things to do there.
by toomuchtodo | 2025-09-03 16:20:36+00:00
Institutions drive the market. Future economic uncertainty around growth and inflation pushes up long term yields, which pushes up the cost of sovereign debt (both new and for refinancing), forcing countries to live within their means from a budget perspective; it also impacts downstream credit product pricing such as mortgages and auto loans. Retail uptake is immaterial (enjoy the juiced yield if you can while you can).

(the total value of the US bond market is estimated at over $55T as of May 2025, making it the largest bond market in the world. As of July 2025, US Treasury securities alone represented over $27.2T of the market; total sovereign debt outstanding as of this comment is ~$100T per the IMF)
by thisisit | 2025-09-03 16:21:10+00:00
This seems like the age old discussion of how does new technology changes our lives and makes us "lazy" or "lack of learning".

Before the advent of smartphones people needed to remember phone numbers of their loved ones and maybe do some small calculations on the fly. Now people sometimes don't even remember their own numbers and have it saved on their phones.

Now some might want to debate how smartphones are different from LLMs and it is not the same. But we have to remember for better or worse LLM adoption has been fast and it has become consumer technology. That is the area being discussed in the article. People using it to write essays. And those who might be using the label of "prompt bros" might be missing the full picture. There are people, however small, being helped by LLMs as there were people helped by smartphones.

This is by no means a defense for using LLMs for learning tasks. If you write code by yourself, you learn coding. If you write your essays yourself, you learn how to make a solid points.
by sunir | 2025-09-03 16:21:19+00:00
Not exactly. Those models are based on intermittent usage. If you're using an AI engineer using a sophisticated agent flow, the usage is constant and continuous. That can price to an equivalent of a dedicated cube at home over 2 years.

I had 3 projects running today. I hit my Claude Max Pro session limits twice today in about 90 minutes. I'm now keeping it down to 1 project, and I may interrupt it until the evening when I don't need Claude Web. If I could run it passively on my laptop, I would.
by defgeneric | 2025-09-03 16:21:38+00:00
This is exactly the problem, but there's still a sweet spot where you can get quickly up to speed on a technical areas adjacent to your specialty and not have small gaps in your own knowledge hold you back from the main task. I was quickly able to do some signal processing for underwater acoustics in C, for example, and don't really plan to become highly proficient in it. I was able to get something workable and move on to other tasks while still getting an idea of what was involved if I ever wanted to come back to it. In the past I would have just read a bunch of existing code.
by asdev | 2025-09-03 16:21:48+00:00
The recommendations don't look very insightful, and seem like a rephrasing/summary of the alert above it. For example the first student who has account holds, bad grades, etc. the recommendation is just to schedule a meeting. I don't think the LLM will be able to provide super insightful recommendations. Even in the improvement plan generated by the agent, the steps seemed pretty generic(as expected from LLMs).

I do think you have value in pulling in the disparate data sources and using LLMs to present the data in a clean way to the advisor/user.
by zerolayers | 2025-09-03 16:22:02+00:00
This week brings us battlefield data as diplomatic currency, AI companions replacing human emotional labor, false memories manufactured by chatbots, cryptographic signatures for bot authentication, digital doppelgangers infiltrating workplaces, social media's structural dysfunction confirmed through simulation, and 3D worlds generated from single images. What emerges is humanity caught in a strange form of collective sleepwalking. We're creating the most sophisticated escape rooms in history, then filling them with perfect replicas of the "reality" we're trying to flee. It's as if we've confused the act of building new worlds with the much harder work of imagining different ways to live.
by jonas21 | 2025-09-03 16:22:15+00:00
South Korea has a number of unusual regulations, including extremely strict restrictions on spatial data [1] and an AI law that, among other things, requires foreign companies to have a representative physically in South Korea to answer to the government [2]. So it's not too surprising to see it on the list.

[1] https://en.wikipedia.org/wiki/Restrictions_on_geographic_dat...

[2] https://cset.georgetown.edu/publication/south-korea-ai-law-2...
by BlueTemplar | 2025-09-03 16:22:20+00:00
> You'll have to forfeit popular messengers that your family, friends, landlord, etc. are on; no more mobile banking; extra fees to use online banking at all; extra fees to legally use public transport; no downloading of episodes or music from streaming services for offline use; no phone calls depending on your country's 2G status; etc.

Some of these issues are overblown (depending on your situation), and we better take a stand on all of them now, or it will indeed be too late.
by KyleBerezin | 2025-09-03 16:22:36+00:00
I also own an external keyboard. Life dictates that I do most of my work outside of my home or office though so most of my typing gets done on the integrated keyboard. Also, are you talking about an ergo keyboard? That is an unreasonable critique, what laptop has an ergo keyboard? I don't use a numbpad when I need to write a single '2' mid sentence. I use it for stuff like ip addresses, that whole 5-8 region feels so awkward, and I hate sliding my hands that far up the palmrest.
by mystraline | 2025-09-03 16:22:54+00:00
Or...

1. Quit paying Google for your abuse.

2. Use Firefox with Ublock Origin and sponsorblock

3. On Mobile, use Newpipe instead of the substandard YouTube app. No ads and you can play in the background.

But in reality, this is just furthering of Enshittification of Google's services. And if you're a paying sucker, they'll know you will pay more. So they can extract more.

The better answer is to start pivoting to Peertube for videos. But there's no advert dollars and is noncommercial. So it gets content delisted from YT. But this is a societal collective action problem.
by stillsut | 2025-09-03 16:23:32+00:00
Not an expert but my chats with ChatGPT led me to believe async + FastAPI can give you 40x throughput for request handling over non-async code.

The essential idea was I could be processing ~100 requests per vCPU in the async event loop while threading would max out 2-4 threads per CPU. Of course let us assume for either model we're waiting for 50-2000ms DB query or service call to finish before sending the response.

Is this not true? And if it is true, why isn't the juice is worth the squeeze: more than an order of magnitude more saturation/throughput for the same hardware and same language, just with a new engine at its heart?
by LolWolf | 2025-09-03 16:23:38+00:00
It is definitely less fleshed out since the project is very new (I think the first usable instance is like beginning of this year!) whereas afaik Lean 4's mathlib was ported from Lean 3 which has been around for at least 8 years and has had active contributions from around then too.

On the other hand, the `acornlib` (https://github.com/acornprover/acornlib) repo happily takes PRs that pass for many objects such as `Group`s (especially those in the standard library). so if there's something you're interested in proving, I would highly recommend just cloning it and proving it directly in the standard library and then PRing!
by ApolloFortyNine | 2025-09-03 16:23:41+00:00
In my opinion, the newer Atkinson Hyperlegible (Next) looks easier to read long term. Maybe B612 is 'better' when you have to read just a few words on a screen, but I've switched to Hyperlegible recently for ebooks and have enjoyed it.

[1] https://fonts.google.com/specimen/Atkinson+Hyperlegible+Next
by zelphirkalt | 2025-09-03 16:23:54+00:00
Recently I set up a virtual machine running GNU/Linux on Windows, so that I can continue to use Emacs and all my usual tools for developing software, while I am waiting for a friend to make a move in a turn based game. I decided to give Doom Emacs a try. Well, I like the keybindings so far. However, it got issues. When I use neotree, it gets confused with windows (the Emacs term "window", not desktop windows, or the OS). Also it has already crashed twice. Once I even lost some code, which I had to write again. Unacceptable. Why was there not even an Emacs backup file for the file I was editing? Anyway, today I thought: "Why not try one of these other editors in that VM and see, if I like any?"

Yesterday I looked again at LunarVim's website. While LunarVim seems to look pretty, it has a lot of dependencies, including pip, npm, and more. Seems like it is installing stuff from everywhere. Not so confidence inspiring, especially pip and npm installs.

And just now I see this Zed blog post linked on HN! But, unfortunately the website is not inspiring much confidence either. Can anyone explain to me, why I cannot see any _text_ on all of zed.dev, without running JS? I mean, I probably know the answer, or some possible answers, but man, that's already such a turnoff, I already doubt the editor is any good now. Would be good, if they could fix their website, and make simple text, simple text again, accessible and all that. Please get some craftsmanship into this website.

EDIT: 'pparently I said something some people don't want to hear, lol.
by llbbdd | 2025-09-03 16:24:35+00:00
I struggle to believe that anybody actually cares in this manner, because of the prevalence of bad faith analogies like this one. The trees are still there, and we get furniture. I am not Harper-Collins, I am not Random House. I didn't have a problem when collecting and presenting data like this was called a "search engine" and I don't know why I should believe it's worse now that it can also talk to me.
by CuriouslyC | 2025-09-03 16:24:35+00:00
This is doable, I have a multi-stage process that makes it pretty reliable. Stage 1 is ideation, this can be with a LLM or humans, w/e, you just need a log. Stage 2 is conversion of that ideation log to a simple spec format that LLMs can write easily called SRF, which is fenced inside a nice markdown document humans can read and understand. You can edit that SRF if desired, have a conversation with the agent about it to get them to massage it, or just have your agent feed it into a tool I wrote which takes a SRF and converts it to a CUE with full formal validation and lots of other nice features.

The value of this is that FOR FREE you can get comprehensive test defintions (unit+e2e), kube/terraform infra setup, documentation stubs, openai specs, etc. It's seriously magical.
by Borg3 | 2025-09-03 16:24:55+00:00
Oh, its simple. There are many many flavors of UNIX and only one Windows. Hence, I see LF as more portable way to store source code, thats why it is prefered. Additionally, im heavy CLI user so again, more geared toward UNIX systems.

If you develop on windows and only for windows, use CRLF all the way. Just do NOT forget to set .gitattributed correctly, and you are set.
by nis0s | 2025-09-03 16:24:55+00:00
Out of all of the tools we use to form and stabilize societies, religion is one of the most potent. But it’s still just that, a tool of our own making without any bearing on reality, or any cosmic consequences.

So, I think like any tool religion can be shaped or applied as needed, but for those religions which rely on linear-time fiction, the difference is that their usefulness is tied to their integrity, or how close they remain to their original forms. Luckily though, humanity has developed more than one tool for shaping minds and putting ideas to use. I hope people can divorce themselves, and their futures, from the stories they tell, and start probing reality how and where it matters. Religions are useful as philosophical frameworks more so than as recipes or prophecies.

It doesn’t make sense to me to put stock in any type of religion for determining the direction of societies or civilization at large, at least not in the 21st century. Why? They’re all incomplete in their analytical scope, and were borne from the minds of people who knew infinitely less than those who are present now. I think we can do better, and we should. We need better ideas, ones which do the cosmic improbability of the human mind some kind of justice.
by bennettnate5 | 2025-09-03 16:25:07+00:00
When support needs are infrequent enough on the customer end, this effectively becomes a market for lemons--a customer can't know how good your support is until they've bought your product, and by then it's too late for them. People can advertise world-class customer support for one-time purchases because the few customers that encounter the awful support won't move the needle that much compared to shifting money from long term support teams to sales teams.

That being said, I realize this dynamic is likely much different for frequent/long-term buyers such as B2B solutions where quality support does translate to better retention and word-of-mouth advertising.
by michaelmrose | 2025-09-03 16:25:12+00:00
They have argued in court against normal or indeed any due process; for stopping people purely based on race, language, and accent; against recognition of birthright citizenship and said that the next job after purging illegals is getting rid of the citizens who don't belong here.

Remember the immigration czar said if he had his way only 100M white folks would remain.

If those who are asserted without proof to be illegal can be sent to die in a foreign prison camp so can you.
by thomask1995 | 2025-09-03 16:25:20+00:00
I know I am about to get roasted. But hopefully someone suggests a killer tech-stack and I am proven wrong.

I really don't like coupling backend and front end, but at the same time, wanted extreme type safety on the REST API.

So I put together this very simple full stack TS boilerplate that syncs types via a shared folder.

Super lightweight, easy to extend, two seconds to set up.

Let me know what you think. Or roast me and suggest something better!
by TheNewsIsHere | 2025-09-03 16:25:26+00:00
There is also the added pressure that some organizations quietly pile on editors to keep people from clicking out to third parties at all, where their attention may wander away. Unless of course that third party is an ad destination.

Reputable news organizations are more robust against such pressures, but plenty of people get their news from (in some cases self-described) entertainment sites masquerading as news sites.
by johnisgood | 2025-09-03 16:25:30+00:00
Zed still takes a relatively long time to start on my old desktop. I thought something was wrong but no, it is just THAT slow. Emacs starts up faster than an empty Zed window, unfortunately. It is still way faster than IntelliJ but comparing it to that is a low bar.

VSCodium starts up faster for me than Zed which I compiled yesterday with release mode. Here I am referring to the time spent just on waiting for the window to start up, not the extensions and all that I am using with VSCodium, that takes time. I wonder why this is, that VSCodium shows the window quicker than Zed.

Regardless, I will give Zed a try with Go development. I assume Zed has extensions, too? Are there any extensions for Go? If so, I might replace VSCodium with Zed but only if it has similar features to VSCodium. If not, I will stick to VSCodium as there is no reason for me to change.
by causal | 2025-09-03 16:25:33+00:00
Hey I see you're quibbling on details, maybe because you feel determined to win an argument to save face or something. I must point out that nobody here cares whether you were wrong, and digging in your heels even after multiple people provided multiple examples just drags the conversation to unproductive places.

As I said in the first reply, there is very little behavior you cannot tie money to in some way, so you can go down this path forever of trying to find a reason why credit scores are totally valid proxies for all human behavior, and you would be technically correct while missing the point entirely.
by kenhwang | 2025-09-03 16:26:38+00:00
Top of my head switching between IntelliJ and Zed:

- Git UI is extremely barebones with no support for other VCS

- No merge tool or side-by-side diffs

- Configuration is all JSON

- Would be nice having a full file tree for the search editor instead of just the list; having the functionality split between a tab and the outline panel is quite clunky.

- Ability to move panels (files/git/console/debugger/etc) into standalone windows or other configurations (multiple docks per side, multiple copies of the same panel linked to a specific tab).

Zed is basically a slightly more featured text editor, so it does a good job when I just want to open something quickly and do small edits. So it's really replacing Sublime Text.

But I find myself hopping out to other tools when I'm using Zed which wasn't really common with IntelliJ. So I still want to use a proper IDE for proper development work.
by Borg3 | 2025-09-03 16:26:45+00:00
Cygwin does NOTHING under the hood, because I asked it to do nothing. I am aware of text mode of open() under Windows/Mingw. Im also aware of possibility to do CRLF <-> LF translation under cygwin. I never liked it, and I went to LF only quickly. Hence, I use it everywhere and live is easier :)
by PaulHoule | 2025-09-03 16:26:51+00:00
I hate the word "leverage" as a substitute for "use".

I remember this being absolutely endemic in the Microsoft world in the 00's but the first time I heard it was in the 1980s when the current commander-in-thief was a young upstart punk who leveraged the word "leverage" every chance he could get. For him the real use of leverage in business (e.g. "debt") rapidly turned a moderate-sized real estate empire into a hole in the ground and he recovered by becoming a television performer.