MurphyA/hacker-news huggingface dataset:
Show HN: I Made Cursor for Prompts Extension
by pvisilias | 2025-06-29 20:52:19+00:00
Hey HN,

Since late 2021, I’ve been building apps using only AI models. Over time, I realized the real problem wasn’t how good the coding models were, but how you write and structure your prompts.

When I vibe code, I make a looooot of typos or write unclear prompts. I often find myself reverting to old versions because the AI misunderstood my prompt and made incorrect changes. But in reality, it’s usually not the AI’s fault. It’s my prompt.

That’s why I built PromptDC. It enhances your prompts with one click, without leaving your web-based platform or local editor. Just write your prompt in the chat and press your keyboard shortcut or the Enhance button.

I hope this extension will be as helpful to you as it is for me. I’d love to hear your feedback. (especially if you try the VSCode extension)

Panos
by eGQjxkKF6fif | 2025-06-29 20:52:42+00:00
Intel's remote attestation verifies that, with the hash you can use Intel's remote API which is what the client is doing, Intel gets the hash the server sends, verifies it using their encrypted key set and then tells the client that it's valid and verified. Not all processors have SGX capability to verify the hash. Intel provides tools to do the manual verification if you utilize SGX

https://www.intel.com/content/www/us/en/developer/tools/soft...

So you can verify locally and Intel's API also does the verification.

When an SGX Encalve is created, the private key to it goes within it, it can't be accessed. That's the security.

It's a good read if you look in to the tech on Intel's website.
by heresie-dabord | 2025-06-29 20:52:51+00:00
People do make practical choices.

To focus on the linguistic challenge of living in Yakutsk, we can agree that a) learning a new language takes time, and b) the Luxembourgish languages might be some help (but not much) for learning Turkic and Russian.

> act like their childhood means they can suddenly master the native tongue

But there are many cases where those languages would be an advantage. Say, in learning Spanish and English.

People can and do learn languages. Some people are better at it than others. But people emigrate (or escape, as you say) and adapt.

Programming languages are a (simplified) subset of human languages. Programmers learn a marketable skill. (I use about five programming languages at work.) Employers will pay people well for programming -- better than I have seen people paid for speaking several human languages.

The way that people complain about programming languages (simplified as they are!) is somewhat related to broader struggles with learning human languages.
by paxys | 2025-06-29 20:52:58+00:00
One fact not mentioned in the article - Americans now owe $1.64 trillion in auto loans, and cars make up 9% of all consumer debt in the country. In fact we now owe more on cars than student loans. The average loan term is rising - almost 6 years now. 60-day delinquency on auto loans is at 6.6%, the highest ever recorded, and is as high as 9% in some states.

So while car prices keep going up, people also keep going deeper into debt to buy one they can't afford.

You can blame manufacturers or banks, but ultimately the problem is unchecked consumerism and treating cars as a status symbol, which is sadly pervasive in this country.
by A_D_E_P_T | 2025-06-29 20:53:23+00:00
It can assuredly be done in practice, with currently available technology. It would, however, be very expensive and time-consuming.

I'm thinking of putting together a set of general biomechanical models for foil or kendo fencing. Both forms feature a highly constrained ruleset, which simplifies things. Hobby project, though, so maybe one of these days...
by Aurornis | 2025-06-29 20:54:31+00:00
> I had lung volume/exhalation speed values of a 60 year old, at 34 years of age!

I’m sorry for your condition, but this is not a widespread trend.

At 34 years old you’re young enough that your old adult years came after the Clean Indoor Air Act. It’s hard to believe, but for generations older than ours it was not uncommon for indoor areas like bars and other venues to be filled with cigarette smoke in ways that was hard to avoid.

Even wildfire smoke is not hard to avoid for those who don’t have to work outside. Indoor HEPA air filtration units are far more accessible and commonplace now. They’re very popular in areas impacted by wildfires.
by singron | 2025-06-29 20:55:02+00:00
After a brief skim, it looks like this implementation is highly optimized for throughput and broadcasts whereas a channel has many other usecases.

Consumers subscribing to the same event type are placed in a group. There is a single lock for the whole group. When publishing, the lock is taken once and the event is replicated to each consumer's queue. Consumers take the lock and swap their entire queue buffer, which lets them consume up to 128 events per lock/unlock.

Since channels each have a lock and only take 1 element at a time, they would require a lot more locking and unlocking.

There is also some frequent polling to maintain group metadata, so this could be less ideal in low volume workloads where you want CPU to go to 0%.
by 1propionyl | 2025-06-29 20:55:18+00:00
Technologists in particular, taken as a group, have a very specific philosophical outlook that they don't tend to interrogate in themselves because it's so pervasive and intrinsic to what they work on and how they do so. Fish unaware of water, so to speak. It's a set of assumptions that make sense when you're programming software, but break down when applied to other things in the real world.

The tend to assume the universe is deterministic.

They tend to assume (incorrectly) that because it's deterministic a good enough model will be able to predict or explain.

They tend to ignore or not even be aware of the inherent bias towards available and measurable data, or that what we can measure must capture the essential dimensions of it.

The most naive tend to assume that given enough data, a model will get better, that the noise will "average out" (it doesn't).

I don't have a good name for this, but it has all the trappings of a good -ism otherwise.

Beyond philosophy, they should study art, music, literature, and whatever else interests. They should spend time with others who do and not only with people who work in technology. Unfortunately, increasingly college CS programs have cut out general education requirements in favor of questionably useful skills training, leaving graduates in a state where this seems daunting.

Computer scientists are building the world we all have to live in. Is it so much to ask that they be educated in the humanities before they're turned loose to do so?
by smileybarry | 2025-06-29 20:56:17+00:00
I get that, but I'd expect it to be a setting I can change in BIOS, or at least default to the motherboard's model number. Instead, if I build my own, I just can't change it ever because ASUS refuse to release it publicly. Hell, even the shop I used for the previous PC didn't have such a tool. (And if you change it in Windows, it's rewritten from SMBIOS every boot)
by plindberg | 2025-06-29 20:56:21+00:00
I’ve been working on an app called Lång. It’s a calm daily spending guide – shows you what’s okay to spend today, based on how much needs to last how long.

The idea came from noticing how most people manage money day to day: checking their balance, adjusting by feel, trying not to drift. There are tons of tools for planning or categorising, but not much that fits that kind of improvised pacing.

Still early, but trying to shape it around those habits – to make something simple and steady, that supports how people already do things.

https://lang.money
by burnt-resistor | 2025-06-29 20:56:32+00:00
I fled the 2018 Camp Fire for a few months and returned to the Chico metro area only to have to move again because of combination of increasing insurance rates, unreliable electricity thanks to PG&E "PSPSes", and recurrent smoke from additional nearby forest fires. The AQI was 500-1000 for weeks at a time.

Now after moving around the 100th meridian west far from forested areas, I have a BlueAir 680i churning away constantly and 4 large HVAC intake registers with high but sensible MERV rating filters to keep indoor air quality roughly 0 PM1/PM2.5/PM10 as per multiple types of AQMs with different grades of sensors. Absolutely no problem with allergies, until I go outside. :D

Ozone is one thing I do worry about, but it's less where I live now, but GAC filter media keeps it in check.
by immibis | 2025-06-29 20:58:46+00:00
The Hamas-Run Ministry of Health in Gaza was destroyed by a targeted Israeli missile approximately 5 months after the genocide escalation began, which is to say, approximately 15 months ago. Yet we keep using its latest published figure as if it's current, presumably because we want to downplay the number of deaths. I don't see any other reason we'd keep using that number. Even linear extrapolation would do better.

Also why does "Hamas-Run" need to be in the title? Weren't they the government of Gaza? So they run everything there. It's like talking about US government departments as "Democrat-Run" or "Republican-Run" depending on who's the president. "analyzing wait times at the Republican-run DMV"
by EvanAnderson | 2025-06-29 20:59:10+00:00
> The best anti malware on any version of windows has always been to make your default account you use everyday a non admin account.

In the early 2000s up thru about 2012 I'd agree with you. Post-Vista malware adapted to UAC and now all malware works well as a normal user. Any data your normal user can access (local or on a remote CIFS server) is fair game for ransomware. Limiting administrator rights doesn't do anything to prevent the malware from getting at your data.

Persistence has moved to per-user, non-Administrator, too. Of course, all the various quasi-malicious customized versions of Chrome that end users inevitably install when they go searching for software to end-run their IT departments operates the same way.

I do think your daily driver Windows users shouldn't have administrator rights. It just isn't going to help much with malware.

I use physically separate boxes for my most sensitive activities (banking, mainly) but you could do nearly as well having separate non-admin Windows logons and compartmentalize your access to data you don't want ransomed. Isolation between different user accounts on Windows is actually fairly good. Just limit the common data the accounts can access.

Personally I've always wanted to use Qubes (and stop using physically separate machines) but I haven't taken them time to learn their contrivances.

Edit: I should have said "quasi-malicious customized versions of Chromium", not Chrome.
by tea-lover | 2025-06-29 20:59:33+00:00
You'll be relatively fine, stop panicking.

I live in a region with a very severe air pollution problem -- the worst day you remember is nothing compared to the typical winter day here, trust me on this. 200 µg/m³ of PM2.5 is a pretty average winter day, and in evenings it goes up to 1000 µg/m³, and sometimes even higher.

(The yearly average WHO recommendation for PM2.5 is no more than 5 µg/m³; in my neighbourhood the yearly average is around 150 µg/m³).

There are also high levels of chemical gaseous pollutants which nobody has bothered to measure properly over the past decade -- last time the gas monitoring worked at all, it showed persistent levels of 120-200 µg/m³ of NO₂ and 200-800 µg/m³ of SO₂, among many other pollutants (there are definitely high levels of at least H₂S, HCl, Cl, and HF).

In the warm period (which is short -- no longer than 4 months per year) it's much better, although chemical pollutants caused by heavy industry are very high all year round.

Yes, everybody has sore throats all the time, you often hear coughing even if nobody around you is sick, and I curse my fate for being born to this every single day. Yet the average life expectancy is "only" 10 years shorter compared to rich Western countries, and we have so many other problems (like high levels of smoking, high alcohol consumption, high levels of saturated animal fat in historically popular home foods, etc) that I very much doubt removing air pollution will improve it by much.

We definitely have never seen any healthcare system collapse or anything like that, and our COVID situation also wasn't any worse than anywhere else. I personally don't know anyone who suffered any noticeable long-term effects.
by alwa | 2025-06-29 20:59:35+00:00
And more than a little Juicero energy, for a lateral flow strip:

“Inne’s technology uses a lateral flow strip similar to those used in COVID-19 or pregnancy tests. Users place a small amount of saliva on the strip, which contains antibodies that bind to progesterone hormones. The strip is then inserted into a matchbox-sized reading device that takes photos of the strip over 10 minutes, analysing how hormone particles move and develop across the strip.

The reader processes these photos using biochemistry and image processing techniques to determine hormone intensity, which is then synced to a companion mobile app.”
by Zafira | 2025-06-29 20:59:39+00:00
I’m actually curious how they were able to exactly filter some of their less promising impulses.

Ive famously wanted the Apple Watch to be a standalone luxury product.

> Jony Ive envisioned the future of the Apple Watch as a luxury product. Not only did he want to build a $25 million lavish white tent to promote the first Watch, but he “regarded a rave from Vogue as more important than any tech reviewer’s opinion.” According to Mickle, “the tent was critical to making the event as glamorous as a high-end fashion show.”

Meanwhile Jobs always seemed to have an obsession with cubes (NeXTcube, Power Mac G4 Cube), no fans and nobody touching his products (the original iPhone “SDK” announcement was a badly received joke).
by godelski | 2025-06-29 20:59:47+00:00
It's a bit more complicated than that and I don't think you're being fair.

StarFlow and the AR models are fixed but DiT is being compared at different amount of steps and we don't really care if we generate garbage at blazing speeds[0]. Go look at... also Figure 10 (lol) from the DiT paper[1], it compares FID to model sizes and sampling steps. It looks like StarFlow is comparing to DiT-XL/2-G. In [1] they do {16,32,64,128,256,1024} steps which corresponds to (roughly) 10k-FID of 60, 35, 25, 22, 21, 20. Translating to StarFlow's graph we'll guesstimate 21,23,50. There's a big difference between 50 and 23 but what might surprise you is that there's a big difference between 25 and 20. Remember that this is a metric that is lower bounded, and that lower bound is not 0... You also start running into the limitations of the metric the closer you get to its lower bound, adding another layer of complexity when comparing[2]

The images from the paper (I believe) are all at 250 steps, which StarFlow is beating at a batch size of 4. So let's look at batches and invert the data. It is imgs/sec so let's do (1/<guestimate of y-value>) * batch. We get this

Batch DiT SF 1 10s 20s 2 20s 30s 4 40s 30s 8 80s 30s 16 160s 30s ...

So what's happening here is that StarFlow is invariant to the batch size while DiT is not. Obviously this won't hold forever, but DiT doesn't get advantage from batching. You could probably make up these differences by caching the model because it looks like there's a turn from model loading dominating to actual generation dominating. Whereas StarFlow has that turnover at batch 2.

And batching (even small batches) is going to be pretty common, especially when talking about industry. The scaling here is a huge win to them. It (roughly) costs you just as much to generate 64 images as it does 2. Worst case scenario, you hand your customers batched outputs and they end up happier because frankly, generating images is still an iterative process and good luck getting the thing you want on just the first shot even if you got all your parameters dialed in. So yeah, that makes a much better product.

I'll also add 2 things. 1) you can get WAY more compression out of Normalizing Flows 2) there's just a ton you can do with Flows that you can't with diffusion. The explicit density isn't helpful only for the math nerds. It is helpful for editing, concept segmentation, interpolation, interpretation, and so much more.

[0] https://tvgag.com/content/quotes/6004-jpg.jpg

[1] https://arxiv.org/abs/2212.09748

[2] Basically, place exponentially growing importance on FID gaps as they lower and then abandon the importance completely because it doesn't matter. As an example, take FFHQ-256 with FID-50k. Image quality difference between 50 and 20 is really not that big, visually. But there's a *HUGE** difference between 10 and 5. Visually, probably just as big as the difference between 5 and 3. But once you start going below 3 you really shouldn't rely on the metric anymore and comparing a 2.5 model to 2.7 is difficult.
by tialaramex | 2025-06-29 20:59:57+00:00
It's not so much the need for arbitrary storage, the problem is that even easy rationals can't be expressed in the IEEE floats

Take realistic::Rational::fraction(1, 3) ie one third. Floats can't represent that, but we don't need a whole lot of space for it, we're just storing the numerator and denominator.

If we say we actually want f64, the 8 byte IEEE float, we get only a weak approximation, 6004799503160661/18014398509481984 because 3 doesn't go neatly into any power of 2.

Edited: An earlier version of this comment provided the 32-bit fraction 11184811/33554432 instead of the 64-bit one.
by daveguy | 2025-06-29 21:00:25+00:00
So you hadn't read your reference before you read my post? If so, you would have known the only illegal chess move was a missed attack square between a castle. For the record I didn't see any of your response before I completed it. Didn't realize you were going to jump to defend so quickly.

Well, I hope your day is going well. Keep on cheerleading.
by geoctl | 2025-06-29 21:00:46+00:00
Thank you really for your comment. I was actually hoping myself to get more questions that are related to the internals and architecture of Octelium, especially from those who are familiar with commercial ZTAs such as Cloudflare Access, Teleport, StrongDM, Google BeyondCorp, Pomerium and many other ZTNA/BeyondCorp based solutions.
by NoOn3 | 2025-06-29 21:00:56+00:00
I don't think this is done on purpose at the state level in Russia or China, It's just that sometimes government don't pay attention to those who do it if this is done in relation to somehow unfriendly countries. But the US also uses hacking for hostile purposes. For example, Stuxnet and some other cases. Yes, it's not ransomware, but the difference is not that huge. Western-backed countries like Ukraine are also doing the same. Anyway Just use Linux and you'll be fine for a while.
by ukprogrammer | 2025-06-29 21:01:25+00:00
can anyone comment on what their experience of using mise is vs. other tools a a la nix home-manager/flakes?

I see this "one tool to rule them all" and instantly my senses go off that this is too good to be true to work in all the long-tail scenarios.

There always seems to be some strange edge-cases with tools of this nature.
by Neywiny | 2025-06-29 21:03:23+00:00
The windows support is interesting because Python dropped 32-bit x86 for Linux, yet kept it for Windows (and maybe ARM). That means at the end of the day unless they're doing stupid things, the code can't be assuming 64-bit, which meant once I modded the auto tooling to remove the lock-out it worked just fine. So what my thought is, is that I guess I understand both sides. It's not hard to just compile it yourself if you have the expected configuration, but it's also usually not much work to compile a package twice for a release flow once you have the pipeline setup.
by zingababba | 2025-06-29 21:04:40+00:00
It's interesting, I talk to a lot of vendors and suddenly I'm noticing a still small but growing reticence to share too many details about features unless there is an NDA in place. Things previously that vendors would gladly share in order to drive interest. Ideas themselves are a very real currency when implementation becomes increasingly trivial. I believe there is a growing awareness that moats are shrinking.

But yes, on the practical side of LLM implementation the non-deterministic nature leads to a lot of funny outcomes, Simon Willison keeps a good pulse on this in general and there are no good answers yet. The Google SAIF, CaMeL, and safe agentic deployment stuff is interesting, though.
by titzer | 2025-06-29 21:05:22+00:00
> When you convert from int to float, the number stays accurate to however many digits

The point of the article is that this "however many digits" actually implies rounding many numbers that aren't that big. A single precision (i.e. 32-bit) float cannot exactly represent some 32-bit integers. For example 1_234_567_891f is actually rounded to 1_234_567_936. This is because there are only 23 bits of fraction available (https://en.wikipedia.org/wiki/Single-precision_floating-poin...).
by lurkingllama | 2025-06-29 21:05:23+00:00
An iOS app that lets you change the paint color of your rooms and try out new interior design styles (ex: Rustic, Coastal, etc).

I built it because I was blown away with what the latest image generation models can do and found that interior design is one area where it could already provide significant value for people. I’ve already used it in just about every room in my house to help me decide on:

- which paint color I should use

- how I should arrange my furniture

- what color theme I should be using to match the design I’ve gone with

- general inspiration on decor

It’s free to download to try with sample imagery. Unfortunately due to the cost of image generation, you won't be able to upload your own photos in the free version (yet). But I’m constantly improving the app and would really love some feedback.

https://apps.apple.com/us/app/roomai-restyle-your-home/id674...
by NickC25 | 2025-06-29 21:05:24+00:00
>The worst is some flooding and damage at coastal areas, but it’s always anti-climactic.

The residents of what used to be Ft. Meyers Beach would probably disagree with you.

>Hurricanes themselves are more or less a solved problem in Florida.

I have been in Florida for nearly a decade now. I'd say that the above statement is at best, disingenuous. It's just not true. MAYBE Cat1 hurricanes are a solved problem, but nothing above that. The busiest economic center in Florida (Miami's Brickell area) is 6 feet above sea level. Any major storm locks that part of town down for days. My own building's parking lot is 5 feet above sea level, and yes, it's flooded every time we have a storm.
by jawns | 2025-06-29 21:06:11+00:00
The headline is somewhat misleading.

The device tracks progesterone levels via saliva. It's currently possible to track those levels via urine or blood, but saliva is probably the most convenient.

But here's the catch. If you desire to avoid pregnancy, you avoid sexual activity during the fertile window that the device indicates. This is known as a fertility awareness method, and in Catholic circles it's also known as natural family planning.

It is not a contraceptive in the sense that it allows you to have sex during the fertile part of your cycle but not get pregnant.
by mpalmer | 2025-06-29 21:06:17+00:00
I'm sure believing that helps you if that's been your own experience. But it's demonstrably possible, at least for people for are not you.

Like, are you reading "find joy" as "find a job doing what you already love"? Those are different things.

This affectation of weary cynicism is so easy and popular. I'm over it.