MurphyA/hacker-news huggingface dataset:
by taylodl | 2025-06-25 17:27:21+00:00
That’s not quite what Gödel’s Incompleteness Theorem says. It states that in any consistent, sufficiently expressive formal axiomatic system (such as one capable of expressing basic arithmetic), there exist true statements about the natural numbers that cannot be proven within the system itself.

In other words, if you have a system where you can recursively enumerate all the theorems derivable from its axioms, there will still be statements that are true but not included in that set — meaning the set of such theorems is incomplete.

These unprovable statements aren’t just guesses or philosophical curiosities — they’re considered true based on reasoning outside the system, such as meta-mathematical analysis or by interpreting them in the standard model of arithmetic. But because the system’s axioms aren’t strong enough, you can’t prove them from within.

And this isn’t a rare edge case. Most of the systems we care about in mathematics — especially those involving arithmetic — are expressive enough to fall under Gödel’s Incompleteness Theorem. So incompleteness isn’t an exception; it’s a fundamental feature of formal systems that are powerful enough to be interesting.
by isk517 | 2025-06-25 17:28:49+00:00
Yes, the company I work for has started using Hololens 2. We have a program that can overlay the 3D models from our CAD program onto the physical steel assemblies for QC. When it works, it works well and enables our quality checkers to perform checks faster and more accurately than using tape measures while going back and forth looking at a 2D drawing printed on 11 x 17 paper.

The biggest hurdles is that none of the large companies think there is enough profit to be made from AR. The Hololens 2 is the only headset on the market both capable of running the program required while also being safe to use in a active shop enviroment (VR with passthrough is not suitable). Unfortunately the Hololens 2 is almost 6 years old as is being stretched to the absolute limits of its hardware capabilities. The technology is good but feels like it is only 90% of the way to where it needs to be. Even a simple revision with double the RAM and faster more power efficient processor would alleviate many of the issues we've experienced.

Ultimately from what I've seen, AR is about making the human user better at their job and there are tons of industries where it could have many applications, but tech companies don't actually want to make things that could be directly useful to people that work with their hands, so instead we will just continue to toss more money at AI hoping to make ourselves obsolete.
by thimabi | 2025-06-25 17:28:49+00:00
An interesting thing is that Google AI offers are much more confusing than the OpenAI ones — despite the fact that ChatGPT models have one of the worst naming schemes in the industry. Google has confusing model names, plans, API tiers, and even interfaces (AI Studio, Gemini app, Gemini Web, Gemini API, Vertex, Google Cloud, Code Assist, etc.). More often than not, these things overlap with one another, ensuring minimal clarity and preventing widespread usage of Google’s models.
by cj | 2025-06-25 17:28:53+00:00
Does the API trigger the download automatically, or does it ask for user permission?

(Answered my own question): Doesn't look like it requires the user's permission. Upon first use, the model will start downloading. The user has to wait for the download to finish before the API will work. That could take hours for 22gb.

I presume this can't work on mobile?

https://developer.mozilla.org/en-US/docs/Web/API/Translator_...
by tiahura | 2025-06-25 17:28:57+00:00
As a lawyer, I'm confused.

I guess the key question is whether the Gemini CLI, when used with a personal Google account, is governed by the broader Gemini Apps privacy settings here? https://myactivity.google.com/product/gemini?pli=1

If so, it appears it can be turned off. However, my CLI activity isn't showing up there?

Can someone from Google clarify?
by achempion | 2025-06-25 17:29:20+00:00
This happens in many orgs. The truth of this situation is that it's engineering team's responsibility to build maintainable system, managers only care about results, risk management and team velocity.

The problem you're trying to solve is not that features get more prioritisation, but your estimations doesn't reflect the reality and your code-review process is broken as engineers are not spotting growing technical debt and refactoring opportunities and think that someone should give them a permission or create a ticket to work on that.

This is engineering culture 101 (look up the boyscout rule in software engineering).
by yomismoaqui | 2025-06-25 17:29:41+00:00
I have been evaluating other tools like Amp (from Sourcegraph) and when trying Gemini Cli on VsCode I found some things to improve:

- On a new chat I have to re-approve things like executing "go mod tidy", "git", write files... I need to create a new chat for each feature, (maybe an option to clear the current chat on VsCode would work)

- I have found some problems with adding some new endpoint on an example Go REST server I was trying it on, it just deleted existing endpoints on the file. Same with tests, it deleted existing tests when asking to add a test. For comparison I didn't find these problems when evaluating Amp (uses Claude 4)

Overall it works well and hope you continue with polishing it, good job!!
by LeifCarrotson | 2025-06-25 17:29:52+00:00
They're not saving text, they're saving an idea - a "map" or a "CAD model" or a "video game skin" or whatever.

Yes, a hypothetical user's sprinker layout "map" or whatever they're working on is actually composed of a few rectangles that represent their house, and a spline representing the garden border, and a circle representing the tree in the front yard, and a bunch of line segments that draw the pipes between the sprinkler heads. Yes, each of those geometric elements can be concisely defined by JSON text that defines the X and Y location, the length/width/diameter/spline coordinates or whatever, the color, etc. of the objects on the map. And yes, OP has a rendering engine that can turn that JSON back into an image.

But when the user thinks about the map, they want to think about the image. If a landscaping customer is viewing a dashboard of all their open projects, OP doesn't want to have to run the rendering engine a dozen times to re-draw the projects each time the page loads just to show a bunch of icons on the screen. They just want to load a bunch of PNGs. You could store two objects on disk/in the database, one being the icon and another being the JSON, but why store two things when you could store one?
by jcalx | 2025-06-25 17:30:24+00:00
I generally agree with these points but I sometimes find "do X, not Y" suggestions too prescriptive to be helpful. Compelling phrasing should be context-aware and mindful of how users actually use the product, what their pain points are, and what they find useful.

Largely I take issue with the use of metrics. "Create events 10x faster" reminds me of the "put hard numbers in your resume" advice that people blindly follow — it's not a useful description to use here! When I go into XYZ Calendar and create a new event by copy-pasting fields, I don't think "hey I wish this was 10x faster" but rather "I wish I didn't have to do this". Announcing the feature as "Duplicate events instantly" cuts right to the heart of the improvement without splitting hairs of "I can do unnecessary work N times faster".

For "fixed a thread deadlock that froze the UI for up to two second when creating a new file" vs. "we sped up new file creation, so you can now create a new file in under 20ms, a 100x speedup from v1.2" — if the new file stutter is a common complaint, we can celebrate this by acknowledging the flaw and its fix. "Creating a new file is now instant after we fixed a thread deadlock bug" conveys that (1) a common user annoyance is now gone, (2) we recognized that it was an annoying bug, and (3) we put in the work to fix it. And no "100x" in there — we didn't speed up an annoyance, we got rid of it entirely.

Of course performance metrics aren't always bad — "Gleam JavaScript gets 30% faster" announcement is great! But compiled language speedups is something that users care about, and not something we want to abstract away (e.g. by merely saying "faster" or "better"). Here, putting a concrete number in the title and letting it speak for itself is absolutely the right choice.

Context is everything for making writing compelling. On that note — Style: Towards Clarity and Grace [0] is the best book I have read on writing clearly and effectively.

[0] https://en.m.wikipedia.org/wiki/Style:_Lessons_in_Clarity_an...
by JohnMakin | 2025-06-25 17:31:14+00:00
With data deletion requests, you sometimes do need a mechanism to keep track of who/what you deleted. This inevitably involves PII. What comes to mind is CCPA requests to delete data from private data brokers - there is an inherent problem that to avoid re-ingesting your data into their system, they need to know what that data is in the first place.
by jackdaniel | 2025-06-25 17:32:59+00:00
ECL features native code and bytecodes vm for targets without incremental compilation support - both native and bytecode can be freely mixed at runtime.

That means that you may interactively use repl to call functions that were compiled ahead of time and to add new functions even on uncooperative targets.

After you've finished prototyping you may compile the finished library to native ahead of time.
by 9rx | 2025-06-25 17:34:15+00:00
> Saying things like "that's all that your limited thought is able to offer" is berating.

How so? What are you thinking?

Additionally, it is interesting that you left out the "if". What was the thought process there?

> called me a dog when I provided sources.

I likened you to a dog wanting to pointlessly please its master. Call it berating if you will, but that is the behavior I see dogs exhibit and that is the behavior I observed here. I'm sure you have data to contradict my understanding, but to the extent of the understanding I have, that is simply a factual account.

> You're wondering why people make the housing decisions they do

I asked what others thought about it.

> but unwilling to actually engage in looking at the actual data of job opportunities, home values, etc.

This wouldn't indicate what others thought about it. There is a place for looking at the data, but that would happen independently and wouldn't carry into a discussion. Different tools for different jobs.
by kevindamm | 2025-06-25 17:35:12+00:00
180 seems very high to me and I've already quit social networks (well, except for some forum-like ones such as HN).

I like the idea, though, maybe five minutes for every 30 seconds of non-distracted gaze? Or something like that and tunable. Maybe even dynamic to the amount of time spent scrolling the feed in the last x hours?
by BitwiseFool | 2025-06-25 17:35:42+00:00
As unsafe as it may be, I plan to just keep using Windows 10 past the EOL date this October. I practice reasonable discipline in regards to online security and I will just handle all of my sensitive accounts and login activity on my Mac. I just really don't want to use the mess that is Windows 11 unless absolutely necessary. The way I see it, that's probably a few years away.

Edit: I am also comfortable using Linux, and I may end up spending a lot of time searching for the best distro that will work for me as a daily driver. I'm certainly open to that, but for now I plan to just keep chugging along with what I've got until I build a new PC.
by warrenm | 2025-06-25 17:36:22+00:00
Sounds like you just described /etc/hosts

It is not so much "capitalism" that demands domains and IP addresses be assigned/paid-for as it is without some kind of authoritative backing, you have a free-for-all

You wish your website was dotcoma.com? So do I!

So which one of us "actually" gets to have it? With static entries in a local "address book" (like /etc/hosts), we both can - but only we get to know we both have it

>There’s absolutely no reason why they couldn’t be a public good, paid for from the public purse.

This changes nothing from the current system - other than introducing additional bureaucratic inefficiencies: who gets to decide whom can have what domain(s)? How many can any given person/entity get? Why that number and not a different number? What about disputes?

Right now, there is no limit to the number of domains you can register - so long as you can pay for them all.

Converting to a taxpayer-funded government entity is going to put limits on who can register what, when, for how long, etc ... in a way that is (at the very least) no better than the current system, and (most likely) far worse than the current system

Add to this the beauty of capitalism: say I register dotcoma.com an you want it - we can come to a private agreement over how much it is worth to you vs to me, you give me a medium of exchange, and I give you rights to the domain.

Simple

Fast

And does not involve uninformed bureaucrats trying to nanny their way into determining who gets what
by isk517 | 2025-06-25 17:38:09+00:00
The biggest issue comes from area mapping. In order to keep the hologram steady and anchored you need to perform a mapping process so that the helmet recognizes both the physical steel assembly and a bit of the surrounding area to keep it steady when moving around. The 8GB of RAM puts a limit on the amount of mapping data that can be stored putting a limit of the size of assembly you can work with, and since the mapping process relies on using the helmets own software that has not been work on in years it is extremely sensitive to any sort of background movement, which means it works best in as controlled of a environment as possible.

Right now we are just using it for special projects that are complex and have little margin for error. We'd like to be able to use it for everything but that isn't feasible with where the tech is currently stuck at.
by danielodievich | 2025-06-25 17:38:22+00:00
The Economist's Scam Inc podcast (mentioned elsewhere in this discussion too) has fascinating (and very troubling) insights into this.

I have sons heading to college this and next year and I have tried to prepare them for the world of scamming that exists out there. I sure hope I've done enough.

Just a few minutes ago I had a scam text that pig butchering begins. I typically delete them immediately but this time just to see what happens I wrote back in several languages aggressively counter-offering to teach them how to buy crypto. I got a puzzled response, then a picture of a waifish asian woman on restaraunt balcony, I think it's AI generated, but it doesn't matter, and then after me clearly not biting a "Fuck you". I wrote "I feel for you doing pig butchering, but its not going to work here", translated it to Chinese and sent that, and got back another "Fuck you", this time in Chinese. ... Now that I typed this out, I realize this was kind of pointless exchange
by djoldman | 2025-06-25 17:38:32+00:00
AMLKYC always seemed obviously backward or ridiculous to me. The fact that banks are essentially tasked with enforcing laws is... a crutch to say the least.

Analogies are by definition imperfect but:

1. why not point the finger at ATT and Verizon for allowing phone calls and IP packets that facilitated crime?

2. toll road owners, car/truck manufacturers, UPS, USPS, should they be tasked with "knowing" more about their customers?

All this just ends up blaming the victim and doesn't really fix the problem while having massive collateral damage like folks having their bank accounts closed for no good reason and causing real losses to actual businesses.

What's the solution? I'm not sure. Perhaps it begins with holding countries more to account for the actions of their resident criminals.
by 90s_dev | 2025-06-25 17:38:41+00:00
You're right. I am going to leave HN. Clearly I am not smart enough to be here. Everything I have said here in the past month has been proven wrong by a commenter, and it has gradually dawned on me that I'm just not as smart or experienced or knowledgeable as I thought I was. I'll find some programming subreddit or something that's more at my level. Thanks for helping me see this.
by geocrasher | 2025-06-25 17:38:46+00:00
For me, the problem is that if I don't see it, it doesn't exist. Slack, server monitoring, other communications channels, they all take up real estate. My daily driver is a 43" 4K monitor. Basically 4x 24" 1080p monitors in one. It's the exact opposite of portable.

I can get any task done with my laptop. But not a full day's work. And if I want to travel while I work (which I would like to do) then I need a better solution. This is why I'm looking into VR and also a 4K projector, but a projector would have to be able to be seen in a bright environment, and I don't know what the current state of projectors is.
Ask HN: Anyone interested in taking over my indie app?
by quinto_quarto | 2025-06-25 17:38:55+00:00
Hey folks — I'm looking to hand off a project I've been working on: Eyeball, a clean and minimal bookmarking app for iOS that uses AI to help users save, organize, and understand their links.

Website: https://eyeball.wtf/ App: https://apps.apple.com/us/app/eyeball-ai-bookmarks-notes/id6670705634

The app is live on the App Store, has several hundred users.

Selling because my founding engineer took a full-time role and I don’t have the bandwidth to grow it solo. Would love to see it in the hands of someone who wants to take it further. Thinking a simple profit-share if it ever generates revenue?

If you’re into calm productivity tools, AI/notes, or second-brain apps, this could be a fun one to take on.

If you’re interested, drop your contact details and I'll reach out.
by maratc | 2025-06-25 17:39:07+00:00
From [0]:

Uber invented a particular form of algorithmic wage discrimination; if its drivers are picky about which rides they accept, Uber will slowly raise the rates to entice those drivers—until they start accepting rides. Once a driver does accept a ride, "the wage starts to push down and down at random intervals in increments that are too small for human beings to readily notice". ... As anyone with a technical background knows, "any task that is simple, but time-consuming is a prime candidate for automation". This kind of "wage theft" would be tedious and expensive to do by hand, but it is trivial to play these games using computers.

[0] https://lwn.net/Articles/1021871/
by HakanAbbas | 2025-06-25 17:39:33+00:00
I don't really understand what the new PNG does better. Elements such as speed or compression ratio are not mentioned. Thanks also for your kind thoughts ksec.

Apart from the widespread support in codecs, there are 3 important elements: processing speed, compression ratio and memory usage. These are taken into account when making a decision (pareto limit). In other words, the fastest or the best compression maker alone does not matter. Otherwise, the situation can be interpreted as insufficient knowledge and experience about the subject.

HALIC is very good in lossless image compression in terms of speed/compression ratio. It also uses a comic amount of memory. No one mentioned whether this was necessary or not. However, low memory usage negatively affects both the processing speed and the compression ratio. You can see the real performance of HALIC only on large-sized(20 MPixel+) images(single and multi-thread). An example current test is below. During operations, HALIC uses only about 20 MB of memory, while JXL uses more than 1 GB of memory.

https://www.dpreview.com/sample-galleries/6970112006/fujifil...

June 2025, i7 3770k, Single Thread Results

----------------------------------------------------

First 4 JPG Images to PPM, Total 1,100,337,479 bytes

HALIC NORMAL: 5.143s 6.398s 369,448,062 bytes

HALIC FAST : 3.481s 5.468s 381,993,631 bytes

JXL 0.11.1 -e1: 17.809s 28.893s 414,659,797 bytes

JXL 0.11.1 -e2: 39.732s 26.195s 369,642,206 bytes

JXL 0.11.1 -e3: 81.869s 72.354s 371,984,220 bytes

JXL 0.11.1 -e4: 261.237s 80.128s 357,693,875 bytes

----------------------------------------------------

First 4 RAW Images to PPM, Total 1.224.789.960 bytes

HALIC NORMAL: 5.872s 7.304s 400,942,108 bytes

HALIC FAST : 3.842s 6.149s 414,113,254 bytes

JXL 0.11.1 -e1: 19.736s 32.411s 457,193,750 bytes

JXL 0.11.1 -e2: 42.845s 29.807s 413,731,858 bytes

JXL 0.11.1 -e3: 87.759s 81.152s 402,224,531 bytes

JXL 0.11.1 -e4: 259.400s 83.041s 396,079,448 bytes

----------------------------------------------------

I had a very busy time with HALAC. Now I've given him a break, too. Maybe I can go back to HALIC, which I left unfinished, and do better. That is, more intense and/or faster. Or I can make it work much better in synthetic images. I can also add a mode that is near-lossless. But I don't know if it's worth the time I'm going to spend on it.
by dfxm12 | 2025-06-25 17:39:58+00:00
The banks have some responsibility here, and the article brings this up. The banks' response involved saying they can't keep up with volume and shifts blame to social media for some reason.

You gotta understand, there's the law, then there's enforcement of laws, then there's punishments for getting caught breaking the law. The banks have done the math. Maybe they've even lobbied to have the penalties/enforcers reduced. It doesn't pay for them to follow this law strictly, so they don't. You'll find this across the legal system. It comes down hard on the poor and marginalized, but gives a lot of grace to the rich, even if at our expense.
by runlaszlorun | 2025-06-25 17:40:28+00:00
I'd use the analogy of current dynamic language VMs being written C. You're not modifying structs at runtime or creating C functions as a user of the dynamic language. But the creators of the VM are providing as thin a layer as possible on top of that to give the runtime behavior it's dynamism.

There's an often repeated line that WebAssembly isn't really "assembly" and it's not "web". There's a lot of truth to that. I dove in hoping for a cross platform, web enabled assembly. It looks a lot like an assembly but I find it's relatively few restrictions like lack of a true jump command rippling out more than one would have expected. It's also sortuva stack machine and sortuva register machine at the same time.

It does share a lot with the internal VMs in many places like the JVM, Python's VM, .net, etc.
by jt2190 | 2025-06-25 17:40:31+00:00
> I'm a non-tech worker in a non-tech industry…

Certainly you must have enough detailed knowledge of CAD files to validate the output of the transposition tool you had AI create for you. This might not be enough for you to think of yourself as ”technical” but I’d argue that it’s far above the level of “entry level employee using CAD”.

This does also seem to fit the paradigm of “AI is a productivity booster for people who already know how to do x”
by asadotzler | 2025-06-25 17:40:34+00:00
Depends on whose use cases you're considering.

There are about 3.6 billion people surfing the web and experiencing PNGs. That use case, consuming PNGs, seems to dwarf the perhaps 100 million (somewhat wild guess) graphic designers, web developers, and photo editing professionals who manipulate images for publishing (in any medium) or archiving.

If, on the other hand, you're considering the use cases envisioned by PNG's creators, or the use cases that interest the people processing or publishing images, yes, these people are focused on format itself and its capabilities.

I suspect this particular use of "use case" isn't terribly clear. Also these two considerations are not incompatible.
by KineticLensman | 2025-06-25 17:40:41+00:00
> those of us with an interstellar bent naturally start musing about ‘sundiver’ trajectories, using a solar slingshot to accelerate an outbound spacecraft, perhaps with a propulsive burn at perihelion. . The latter option makes this an ‘Oberth maneuver’ and gives you a maximum outbound kick.

You can't do a solar slingshot like you can with (say) Jupiter because the sun is essentially at rest with respect to the rest of the solar system. You could still do an Oberth manoeuvre.