MurphyA/hacker-news huggingface dataset:
by jofla_net | 2025-09-30 14:46:45+00:00
True True, I remember another example, with Linus Torvalds, who at a conference used a trivial example of simplifying functions, as to why hes good at what he does, or what makes a good lead developer in general. It went something along the lines of.

"Well we have this starting function which clearly can solve the task at hand. Its something 99 developers would be happy with, but I can't help but see that if we just reformulate it into a do-while instead we now can omit the checks here and here, almost cutting it in half."

Now obviously it doesn't suffice as real-world example but, when scaled up, is a great view at what waste can accumulate at the macro level. I would say the ability to do this is tied to a survival instinct, one which, undoubtedly will be touted as something that'll be put in the 'next-iteration' of the model. Its not strictly something I think that can be trained to be achievable though, as in pattern matching, but its clearly not achievable yet as in your example from above.
by titzer | 2025-09-30 14:47:09+00:00
Conceptually they are almost identical, though Virgil has explicit source syntax for making a subrange. One important difference, according to [1] Span<T> can only live on the stack. There are no lifetime restrictions for Range<T> in Virgil.

[1] https://learn.microsoft.com/en-us/archive/msdn-magazine/2018...
by drbojingle | 2025-09-30 14:47:43+00:00
I've been vibe coding this and that all summer. I'm making a team retro clone for sprint retrospectives, a typeform like form builder and hosting, a Reddit client with AI analysis of trends and a few other things like in various stages of development. LLMs really help me move things forward. I have those first 3 up on vercel now and I'm going to push them to production in a while after I'm satisfied with stability and the like.
by rai92 | 2025-09-30 14:47:52+00:00
I'm building a mindfulness app to help people set daily intentions and practice gratitude — https://www.justfortoday.app/

It’s a free app called Just for Today, inspired by a poem I found in How to Stop Worrying and Start Living (amazing book).

Download here: https://www.justfortoday.app/

It’s completely free. No ads. No account. All offline. Everything stays on your device.

The poem is a gentle reminder: - You don’t need to fix everything today. - You just need to be present — Just for Today.

That simple idea became the heart of the app.

Each morning, the app invites you to: - Set a kind intention - Check in with how you’re feeling - Practice gratitude - Write a little — just for you

If you try it, I’d love to hear what you think. Thank you :D
by mcsniff | 2025-09-30 14:48:13+00:00
It's like default allow vs default deny. We know one is "safer" but everyone should have the choice.

Some people prefer to default allow and then they come up against a problem, decide to deny or continue allow.

Some people prefer default deny and when they come up against a problem, decide to allow or continue deny.

Start off using iCloud, become aware of problem, make a decision to try and self-host. Default allow, IMO.
by kentonv | 2025-09-30 14:48:22+00:00
I think you meant to link: https://github.com/cloudflare/capnweb/blob/main/protocol.md

I am so pleased that people find it boring! It was quite a puzzle to whittle it down to that point from the original monstrosity: https://github.com/capnproto/capnproto/blob/v2/c%2B%2B/src/c...
by otterley | 2025-09-30 14:48:26+00:00
Anthropic and the authors settled over a portion of the case involving the unauthorized copying of works that were used to train the model. Obtaining the works is a step that happens before the training has begun.

“the authors alleged nearly half a million books had been illegally pirated to train AI chatbots...”

Finally, a settlement isn’t a “win” from a legal perspective. It’s money exchanged for dropping the case. In almost every settlement, there’s no admission of guilt or liability.
by nabla9 | 2025-09-30 14:48:38+00:00
There is difference between news journalism and opinion journalism. In news journalism the goal is to inform public accurately of what happened. Opinion journalism does the analysis, commentary and point of view.

News journalism is hated because people can't be trusted to make their own opinions. You describe facts of a bribe and people just don't get it.

What people want to read:

Marxist: "The Capitalist Shell Game: Tech Oligarchs Pay Tribute to Their Neo-Fascist Puppet"

Democrat: "Tech Platforms Cede Ground to Trump, Caving on Content Moderation"

Center: "Trump's Legal Strategy Pays Off, Exposing Weaknesses in Big Tech's Defenses"

Right: "YouTube's $24.5 Million Payment Confirms Big Tech's Unjustified Censorship of Trump"
by lo_zamoyski | 2025-09-30 14:48:48+00:00
It is abstract in the strict sense, of course. Every science is, as "abstract" simply means "not concrete". All reasoning is by definition abstract in the sense it all reasoning by definition involved concepts, and concepts are by definition abstract.

Numbers, for example, are abstract in the sense that you cannot find concrete numbers walking around or falling off trees or whatever. They're quantities abstracted from concrete particulars.

What the author is concerned with is how mathematics became so abstract.

You have abstractions that bear no apparent relation to concrete reality, at least not according to any direct correspondence. You have degrees of abstraction that generalize various fields of mathematics in a way that are increasingly far removed from concrete reality.
by darknavi | 2025-09-30 14:49:01+00:00
Resignation? Doesn't that imply that they are choosing to leave?

> The resignations—which come as part of a program drawn up by President Donald Trump at the start of his second administration—will happen on Tuesday as Congress is facing a deadline on the same day to authorize more funding or risk a government shutdown.

> If there is no deal, the White House has ordered federal agencies to make plans for the large-scale redundancies.
by namibj | 2025-09-30 14:49:11+00:00
Last I read them, electricity tax was only applicable for sale and certain situations that involve transferring power across parcel/plot boundaries. An entity is allowed to generate it's own local solar power for own local consumption, and for that it's perfectly fine to rent/lease the equipment/panels but you can't just tax-free buy electricity itself outside some limited situations that are to allow e.g. an apartment tower to use solar panels as cladding to then sell the power to the tenants instead of forcing every tenant to lease their own electrically independent section of the facade.
by kjs3 | 2025-09-30 14:49:44+00:00
Yes, that was an interesting option, though not nearly as cheap on a lifecycle basis as one might hope. I don't know of anyone who upgraded this way, but obviously someone did. My clients who converted ran the HP-PA machines, brought in Itaniums, migrated and retired the HP-PA when they were amortized (or kept running code that didn't get the merced treatment).
by samcollins | 2025-09-30 14:50:08+00:00
Re 19, I made this with an iOS Shortcut a few weeks ago

> A minimal voice assistant for my Apple Watch. I have lots of questions that are too complicated for Siri but not for ChatGPT. The responses should just be a few words long.

Use Dictate Text action to take voice as input, pass the text to OpenAI API as the user message with this as the system prompt:

“CRITICAL: Your response will only be shown in an iOS push notification or on a watch screen, so answer concisely in <150 characters. Do not use markdown formatting - responses are rendered as plain text. Do use minimalist, stylish yet effective vocabulary and punctuation.

CRITICAL: The user can not respond so do not ask a question back. Answer the prompt in one shot and if necessary, declare assumptions about the users questions so you could answer it in one shot, while making it possible for the user user to repeat ask with more clarity if your assumptions were not right.”

It works well. The biggest annoyance is it takes about 5-20s to return a response, though I love that it’s nearly instantaneous to send my question (don’t need to wait for any apps to open etc)
by OskarS | 2025-09-30 14:50:47+00:00
You can do that by using mkfifo relatively easy, but I take your point. In that sense, the most "flexible" language is pure C, because you can do anything there. I guess a better word is "ergonomic": if you want to do `curl something | grep whatever > output.txt` in C or Python or whatever other general purpose language, it's MUCH more difficult. Writing lines like that is trivial for me in shell scripting, I just did it in this comment. If I had to do it in Python, I would have to spend 20 minutes studying the precise flags to pass to subprocess.Popen and think really hard about which streams to call .close() on and when. God help me if I was doing it in C and using fork()/exec().

This is the shell scripting super-power, all this stuff is just trivial.
by citizenpaul | 2025-09-30 14:50:49+00:00
You all are getting way to much into money theory. If a credit card processor charges 2-5% per purchase the business is going to pass that cost directly to the customer. Its not "inflation the definition" but it causes all prices to go up as they include that in their price model. Even if you don't use a credit card. Very few large business give a cash discount to consumers.
by empath75 | 2025-09-30 14:50:53+00:00
Quite the opposite, Plato, several hundred years before Euclid was already talking about geometry as abstract, and indeed the world of ideas and mathematics as being _more real_ than the physical world, and Euclid is very much in that tradition.

I am going to quote from the _very beginning_ of the elements:

Definition 1. A point is that which has no part. Definition 2. A line is breadthless length.

Both of these two definitions are impossible to construct physically right off the bat.

All of the physically realized constructions of shapes were considered to basically be shadows of an idealized form of them.
by danmaz74 | 2025-09-30 14:50:54+00:00
Having worked on quite a few legacy applications in my career, I would say that, as for so many other issues in programming, the most important solution to this issue is good modularization of your code. That allows a new team to understand the application at high level in terms of modules interacting with each other, and when you need to make some changes, you only need to understand the modules involved, and ideally one at a time. So you don't need to form a detailed theory of the whole application all at the same time.

What I'm finding with LLMs is that, if you follow good modularization principles and practices, then LLMs actually make it easier to start working on a codebase you don't know very well yet, because they can help you a lot in navigating, understanding "as much as you need", and do specific changes. But that's not something that LLMs do on their own, at least from my own experience - you still need a human to enforce good, consistent modularization.
by irusensei | 2025-09-30 14:51:16+00:00
According to https://nostr.watch there is a considerable number of operational relays.

From what I understand from BlueSky is that personal PDS can host accounts and content but the network depends on big hubs like the main bluesky instance. It almost feels more like a convenient cost cutting strategy from the company behind BlueSky than actual decentralization. Correct me if I'm wrong.

This sounds worse than Mastodon. As for Nostr is more of a one to many system where a user would sign a message and post it to a bunch of relays where it can be fetched all while said message itself contains hints where to find it.
by adamddev1 | 2025-09-30 14:51:30+00:00
The difference is not just a jump to a higher abstraction with natural language. It's something fundamentally differet.

The previous tools (assemblers, compilers, frameworks) were built on hard-coded logic that can be checked and even mathematically verified. So you could trust what you're standing on. But with LLMs we jump off the safely-built tower into a world of uncertainty, guesses, and hallucinations.
by robin_reala | 2025-09-30 14:52:29+00:00
I used Duolingo a fair bit in 2015–2017 to improve my Swedish, and generally enjoyed myself. Having not touched it for most of a decade, I downloaded it earlier this year to try my hand at basic Greek and wow but it’s gone downhill. Everything is massively over the top, all subtlety has left the system, and when I stopped after a couple of days because I couldn’t deal with the intensity they sent me nagging messages for over two weeks in more and more pleading tones trying to get me to come back. I’d never use them again at this point.

Edit: just went to delete my account and they’ve got a tearful owl above the “Erase personal data” button to try to guilt-trip me into staying. https://drive-thru.duolingo.com/static/owls/sad.svg
by underdeserver | 2025-09-30 14:53:03+00:00
Don't give up. You can do it.

You should start with the Beginner's Quest CTF, by implementing a writeup's solution without looking at the writeup's actual code, and by playing other CTF style challenges such as Overthewire's Bandit.

https://capturetheflag.withgoogle.com/beginners-quest

https://overthewire.org/wargames/bandit/
by HankStallone | 2025-09-30 14:53:10+00:00
Unfortunately, she doesn't say what kind of fence she's talking about. The kind of fancy privacy fence people put up between yards, maybe; but I'd be impressed if they're cheaper than livestock fence, which is the context some people are talking about in this thread. A typical cattle fence (woven wire, steel posts, barbed wire on top) will cost about $2500 per quarter-mile right now for the materials.

I'm not sure what a quarter-mile of solar panels four feet high would cost, or whether they'd survive the occasional cow rubbing on them. Neat idea, though.
by namibj | 2025-09-30 14:53:10+00:00
Mind you higher powers just need a licensed electrician to sign off and usually also have them permanently wire it in as those setups won't need an AC side plug so the costs of essentially a generator hookup over a fixed tie-in isn't worth it, and they require notifying the local grid. Might be that beyond 10kWp the grid can tell you sorry-capacity-not-ready (but the grid will have to fix that soon, there are rules) but yeah.
by mc32 | 2025-09-30 14:53:17+00:00
ICE doesn’t do law enforcement against citizens. It does affect citizens tangentially but not directly. ICE will not come after citizens for crimes. That would be regular local police, state police or FBI/ATF, etc. ICE is immigration enforcement. Some people may not like that especially illegal residents but it would be a poor way to affect citizens like fascists or communists did.
by Ardren | 2025-09-30 14:53:51+00:00
> I very much doubt that's the main issue - the multithreaded sqlite performance makes me wonder if something's up with our fsync performance. I'll wait to see the results with the DKMS version, and if the numbers are still bad I'll have to see if I can replicate it and start digging.

https://www.phoronix.com/forums/forum/software/general-linux...
by rtkwe | 2025-09-30 14:54:03+00:00
Yeah the only real plus I could see to putting it outside would be if you made it part of a fully assembled set with the boosters and fuel tanks but then you couldn't see all the little details that I personally love from seeing it up close and knowing this thing that's 10 feet from me went to space. You could put a replica up if you were doing the fully assembled version and get just as big an impact because the flaws in the replica would be hidden by distance.
by gs17 | 2025-09-30 14:54:13+00:00
I've tried learning apps with LLMs and part of the issue is that you can't have much of a conversation early on. A conversation of "how many cats do you have?" "I have two cats" "what color are your cats", etc., isn't much different than the non-AI lessons. At the point where it would be really useful, the other options you mentioned are much better choices.
by wiremine | 2025-09-30 14:54:18+00:00
> I suspect that there is a strong correlation between programmers who don't think that there needs to be a model/theory, and those who are reporting that LLMs are speeding them up.

I also strongly agree with Lamport, but I'm curious why you don't think Ai can help in the "theory building" process, both for the original team, and a team taking over a project? I.e., understanding a code base, the algorithms, etc.? I agree this doesn't replace all the knowledge, but it can bridge a gap.
by nerdjon | 2025-09-30 14:54:27+00:00
> Hallucinations have been reduced.

Do you have any studies or data to back this up other than "trust us" from the companies pushing the models?

And how much "reduced". It is still a fundamental issue that is just being pushed under the rug since it is inconvenient for them to talk about anymore.

> There are, in fact, reasoning models.

Simulated (fake) reasoning models. They are still fundamentally LLM's talking to itself which goes back to the fundamental issue of hallucination and a complete inability for anything original.

Also this "reasoning" has been shown in multiple studies to fall flat on its face with complex issues because it is not true reasoning. There is no intelligence or "thinking" behind it.

> The "ifs" are not as theoretical as you imply.

My reason for saying it is because it always seems when someone is critical of claims being made the response is 1 of 2 things.

1. Trying to ignore the concerns and just say that it can already do X, its magic, its whatever.

Or 2. It is all about the promise. All about what it may supposedly one day be able to do "if" we can just fix this one thing that isn't somehow a huge fundamental issue.
by EGreg | 2025-09-30 14:54:38+00:00
Ah, color me shocked that capitalism leads to enshittification over time. Why would people embed a for-profit third party platform in their Web 1.0 site and let them do whatever they want? Because they don’t have the software to do “social” Web 2.0 stuff themselves.

Perhaps there should be an open source alternative. Why isn’t there one by now?
by Retric | 2025-09-30 14:54:51+00:00
Exclusively training on 15 year source code would make code generation significantly less useful as API’s change.

Economic viability and utility for AI training are closely linked. Exclude all written works including news articles etc from the last 25 years and your model will know nothing about Facebook etc.

It’s not as bad if you can exclude stuff from copyright and then use that, but your proposal would have obvious gaps like excluding works in progress.
by pgustafs | 2025-09-30 14:55:06+00:00
The definition of bijection is much more interesting than comparing cardinals. Many everyday use cases where (structure-preserving) bijections make it clear that two apriori different objects can be treated similarly.

More generally, mathematics is experimental not just in the sense that it can be used to make physical predictions, but also (probably more importantly) in that definitions are "experiments" whose outcome is judged by their usefulness.
by honorable_coder | 2025-09-30 14:55:10+00:00
Hi HN — we're the team behind Arch-Router (https://huggingface.co/katanemo/Arch-Router-1.5B), A 1.5B preference-aligned LLM router that guides model selection by matching queries to user-defined domains (e.g., travel) or action types (e.g., image editing). Offering a practical mechanism to encode preferences and subjective evaluation criteria in routing decisions.

Today we’re extending that approach to Claude Code via Arch Gateway[1], bringing multi-LLM access into a single CLI agent with two main benefits:

1. Model Access: Use Claude Code alongside Grok, Mistral, Gemini, DeepSeek, GPT or local models via Ollama.

2. Preference-based Routing: Assign different models to specific coding tasks, such as – Code generation – Code reviews and comprehension – Architecture and system design – Debugging

Why not route based on public benchmarks? Most routers lean on performance metrics — public benchmarks like MMLU or MT-Bench, or raw latency/cost curves. The problem: they miss domain-specific quality, subjective evaluation criteria, and the nuance of what a “good” response actually means for a particular user. They can be opaque, hard to debug, and disconnected from real developer needs.

[1] Arch Gateway repo: https://github.com/katanemo/archgw
by masklinn | 2025-09-30 14:55:14+00:00
> Depending on where you live a system that allows to manually change the tilt of your pannels once per month could be nice. You get a free 5-15% boost, where I am in Europe the optimal yearly tilt is ~40 degrees, in peak winter the optimal tilt of ~70 degrees would shed snow much more easily.

Yup, that's what I was referring to as a tilting mount in the original comment, a pivot and tracks to tilt the panels up/down to set them at whatever's optimal for your latitude and time period, or completely vertical if you're in a snow-heavy region.

The necessary engineering might not be worth it anyway, given current panel prices, unless space is a bit of a premium.
by Analemma_ | 2025-09-30 14:55:22+00:00
I recently upgraded from an XT-3 to an XT-5, but loved my XT-3 and would still recommend it as a good purchase if you can find a decent deal on one in good condition. Fuji’s AF is not the best in the business, so I wouldn’t recommend one if you’re planning on using it for e.g. sports photography, but apart from that the XT series has no real downsides. The physical dials for ISO+exposure+shutter speed are fantastic and Fuji’s color processing makes images that I just enjoy looking at, even if they’re not as strictly neutral and accurate as what you’d get from someone else.
by rectang | 2025-09-30 14:55:28+00:00
> In your world, is there such a thing as a bad employee?

Of course — I implied as much via the “inappropriately cynical“ characterization.

The tension between capital and labor is inescapable and ancient.

I didn’t think you were generalizing to all juniors. Rather, what caught my interest was that before this last message I perceived the perspective of capital in your words.
by wahnfrieden | 2025-09-30 14:55:31+00:00
This employee organized and led explicitly Nazi ideology hate campaigns. Freedom of speech applies to government. I still don't understand the need to hire organizers of Nazi hate campaigns that advocate for extermination, or (maybe you accept this though) for the responsibility of the public to avoid criticism or organizing boycott of businesses for hiring individuals that publicly advocate for exterminating them. The issue isn't illegality, or advocacy for anything in general, but public advocacy for extermination (of Jews, black people etc.), understanding that a government does not make that illegal (which I didn't advocate for changing).

The username is irrelevant and older than CloudFlare hiring Nazis
by wiesbadener | 2025-09-30 14:55:50+00:00
Hi Simon,

I share your worries on this topic.

I saw you experiment a lot with python. Do you have a python-focused sandboxed devcontainer setup for Claude Code / Codex you want to share? Or even a full stack setup?

Claude's devcontainer setup (https://github.com/anthropics/claude-code/tree/main/.devcont...) is focused on JS with npm.