MurphyA/hacker-news huggingface dataset:
by fc417fc802 | 2025-12-14 03:46:13+00:00
It seems we are largely talking past each other.

> Physical or intellectual should not matter, it is something that belongs to someone and only that person should be allowed to decide how it gets used.

I categorically reject that position. No one has any inherent right to prevent me from imitating him. Quite the opposite - it is good and natural to imitate others. The restriction of that ability is one of the costs of modern society.

> I've argued that LLM training is derivative work, that reasoning is sound AFAICT

Depending on the working definition of "derivative work" which (as you note) has yet to be fully litigated and is also likely to vary to at least some extent between jurisdictions.

But anyhow, my central question was not "is this derivative work" but rather "ought this to be considered as such" hence my comment that we are talking past one another.
by yjftsjthsd-h | 2025-12-14 03:48:35+00:00
> As much hate as systemd gets, I do think being declarative (and doing so in a DSL that's not a programming language) and having a true process "supervisor" is a better model.

I've been playing with dinit for a bit now; it combines a lot of the nice advantages of systemd with a finite scope and being portable across OSs.
by jonahx | 2025-12-14 03:48:50+00:00
Not a joke, and a famous piece of J lore!

There have a been at least a couple attempts I've seen posted here of blog posts breaking down the code in a beginner friendly way. One I dug up is: https://blog.wilsonb.com/posts/2025-06-06-readable-code-is-u...

Related: https://needleful.net/blog/2024/01/arthur_whitney.html
by devdp430 | 2025-12-14 03:49:00+00:00
I use AI at work. We have a huge codebase in Golang.

1000s of files.

I had tried cursor, claude code, gemini cli, openai codex and all sorts of vscode based idea (like windsurf, antigravity etc). All of them get overwhelmed when there is something to implement or change in the codebase primarily due to the amount of code.

But I like aider. I had better capabilities and is controllable, you can try. And if you use it with latest claude sonnet or gemini 2.5 pro it will be most accurate. Adding files is a manual process but it has nearly 100% code accuracy.

And it will never change anything without your knowledge.

You can try it.
by varenc | 2025-12-14 03:49:46+00:00
Lots of people already have Apple TVs and the Tailscale integration is pretty good and can serve as an always online exit node. So no new hardware required. Could even remotely walk a non-techie through the process without too much effort.

personally, I've just upgraded my family's wifi to Ubiquiti and can then use Tailscale Wireguard running on the gateway as a proxy! (with their permission)
by ceejayoz | 2025-12-14 03:49:47+00:00
Turns out you can basically hand-wave it away.

https://apnews.com/article/sheep-solar-texas-climate-333e721...

https://www.nrel.gov/news/detail/features/2025/solar-panels-...

Certainly more so than, say, https://en.wikipedia.org/wiki/Hambach_surface_mine.
by dmix | 2025-12-14 03:50:07+00:00
That ignores a huge part of how spam detection works. It’s way more complex than buying some accounts.

You’d need thousands of IP addresses / proxies that aren’t flagged and a non suspicious phone number, plus various other signals like browser automation detection and other advanced bot detection.

There’s a reason those Asian spam offices are like slave camps. They use real people because they need to. It’s a whole sophisticated operation.
by SoftTalker | 2025-12-14 03:50:53+00:00
You should use the bedding setting for large quilts and blankets, and the towels setting for towels, it really does work better. Experiment with the other settings so you can see the difference in wash time, water levels, spin speed and then you know which one to choose based on what you want for that load.

Oh and separate your laundry. Don't throw towels, blankets, and clothes in all at the same time.
MartSpace
by rb-rbloxk | 2025-12-14 03:52:36+00:00
MartSpace is a global B2B2C marketplace connecting verified suppliers and buyers. Key features include:

Verified Supplier Network: Access a curated network of trusted suppliers.

Global Reach: Connect with businesses worldwide.

B2B2C Functionality: Facilitates both business-to-business and business-to-consumer transactions.
by keepamovin | 2025-12-14 03:53:48+00:00
This is cool, thank you!

Some things I found from my own interactions across multiple models (in addition to above):

- It's basically all about the importance of (3). You need a feedback loop (we all do). and the best way is for it to change things and see the effects (ideally also against a good baseline like a test suite where it can roughly guage how close or far it is from the goal.) For assembly, a debugger/tracer works great (using batch-mode or scripts as models/tooling often choke on such interactivie TUI io).

- If it keeps missing the mark tell it to decorate the code with a file log recording all the info it needs to understand what's happening. Its analysis of such logs normally zeroes the solution pretty quickly, especially for complex tasks.

- If it's really struggling, tell it to sketch out a full plan in pseudocode, and explain why that will work, and analyze for any gotchas. Then to analayze the differences between the current implementation and the ideal it just worked out. This often helps get it unblocked.
by AndrewKemendo | 2025-12-14 03:54:38+00:00
You know some of us old timers still remember a time before people just totally abandoned the concept of having functional definitions and iso standards and things like that.

Funny how we haven’t done anything on the scale of Hoover Dam, Three Gorges, ISS etc…since those got thrown away

User Experience also means something specific in information theory and UX and UML is designed to model that explicitly:

https://www.pst.ifi.lmu.de/~kochn/pUML2001-Hen-Koch.pdf

Good luck vibe architecting
by r0b05 | 2025-12-14 03:55:01+00:00
Yes, the privacy is amazing, and there's no rate limiting so you can be as productive as you want. There's also tons of learnings in this exercise. I have just 2x 3090's and I've learnt so much about pcie and hardware that just makes the creative process that more fun.

The next iteration of these tools will likely be more efficient so we should be able to run larger models at a lower cost. For now though, we'll run nvidia-smi and keep an eye on those power figures :)
by et1337 | 2025-12-14 03:55:44+00:00
If something is difficult or scary, do it more often. Smaller changes are less risky. Code that is merged but not deployed is essentially “inventory” in the factory metaphor. You want to keep inventory low. If the distance between the main branch and production is kept low, then you can always feel pretty confident that the main branch is in a good state, or at least close to one. That’s invaluable when you inevitably need to ship an emergency fix. You can just commit the fix to main instead of trying to find a known good version and patching it. And when a deployment does break something, you’ll have a much smaller diff to search for the problem.
by schoen | 2025-12-14 03:55:58+00:00
You might want to have tubes with both Presta and Schrader valves (to match the existing tube on the other tire). Theoretically you could use either, but some rims might have a hole that's only small enough for a Presta valve (so I guess that makes Presta slightly more compatible in an emergency!).

I agree that there's flexibility in the sizes. When I wanted to stock up my work's garage with spare bike tires, I got four kinds in total (basically a small Presta, a small Schrader, a large Presta, and a large Schrader). This officially covered pretty much every common road and hybrid or mountain bike with something that was officially rated or matched to it. But yes, as far as I know, one could probably get by in practice with fewer than that and use things that are officially slightly mismatched.

Specifically, I got the Specialized "Standard Schrader" 700x20-28c and 700x28-38c, and "Standard Presta" 700x20-28c and 700x28-38c tubes (the smaller ones more likely for road bikes, the larger ones more likely for mountain bikes). These are about $8 each in the U.S., so a total of about $32 for the set of four. 700c is increasingly common, although there are several other diameters that have been or are being used.

Just having a bike pump can be pretty helpful in many circumstances!
by reincoder | 2025-12-14 03:58:23+00:00
I work for IPinfo. I have raised a ticket internally, but I think we focused on consumer VPNs for this test.

For our ProbeNet, we are attempting to reach 150 countries (by ISO 3166's definition). We are at around 530 cities. Server management is not an easy task. We do not ship hardware, but operate using dedicated servers, so this reduces one layer of complexity.

To maintain the authenticity of our server locations, we utilize cross-pings and network traffic behavior detection. If any abnormality is detected, the server will be immediately disabled to prevent polluting our data. There will be a ticket to investigate what went wrong.

We pay for each (excluding 3 to 4 servers where the owner and the team really likes us and insists on sponsoring) server. Expansion is an active effort for us, as there are 70k ASNs and about 100 more countries where we do not have a server.

We hope to partner with more ASNs, particularly residential ISPs and IXPs. So, a lot of effort is put into active outreach through WhatsApp, emails, social media and phone calls. We use a number of different data-based techniques to identify "leads".
by cons0le | 2025-12-14 04:00:12+00:00
I use the Boox 10.3 for reading emails, text-based sites like this, and manga. Its bliss and has replaced 80% of my ipad. The experience of using it outside completely trounces normal screens.

As soon as they make larger, better 60hz panels I will 100% switch all my monitors over. I think making videos look worse is a positive. We don't need doomscrolling. We don't need 60fps react buttons with smooth gradients. We don't need to HDR the entire web. I primarily use text based sites anyways, so eink is perfect for me.
by wakawaka28 | 2025-12-14 04:00:42+00:00
>The trouble with formal specification, from someone who used to do it, is that only for some problems is the specification simpler than the code.

I think most problems that one would encounter professionally would be difficult to formally specify. Also, how do you formally specify a GUI?

>The proofs are separate from the code. The notations are often different. There's not enough automation. And, worst of all, the people who do this stuff are way into formalism.

I think we have to ask what exactly are we trying to formally verify. There are many kinds of errors that can be caught by a formal verification system (including some that are in the formal spec only, which have no impact on the results). It may actually be a benefit to have proofs separate from code, if they can be reconciled mechanically and definitively. Then you have essentially two specs, and can cross-reference them until you get them both to agree.
by dmix | 2025-12-14 04:02:08+00:00
They’d probably have to outsource it. It’d be very expensive hiring thousands of people to do it in Europe full time and they have to be native Russian/hungarian speakers to not get immediately caught. They’d have to be connected to the pulse of the local culture.

Popular posts on Twitter, Facebook etc have tens of thousands of likes and comments. It’d be a major operation to do it and might not push the needle.

The scale of the Russian one caught in the US in 2016 was pretty small. They were spent about $400k on FB/twitter while the campaigns spent about $2 billion and PACs spent $4 billion (about 15,000x more).
by bgbntty2 | 2025-12-14 04:03:38+00:00
Why separate laundry? I've tried it in the past, but don't do it anymore. Same result. The stains that can be cleaned get cleaned. The stains that would persist, persist. The only difference is the temperature setting.

As for separating colors - in my life I've had a piece of clothing stain other clothes 2 or 3 times. Once I put some white shirts and they came out pink because of another red shirt. Funny thing is, the pink was very uniform, so it looked as if the shirts were originally pink.

If my washing machine breaks, I'll get a second hand one. If I get a brand new washing machine, it will have to have a manual mode where I can set the desired program manually. For example, what is "towel setting"? If I can't see and modify the setting (e.g., A temperature for B minutes at C RPM, then D temp for E min for F RPM, etc.), I wouldn't use it.
by larodi | 2025-12-14 04:03:50+00:00
Microsoft did take over Nokia much later than the N900. In fact, Nokia lost value after iPhone showed, and it is only when MS could take over it. And the Android is a side effect of the fact that the .NET was not ready to run existing phones, and Microsoft decided to release the WindowsPhone as non-Nokia branded one.

My BSD statement stays, though, MS did some very good work with the WinPhones, and in fact they were super snappy and useful, very close to what iPhones were at the time. And let's not forget, that the flat looks of (not sure which macos) was directly influenced by these winphones...
by btilly | 2025-12-14 04:04:30+00:00
This kind of reminds me of my brother's first trip to Taiwan.

This was in the 1980s. (Before cellphones.) The guy who was supposed to pick him up didn't show up because his motorcycle broke down. And couldn't get it fixed because it was Chinese New Year.

My brother arrived, not speaking any Chinese, surrounded by people who didn't speak any English. Who were having the biggest party that my brother had ever seen, and kept giving him food and inviting him places! He had absolutely NO idea what was going on!

After a few days of this, the person who was supposed to meet him finally managed to arrive, and my brother was hooked. Spent most of the next two decades in Taiwan.
by skeptrune | 2025-12-14 04:04:38+00:00
You should make sure that your queries to the agent contain a "loop condition"[1]. This can be something like "keep trying until yarn test passes".

Always remember that these agents are just LLMs running tools in a loop and treat them as such.

[1] https://www.skeptrune.com/posts/prompting-the-agent-loop/
by Telaneo | 2025-12-14 04:08:20+00:00
Also, holodecks are limited in number. Voyager had two, and during one episode where the plot point was that they were in an area of space with literally nothing, the holodecks were in such high demand they had to schedule time there so everybody got a bit each. With Voyager having 150~ people onboard, I can easily imagine that sucking. The Enterprise had more holodecks (4-6~?), but with around 1000 people onboard, if they were in the same situation of there being nothing to do, the Holodecks would probably have been equally crowded.
by philistine | 2025-12-14 04:08:43+00:00
Ok so now we’re not only boycotting Apple, we’re boycotting banks as well! Seriously, Apple can and should fix this issue without having to retort to misery for everyone.

Apple could release a statement reassuring people that no one will be locked out of their account for redeeming any gift card going forward. We have collectively forgotten that companies have stopped talking this way. That’s what we need to change.
by gpm | 2025-12-14 04:08:54+00:00
https://jj-for-everyone.github.io is the most approachable jj tutorial I've seen. I wouldn't say it focuses on workflows, but it does take a "learn by doing" approach a bit more than the "data model first" approach it sounds like you might prefer.

It's still a young tool, it's not surprising that tutorials are a bit lacking (honestly there are surprisingly many for its age). Maybe be the change you want to see in the world and make one? (Which would be an... interesting... way to learn the tool for sure).
by cjflog | 2025-12-14 04:10:11+00:00
100% this, I built laboratory.love almost entirely with my voice and (now-outdated) Claude models

My go-to prompt finisher, which I have mapped to a hotkey due to frequent use, is "Before writing any code, first analyze the problem and requirements and identify any ambiguities, contradictions, or issues. Ask me to clarify any questions you have, and then we'll proceed to writing the code"
by heavenlxj | 2025-12-14 04:11:10+00:00
We take this concern very seriously.

We are currently re-reviewing the models we support and will not rely on front-end filtering alone. In addition to stricter automated checks, we’re increasing human review where appropriate and adding safeguards at multiple layers of the system.

We’re actively evaluating further measures and, if necessary, will remove or restrict certain models as we iterate.

Thanks for raising this — it’s an important discussion and one we’re addressing carefully.
by Ninjasaan | 2025-12-14 04:11:20+00:00
I have been advised to use the following template, which I have just now sent. I'll report back with what happens...

email: privacy@substackinc.com (and cc tos@substackinc.com)

"I am an Australian resident requesting the immediate deletion of my account and all associated data under the Australian Privacy Principles (APP 12). Substack has made it impossible for me to delete my account via the standard interface without submitting to invasive biometric verification, which I refuse to do. I am instructing you to terminate my account associated with this email address immediately. If you require verification, verify this request by replying to this email address, which proves my ownership of the account. If you refuse to delete my data without government ID, I will lodge a formal complaint with the OAIC (Office of the Australian Information Commissioner) for holding my data hostage."
by makeitdouble | 2025-12-14 04:12:39+00:00
I'm trying to understand what you see as a really independent service with nothing shared.

For instance if company A used one of the GCP logging stack, and company B does the same. GCP updates it's profuct in a way that strongly encourages upgrading within a specific time frame (e.g. price will drastically increase otherwise), so A and B do it mostly at the same time for the same reason.

Are A and B truly independent under your vision ? or are they a company-spanning monolith ?
by reincoder | 2025-12-14 04:12:54+00:00
I work for IPinfo. I am not sure what routing tricks Proton uses. I have looked into the smart routing and stealth protocol related documentation. I am not sure if Proton does anything unique when it comes to IP location. I am not saying this officially, but I am just curious here.

Smart routing documentation: https://protonvpn.com/support/how-smart-routing-works

'Virtual' VPN server geolocation involves informing IP geolocation providers that their Singaporean servers are located in India. We looked into data and latency-based locations, but the industry at large uses self-reported location information for their data. So, if you use a service that uses IP geolocation provider (that is not us) they will just tell them that the Singaporean IP address is located in India, because that is the information they have and they do not have any other ways to verify it. But at the end of the day, the location information is coming from the VPN itself.

I could be wrong, and there could be technology and technique I am missing, so I am happy to learn. The blog is written by our founder who is accessible to the Proton team if they want to share their feedback with us.
by wakawaka28 | 2025-12-14 04:13:03+00:00
I don't see why two LLMs together (or one, alternating between tasks) could not separately develop a spec and an implementation. The human input could be a set of abstract requirements, and both systems interact and cross-check each other to meet the abstract requirements, perhaps with some code/spec reviews by humans. I really don't see it ever working without one or more humans in the loop, if only to confirm that what is being done is actually what the human(s) intended. The humans would ideally be able to say as little as possible to get what they want. Unless/until we get powerful AGI, we will need to have technical human reviewers.
by bccdee | 2025-12-14 04:13:04+00:00
Because the system package repository doesn't package everything & isn't always up to date. And if you introduce other repos to fix this, then you have an ecosystem with multiple instances of the same package distributed at different versions in different repositories, and God help you if you need multiple versions of one package, or if you need a different version of Python entirely. Nix could do it, but not anything else.

No—system python is for the system's scripts, and user projects should have their dependencies sandboxed in a virtual environment. That's the only model that really works.
by larodi | 2025-12-14 04:13:15+00:00
Good design of the packaging has nothing to do with underlying OS, unless say it overheats a lot. TBH, the N900 had a fair design, I've used one, not talking from a bystander view, and it was good indeed. Save for the keyboard that perhaps costs 30% the device in order to be where it was (sliding and all). But also, the Nokia Nx's were slow as hell compared to iOS.

> The underlying OS makes no difference. perhaps you've never experienced the bliss after setting up a BSD that just works 10 years after... and have never experienced the incredibly stable and snappy multiprocessing this miracle of a kernel (and OS) exhibits for decades now.

Let me tell you something - 20 years ago Linux was slow and unstasble as shit, and even slower on embedded. On the other hand FreeBSD and other BSD-derivates were super stable, but took more effort to setup and work with. They did not have the UI though, what Apple did was to wire their half-baked NeXT-inherited GUI on top of it and it flied.

I'm not even going to comment on the abomination called ObjectiveC, but matter of fact - the underlying OS workings were done in a brilliant way, WHICH, more than everything else enabled all the glitter tossed over the UI that you guys love so much. Like, there's a reason for game engines being written in C++ and not Python, right? Still a programming language though...

Sure lot of people adore what Sir Jony Ive did to the overall look and packaging of these products, and for a reason. But what truly distinguishes all these Mac products is what they can get out the hardware.

Sorry, but win3.11 did not work well on a 128kb RAM device. I've followed everything MS released since DOS 3.30 and witnessed firsthand the evolution of Linux and many of the distros. Nothing comes close to what Apple could do and is still doing with their hardware/software. No matter if you like Tim Cook (me personally - not) or Steve Jobs (very inspiring guy).

One of the reasons MacOS could draw attention from developers, who now form very important part of the user-base, is the fact they have a Unix-like thing at their disposal, and a very fast unix-like thing with some sort of a not-so-disgusting UI (wait for MacOS 26 though).

Nobody cares about darn window shadows, edges, or the unreasonable animation effects that we'd be turning off sooner or later.
by dxdxdt | 2025-12-14 04:14:10+00:00
I did the same. Was genuinely curious. Didn't get much from it. I'm still confused.

The code base is huge for an LLM to handle, perhaps it was generated over multiple prompts idk. Not sure if someone can train a model on the kernel code or exfatprogs and generate the code. I doubt someone with such expertise would even go through the process when they can just write the code themselves which is much easier.
by creatonez | 2025-12-14 04:15:52+00:00
When it comes to VMs, most things are solved and have near native performance, but desktop graphics are not. Due to limitations in GPU architecture, you usually have to dedicate an entire GPU to the VM to have reasonable graphical acceleration. Qubes doesn't solve this either, IIRC the apps running in VMs are glued to the host with X11 forwarding without any acceleration support.