MurphyA/hacker-news huggingface dataset:
by the_gipsy | 2025-11-15 08:01:00+00:00
> This is why unused dependencies are a compile time error.

https://go.dev/doc/faq?utm_source=chatgpt.com#unused_variabl...

> There are two reasons for having no warnings. First, if it’s worth complaining about, it’s worth fixing in the code. (Conversely, if it’s not worth fixing, it’s not worth mentioning.) Second, having the compiler generate warnings encourages the implementation to warn about weak cases that can make compilation noisy, masking real errors that should be fixed.

I believe this was a mistake (one that sadly Zig also follows). In practice there are too many things that wouldn't make sense being compiler errors, so you need to run a linter. When you need to comment out or remove some code temporarily, it won't even build, and then you have to remove a chain of unused vars/imports until it let's you, it's just annoying.

Meanwhile, unlinted go programs are full of little bugs, e.g. unchecked errors or bugs in err-var misuse. If there only were warnings...
by Kiboneu | 2025-11-15 08:05:22+00:00
Yeah. It’s very common to notice anomalies inside of a dream. But the anomalies weave into the dream and feel normal. You don’t have much agency to enter a lucid state from a pre-lucid dream.

So the idea is to develop habits called “reality checks” when you are awake. You look for the broken clock kind of anomalies that the grandparent comment mentioned. You have to be open to the possibility of dreaming, which is hard to do.

Consider this difficulty. Are you dreaming?

…

…

How much time did it take to think “no”? Or did you even take this question seriously? Maybe because you are reading a hn comment about lucid dreams, that question is interpreted as an example instead of a genuine question worth investigating, right? That’s the difficulty. Try it again.

The key is that the habit you’re developing isn’t just the check itself — it’s the thinking that you have during the check, which should lead you to investigate.

You do these checks frequently enough you end up doing it in a dream. Boom.

There’s also an aspect of identifying recurring patterns during prelucidity. That’s why it helps to keep a dream journal for your non-lucid dreams.

There are other methods too.
by jiggawatts | 2025-11-15 08:05:50+00:00
https://creately.com/blog/customer/10-free-google-wave-invit...

https://www.newschoolers.com/news/read/Got-Google-Wave-Invit...

https://bolesblogs.com/2009/10/13/get-your-google-wave-invit...

https://googlewaveinvites.weebly.com/

And so on: https://www.google.com/search?q=%22google+wave%22+%22invites...
Rust Is Memory Safe, but Logic Bugs Still Occur - SPARK Ada Can Help
by DragonSpiritWTP | 2025-11-15 08:05:56+00:00
Many people assume that Rust’s memory safety automatically makes software secure and correct. Yet recent examples like sudo-rs and TARmageddon, both written in Rust, show this assumption is misleading: even memory-safe software can have logic flaws, privilege errors, or boundary handling bugs.

Adam Zabrocki, in his DEF CON 30 talk, emphasizes that SPARK Ada not only enforces memory safety but also lets developers focus on deeper, more sophisticated security issues. As he notes:

• “Memory Safety does NOT include: Logical bugs, Error handling, Race conditions…”

• “Formally verified software has much higher quality thanks to SPARK enforcements… Most of the bugs which we saw require deep knowledge… architecture problems, design bugs, etc.”

He also points out that the use of SPARK allowed them to spend more time investigating these sophisticated bugs, rather than worrying about trivial memory errors.

While memory-safe features prevent many common issues, SPARK goes further by mathematically guaranteeing correctness and allowing teams to focus on design and architecture level security challenges.

Key takeaway: SPARK provides a level of assurance and error prevention that memory safety alone cannot deliver.

Here is a link to Adam Zabrocki’s DEF CON 30 presentation: https://youtu.be/TcIaZ9LW1WE

(Note: I used ChatGPT to help organize and articulate these insights.)
by PeterHolzwarth | 2025-11-15 08:07:59+00:00
I feel the reality is that if you own something, it's up to you to do what you want with it. I worry about, despite initial first-order good intentions, introducing strident limits on property such as being tossed about in this discussion.

People are talking about putting somewhat severe, I think, limitations on ownership and property. Are you sure you want these limitations? Fairness under law means if it applies to a game, it also applies to you and what you own. Hot takes on the topic don't seem to have fully thought through the implications on that (tho I do understand people's feelings on the matter).
by usefulposter | 2025-11-15 08:09:21+00:00
To increase the quality of productive discussion, have you considered posting new information on the previous threads, instead of dropping a drive-by [dupe] comment and leaving?

At the time of writing this comment, nobody has noticed or discussed Anthropic's correction to the PR puff piece on the original submission.

Do your part and help make HN a more informed audience!
by smj-edison | 2025-11-15 08:10:22+00:00
Bit of a tangent, but this reminds me of a video[1] I watched a bit ago where there was someone who interviewed 20 or so people who were both engineers and programmers, and asked them what the two fields could learn from each other. One of the things it mentioned from the perspective of a physically-based engineer is that a little more up-front planning can make a big difference, and that's stuck with me ever since.

[1] (pretty sure this is the right one): https://youtu.be/CmIGPGPdxTI
by QuasarBright | 2025-11-15 08:10:41+00:00
This is a static site generator I made to replace the ugly markdown file that used to be my personal website for displaying my coding projects.

I extracted it out into a reusable tool with an admin UI and functionality to deploy to GitHub pages.

Feel free to use it to create or spice up your coding project portfolio, it's super easy to get up and running and hosted for free on GitHub pages. Feedback is more than welcome!
by happymellon | 2025-11-15 08:11:48+00:00
I encounter this on Mac most days as well.

Teams is the pinnacle of bad Microsoft design forced on to everyone, even if they don't use Windows.

> But, but, but, what features is it missing?

Is always the response from Microsoft apologists. Why do I have to have different ways of calling depending on whether its a group or a chat? And chat calls don't alert the other person that you are even calling them? What a pile of shit. I know Slack also introduced shit huddles, because why not break something that already works, but that doesn't mean you have to copy them.

It's not always missing features, its that the UI is a series of papercuts.
by port11 | 2025-11-15 08:11:58+00:00
I agree with the sentiment of the post, but sometimes it would be too ‘expensive’ to implement a solution to some of these problems.

E.g. on user accounts: nobody likes them, but when Uncle Fizz asks customer support for his data because he lost his phone again, a synced user account would be the simplest way to help him.

Updates should either be automatic and transparent, or it's indeed on you to keep track and decide whether to update. I do agree that NPM packages are freaking annoying, every package now needs to tell you something when you install or update.

Same with What's New modals, some people will benefit from learning these things (notably power users?), but they'll annoy others.

Notification dots are idiotic.

So… striking a balance where we can? Otherwise most users would be left behind, as if we'd given them a terminal and said APK installs and updates things.

I'm not sure what the solution to all this is, but I like Tonsky a lot, and it's a great blog post.
by exe34 | 2025-11-15 08:13:57+00:00
There are a limited number of children/families in need of this help. Feeding them is great for the economy. There is no need to spend more than that on the program, although there are other social programs that do contribute to making them into more productive individuals in the future, like education and healthcare.

May I recommend leaving out the snark in the future - it gives the impression that you are a heartless person who wants others to suffer. Your life is short - go outside and touch the grass, it'll do you some good.
by podgorniy | 2025-11-15 08:14:28+00:00
This article if for those who already made up their mind that "spec-based-development" isn't for them.

I believe (and practice) that spec-based development is one of the future methodologis for developing projects with LLMs. At least it will be one of the niches.

Author thinks about specs as waterfalls. I think about them as a context entrypoint for LLMs. Giving enough info about the project (including user stories, tech design requirements, filesystem structure and meaning, core interfaces/models, functions, etc) LLM will be able to build sufficient initial context for the solution to expand it by reading files and grepping text. And the most interesting is that you can make LLM to keep the context/spec/projetc file updated each time LLM updates the project. Viola: now you are in agile again: just keep iterating on the context/spec/project
by swiftcoder | 2025-11-15 08:16:30+00:00
... I may be out of touch with US water usage, but just how much hot water does the average household use?

They quote $2,500 10-year savings vs oil. I have my hot water piggybacked on the oil-fired condensing boiler unit that's also used for my central heating, and I doubt I burn more than $250/year total on the hot water side of the equation (in a 4-bed, 4-bath house).
by pauloxnet | 2025-11-15 08:16:44+00:00
Thanks for the comment. In the article I actually show both approaches: Python 3.14’s uuid.uuid7() first, mostly for completeness, and then the recommended one where PostgreSQL 18 generates the UUIDv7 itself using the native uuidv7() function. The DB-side version is already the default path I suggest for anything beyond a simple local setup.

Regarding the timestamp, a dedicated column generated by the database from uuid_extract_timestamp() can be very practical in Django. It is written at insert time by PostgreSQL, defined declaratively in the model with GeneratedField, and handled entirely by the ORM without relying on triggers. It also makes filtering, ordering or using the Django admin faster and simpler, since querying on a proper datetime field avoids extra annotations or computation on the UUID expression.

If you have a reference for UUIDv7 support in MSSQL I’d really appreciate it, ideally from the official documentation. I’m also curious to know from which version it is available and whether the current Django MSSQL backend exposes it already.
by kbrkbr | 2025-11-15 08:18:29+00:00
After Wisconsin finds out how to reliably filter vpn, they can then teach Netflix and Akamai how to do it.

Last time I checked modestly reliable geoblocking existed, and completely unreliable vpn blocking.

A friend told me that when he comes across a site for which Nordvpn is blocked, he just changes IP. Latest the third one always works, even on YouTube (he is all about privacy).
by funnybeam | 2025-11-15 08:18:35+00:00
I think you’re absolutely right. These companies know full well that their “guardrails” are ineffective but they just don’t care because they’ve sunk so much money into AI that they are desperate to pretend that everything’s fine and their investments were worthwhile.

I was on a call with Microsoft the other day when (after being pushed) they said they had guardrails in place “to block prompt injection” and linked to an article which said “_help_ block prompt injection”. The careful wording is deliberate I’m sure.
by luna11 | 2025-11-15 08:18:43+00:00
I appreciate techspymax for making me realise the truth to a certified hacker who knows a lot about what his doing. I strongly recommend you hire him because his the best out there and always delivers. I have referred over 10 people to him and all had positive results. He can help you hack into any devices, social networks including – Facebook, Hangout, iMessages, Twitter accounts, Snap chat , Instagram, Whatsapp, wechat, text messages ,smartphones cloning ,tracking emails and also any other social media messenger or sites. It’s advisable to hire a professional hacker. Thank me later. Contact him here.Techspymax@ gm ail c o m
by zvr | 2025-11-15 08:19:51+00:00
It's a nice observation that Spec-Driven Development essentially implements the waterfall model.

Personally, I tried SDD, consciously trying to like it, but gave up. I find writing specs much harder than writing code, especially when trying to express the finer points of a project. And of course, there is also that personal preference: I like writing code, much more than text. Yes, there are times where I shout "Do What I Mean, not what I say!", but these are mostly learning opportunities.
by RealityVoid | 2025-11-15 08:21:50+00:00
I had a small embedded project and I did it > 70% using LLM's. This is exactly how I did it. Specs are great for grounding the LLM. Coding with LLM's is going to mean relying more on process since you can't fully trust them. It means writing specs, writing small models to validate, writing tests and a lot of code review to understand what the heck it's doing.
by sohooo | 2025-11-15 08:23:32+00:00
We also started with the typical kube-prometheus-stack, but we don’t like Prometheus/PromQL. Moreover, it only solves the „metrics“ part - to handle logs and traces, more quite heavy and complex components have to be added to the observability stack.

This didn‘t feel right, so we looked around and found greptimedb https://github.com/GreptimeTeam/greptimedb, which simplifies the whole stack. It‘s designed to handle metrics, logs, and traces. We collect metrics and logs via OpenTelemetry, and visualize them with Grafana. It provides endpoints for Postgres, MySQL, PromQL; we‘re happy to be able to build dashboards using SQL as that’s where we have the most knowledge.

The benchmarks look promising, but our k8s clusters aren’t huge anyway. As a platform engineer, we appreciate the simplicity of our observability stack.

Any other happy greptimedb users around here? Together with OTel, we think we can handle all future obs needs.
by rerdavies | 2025-11-15 08:23:49+00:00
Or you can use chained error messages.

Unable to create the media database. Failed to upgrade the database from version 3 to version 6. SQL Query failed. Syntax error at column 29 near "wehre". ("SELECT id`Thumbnail from tThumbailIndex wehre idFile=?").

(Messages are pre-pended to inner errors as one progresses up the stack). Yes, a gruesome error message. But it's a gruesome error condition.

I've also used inner exceptions in a large Enterprise product, and was very pleased with the result. (Java has them, .net has them, C++ and Typescript can have them if you want them). At the top level, the error message goes:

Unable to connect to the media database. Failed to upgrade from version 3 to version 6. SQL Query error failed. Syntax error at column 6 near 'ndex. ("SELECT idI'ndex from T_ThumbnailIndex")

(each successive error message contained in a successive inner exception). The advantage: no need to assemble multiple lines of logged errors from a logfile that end-users really don't want to be digging around in.

A more prosaic and actually end-user-helpful chained message might be:

Unable to connect to the media database. Failed to create the file /var/MediaServer/mediaIndex.db Out of disk space.
by zenoprax | 2025-11-15 08:25:01+00:00
> If a company, or group of companies, won’t offer a piece of work for sale, can’t be bothered to understand what they own of it, if anything, and have no plans to figure any of that out… then how can this be copyright infringement?

The answer to the question in the quote is: "It's not until someone wins a lawsuit."

The federal government recognizes, and will protect through legal enforcement, an exclusive right of the intellectual property holder to control its distribution.

Copyright infringement only occurs when a court rules that it has because that is the only mechanism through which intellectual property holders can claim a legal right. It is not a "natural right".

Streaming from a "piracy" site is effectively legal for the viewer because they are not infringing on any distribution or resell rights (but the hoster is). If Netflix is mistakenly giving access to all seasons of a show when it only paid for the latest one, how could anyone call the unknowing viewer who is watching Season 1 a pirate?

"Abandonware" pushes this idea even further: as long as there is no reasonable expectation of a successful infringement case being brought against anyone then distribution is also without consequence. Perhaps there is a statue of limitations that might definitive codify this or a "defend or lose it" stipulation as exists with trademarks.
by silisili | 2025-11-15 08:25:44+00:00
Great analogy, and similar to how I saw things play out.

IIRC Perl 6 wanted to expand or morph into something better, spent a ton of time on it, and the community in general rejected it hard.

So now we have this dangling language that's shunned by its own community, regardless of its merits. Weird place to be in.
by jillesvangurp | 2025-11-15 08:26:13+00:00
You are right to question their moat. My view on this is that there's a lot of pressure from essentially all other trillion dollar companies (MS, Google, Amazon, Apple, etc.) to not get locked into a NVidia only ecosystem. Each of those do their own chips. They also use Nvidia but not exclusively. An Android or IOS phone has no nvidia capable chips whatsoever. Neither do most laptops. Apple's M series CPUs don't support it at all typically. And with the exception of some gaming or workstation class laptops, most windows/linux laptops come with either AMD or Intel GPUs. Or lately Qualcomm ARM based architectures with custom GPUs.

Nvidias valuation and moat are centered around data center class GPUs used for training. I don't think they effectively have that space to themselves for much longer. Google is already using their own TPUs at scale for both training and inference. They still use some Nvidia stuff but they seem to be able to keep that off the critical path for anything that needs to run at "Google scale". OpenAI just ordered a bunch of AMD hardware. A lot of AI engineers use Apple laptops that rely on the M series hardware.

In short, the Cuda moat is shrinking. It's still relevant of course and there are a lot of tooling and frameworks that depend on it. That's why everybody still uses it. But not exclusively. And there's a lot of extremely well funded and active development to cut loose from it. AMD of course wants in. So does Intel. And so does everybody else. This HipKittens thing looks like it makes some big steps towards a more neutral software ecosystem.
by thomascountz | 2025-11-15 08:28:38+00:00
I just tried an experiment using Spec-Kit from GitHub to build a CLI tool. Perhaps the scope of the tool doesn't align itself with Spec-Driven Development, but I found the many many hours—tweaking, asking, correcting, analyzing, adapting, refining, reshaping, etc—before getting to see any code challenging. As would be the case with Waterfall today, the lack of iterative end-to-end feedback is foreign and frustrating to me.

After Claude finally produced a significant amount of code, and after realizing it hadn't built the right thing, I was back to the drawing board to find out what language in the spec had led it astray. Never mind digging through the code at this point; it would be just as good to start again than to try to onboard myself to the 1000s of lines of code it had built... and I suppose the point is to ignore the code as "implementation detail" anyway.

Just to make clear: I love writing code with an LLM, be it for brainstorming, research, or implementation. I often write—and have it output—small markdown notes and plans for it to ground itself. I think I just found this experience with SDD quite heavy-handed and the workflow unwieldy.
by BartjeD | 2025-11-15 08:29:13+00:00
That's not true, because there is a hierarchy of legality.

If a principle of the EU legal order is at stake, such as the right to privacy, then that constitutional imperative can very well override a new law.

The commission and parliament are well aware of this risk. They often choose to have laws advised on by the courts, in advance. To avoid a legal mess.

This is normal in a functional democracy. To avoid abuse of power / overreach by any institution.
by nrhrjrjrjtntbt | 2025-11-15 08:29:55+00:00
Yes. The learning comes from running tests on the program and ensuring they pass. So running as an agent. Tests and compiler give hard feedback- thats the data outside the model that it learns from.

I think modern RLHF schemes have models that train LLMs. LLMs teaching each other isn't new.

My knowledge is limited, just based on a read of https://huyenchip.com/2023/05/02/rlhf.html though.
by anthk | 2025-11-15 08:29:55+00:00
The human brain hates long vector and lines' based environments, it makes the visual and memory cortexes tired. Something more 'irregular' and 'detailled' such as nature or curved environments with fractal designs are much better. OFC Bauhaus et all are much cheaper to build...

On brutalist buildings, I've seen horrors in the Barakaldo town/small city in Spain whose literally looked like a badly arranged Tetris match field... (literally)...

You can see them at Street View.

On this https://www.currentaffairs.org/hs-fs/hubfs/Imported_Blog_Med...

I remember seeing street lamps like these in my neighbourhood and having some street light stand/boulder for a big one giving light to a whole tiny plaza (round shaped) and looking more human than the current rectangular ramps and with concrete everywhere, albeit it makes the whole park much accesible for disabled people.

Still, the most charming environments are, exactly, the uber-known 'plaza-nuevas' (New Squares) in Spain dating back to centuries and being found in every old town on every major city in Spain there. I find them a polar opposite to the design for schools, which are almost shaped like prisons with concrete, raw bricks and fences...

At least as I grew in the Basque Country in a mountainous town, you could spot nice vistas from a 2nd story by just looking at the window, but the poor folks in Madrid would feel a bit claustrophobic with concrete plazas everywhere and a city moderly arranged to stay inside the bars and not to be roaming around. That's why design matters a lot.

Brutalist architectures should be for temporary places, such as stations, sidewalks, administrative buildings, workplaces. Something utilitarian and 'disposable'. Not for the squares.
by reincoder | 2025-11-15 08:31:19+00:00
I work for IPinfo. I'm not sure how ChatGPT incorporates IP geolocation data in their services, but I have seen open-source LLM-based conversational AI use our service before. The API provides context around location and time mostly.

However, my opinion is that geolocation, at least on a country level, can be largely inferred based on conversational context.
by berkes | 2025-11-15 08:33:31+00:00
I googled* it and dod the same. But that merely moves the problem forward. Now the API returns errors that it's too large.

A smarter client would use a tool chain in which the first step is a model that's good at taking large contexts/data and extracting actual content from it. Many sites have a very low S/N ratio (readable content / dom).

Then pass that content, eg markdown, along to a model that's optimized at getting relevant parts out of content for the task at hand.

And only then onto the generic model to "do stuff" with it.

But many clients, including afaiks the Firefox one, just send the entire dom or html along to a generic model.

*Well DuckDuckGo