MurphyA/hacker-news huggingface dataset:
by aragilar | 2025-08-03 04:49:42+00:00
If you've got some cheap dob with no tracking it makes sense to do it in your backyard (where the point is to look through eyepiece, not take photos), but $20 per night for everything but the actual scope at a high quality site is pretty good deal. I would expect given the other outlays to get a scope plus camera worth this site to be pretty large (e.g. at least 50k), so this is going to be a club or a school level thing, not an individual.

For comparison, pre-covid (so the cost has likely gone up quite a bit now) it was $200 a night for a 2m-class telescope and $1200 a night for a 4m-class telescope at a similar-ish site.
by amy_petrik | 2025-08-03 04:51:09+00:00
>hub-center steering,

well I mean, the choices war to have a Stalinist style strongman to pull things like this, vs a Marxist style / "Committee of Public Safety" type power cabal scapegoating all things white, hetero, male, and nativist. Say what you will about Trump but he heard the people crying out while the other side was deaf.
by calrain | 2025-08-03 04:55:56+00:00
Lets stop calling it Vibe Coding.

I'm a heavy user of Claude Code and I use it like a coding assistant.

How well you can manage a development team in real life has strong correlations on how much value you get out of an LLM based coding assistant.

If you can't describe what success looks like, expect people to read your mind, and get angry at validating questions, then you will have problems both with coding assistants and leading teams of developers.
by danenania | 2025-08-03 04:57:24+00:00
It does raise a question though of what the “right” level of positive regard is. I agree that many models can feel sycophantic, but I also think a lot of humans are too negative and discouraging by default, toward both themselves and others.

For people who are too hard on themselves, it can be useful to be reminded of the “glass half full” perspective, even if it should be taken with a grain of salt.
by lutusp | 2025-08-03 04:58:06+00:00
> This kind of misinformation is often recycled in journalism and reference literature [ ... ]

Including this article, whose preferred outlook quickly becomes clear. This can all be resolved by objective research programs having strong controls and a high bar of statistical significance (much higher than P = 0.05). Speaking hypothetically, of course.

> My sympathies for parapsychology are self-evident.

This should be the first sentence in the article, not nearly the last, buried in the footnotes.

The article tries to say that, because of bad actors, parapsychology research has failed to resolve basic scientific issues. This is false. Bad actors on both sides notwithstanding, an evidence vacuum continues to draw air away, leaving room only for breathless argument.
by gsf_emergency_2 | 2025-08-03 04:59:23+00:00
It's strange that Zuck didn't just buy options on that guy? (Or did he? Would love to see the terms.)

Zuck's advantage over Sir Isaac (Newton) is that the market for top AI researchers is much more volatile than in South Sea tradeables pre-bubble burst?

Either that or 250M is cheap for cognitive behavior therapy
by nerevarthelame | 2025-08-03 05:01:09+00:00
Zuckerberg had a lot to say about AI in his part of Meta's Q2 earnings statement, but the follow-up earnings call [0] revealed the rather limited scope of AI in their ad business so far:

>"The first is enabling business AIs within message threads ... We’re expanding business AIs to more businesses in Mexico and the Philippines. And we expect to broaden availability later this year as we keep refining the product."

>"The second area of business AI development is within ads ... We’re currently testing this with a small number of businesses across Feed and Reels on Facebook and Instagram as well as Instagram Stories."

>"And then the final area that we are exploring is business AIs on business websites to help better support businesses across all platforms ... and we’re starting to test that with a few businesses in the US."

So it's just very small scale tests so far - not the sort of thing that would have any measurable impact on their revenue.

[0]: https://s21.q4cdn.com/399680738/files/doc_financials/2025/q2...
by infogulch | 2025-08-03 05:01:55+00:00
I think it was Terrance Tao on the Lex Friedman podcast recently that said that there are very often little mistakes in big proofs, but they are almost always able to be patched around. Its like mathematicians' intuition is tracking some underlying reality and the actual formalization is flexible. Yes sometimes digging down into a small mistake leads to an unbridgeable gap and that route has to be abandoned, but uncannily often such issues have nearby solutions.
by Ancapistani | 2025-08-03 05:02:17+00:00
> And the comms we’re seeing look bad.

Right or wrong, those messages look like very standard AWS-speak for "this is your mistake, not ours".

I have no idea if that's a reasonable stance or not, but I _will_ say that AWS's internal culture contributes to this sort of bad press. If they would respond to their customers with even a trace of empathy and ownership, this post would likely never have been written.
by mcv | 2025-08-03 05:02:28+00:00
Yeah, at some point the article says:

> I’d done everything right. Vault encryption keys stored separately from my main infrastructure. Defense in depth. Zero trust architecture. The works.

Did you? Is putting all your eggs in one basket "defense in depth"? Is total trust in AWS "zero trust architecture"?

I'm not defending AWS here; they fully deserve all the fallout they can get from this, and I do feel for the dev who lost all their stuff through AWS's fuckup. Lots of people do the same.

My current employer does the same. It's a major bank, and all of their stuff is Microsoft. Azure, SharePoint, Office, Teams, the works. I think it's foolish to trust a single foreign company with all your vital data and infrastructure, operating in q country where the government demands access to everything, but this is what everybody does now.

We trust "the cloud" way too much, and expose ourselves to these sort of fuckups.
by akra | 2025-08-03 05:02:42+00:00
The question is not whether you can or can't, but whether it is still worth it long term:

- There is a moat of doing so (i.e. will people actually pay for your SaaS knowing that they could do it too via AI) and..

- How many large scale ideas do you need post AI? Many SaaS products are subscription based and loaded with features you don't need. Most people would prefer a simple product that just does what they need without the ongoing costs.

There will be more software. The question is who accrues the economic value of this additional software - the SWE/tech industry (incumbent), the AI industry (disruptor?) and/or the consumer. For the SWE's/tech workers it probably isn't what they envisioned when they started/studied for this industry.
by samrus | 2025-08-03 05:02:46+00:00
Reductionist. Your phrasing it like the onky options are full central planning and libertarianism. Theyre both wrong. You need the free market to do what it is capable of, and regulate it when its isnt. The free market was going to let monopolies form. We have all already agreed thats bad. Khan's policies just updated that to the tech sphere
by AndyNemmity | 2025-08-03 05:03:09+00:00
I have the main agent use Opus, and have it always call sub-agents running Sonnet. That's the best setup I've found.

I turn off compacting to be manual, makes it easy to find a stopping point and write all context out to an md file before compacting.

First prompt isn't very important to me.

I haven't found i need special phrases. What matters is how context heavy I can make my subagents.
by giardini | 2025-08-03 05:05:11+00:00
rolph says >the reduction of infection is by reduction of mosquito population.

There is a secondary effect: ivermectin eliminates parasites that are a burden on the body's immune and repair systems. With the parasite eliminated, resources the body used to hold the parasite at bay are now available to deal with other problems, e.g., viral or bacterial infections.
by therealdrag0 | 2025-08-03 05:09:30+00:00
I guess there’s a lot of loaded language it’s not really worth debating. But I would never claim they’re ALL smarter than EVERYONE else.

But I would expect them to be smart and have relevant experience that everyone else doesn’t have, and I expect the companies offering these salaries aren’t doing it for fun but because they believe their IP or ability to generate IP is very hard to come by, and it’s better to monopolize that talent than let competitors do so. If they could hire 10 people equally as good for 1/10 the price then they would do so. But I’m sure there’s also a large dose of gambling too; even in sports highly anticipated freshman drafts can turn into duds.
by lanyard-textile | 2025-08-03 05:10:02+00:00
I definitely think that’s not a coincidence. C++11 is where you get the most useful feature tradeoffs with reasonable costs.

Smart pointers being a great example. Shared ptr has its issues, it isn’t the most performant choice in most cases, but it by far reduces more footguns than it introduces.

Compared to something like std::variant in the C++17 standard that comes with poor enough performance issues that it’s rarely ever a good fit.
by ggm | 2025-08-03 05:10:31+00:00
I purchased 2TB ssd for a home nas. I watched prices for 18 months. They didn't move an inch.

Prices for HDD do drop when the TB available rises but there seems to be a "floor" price.

For SSD, there definitely appears to be a floor price.

I am pretty convinced this is not cost btw. This is classic cost/price disjoint stuff.

The price is tracking people's willingness to pay.
by falah7582 | 2025-08-03 05:11:28+00:00
Abstract: The present invention provides a novel system to enhance data center energy efficiency by integrating thermoelectric generators (TEGs) with direct DC power distribution, battery storage, and variable refrigerant flow (VRF) cooling. This system harnesses waste heat from server components, converting it into usable electricity through TEGs, which supplement the direct DC power supply and battery storage. The VRF cooling system with direct-to-chip refrigerant loops ensures precise thermal management, optimizing the temperature differential necessary for TEG efficiency. By dynamically adjusting refrigerant flow, minimizing AC-to-DC conversion losses, and leveraging recovered energy, this system significantly reduces data center power consumption and achieves a Power Usage Effectiveness (PUE) close to or below 1.0. This integrated approach offers a sustainable, cost-effective, and scalable solution to improve data center operations.
by tw061023 | 2025-08-03 05:12:02+00:00
Reframe it as "you can do precisely what you need by generating code" and there is your answer.

Which is far better than to rely on a party which, as I said, has precisely nothing to do with what anyone needs. Which will inevitably produce solutions that can only partially (I am being generous here) be used in any particular situation.

As for "possibly buggy" - look, I can whip up a solid *DL parser complete with a C++ code generator in what, a week? And then polish it from that.

The committee will work for several years, settle on a barely working design, then it will take some years to land in major compilers, then it will turn out it is unusable because someone forgot a key API or it was unfeasible on VAX or something like that.

And my build process is not complicated, and never will be. It can always accomodate another step. Mainly because I don't use CMake.
by Dylan16807 | 2025-08-03 05:12:29+00:00
The extra space means you never have to calculate subnet sizes and you can let devices handle their own IPs. I think that's a pretty good tradeoff.

64 bits are already a pain in the ass to remember, and if you have specific memorization needs you can use small static IPs so that even with 128 bits available you only use about 64 of them.
by bruce511 | 2025-08-03 05:12:46+00:00
It's complicated, yes, but simplifying somewhat the "US" does not subsidize pharma startups.

Yes, VCs do put money into pharma, but that's private money very much expecting an (overall) profitable return. (Ironically most of that profit comes from Americans who have little or no way to collectively bargain on pricing.)

And yes, for bigger companies, there are tax breaks etc, but most of those are regular tax breaks that any company gets.

I won't get into the chronic disease stats. Other than to say that good primary Healthcare tends to reduce the incidence of chronic diseases.

Quality of care is hard to gauge on a national basis. It's a highly localized product, so experience can be different in very small geographic areas. Equally "quality of care" is s metric with many axies.

Naturally for-profit medical advertises a lot, and they strongly push the "quality of care" message. So the general perception of that is "private is better". How much of that is true, how much is perception, is up for debate. My personal experience (which counts for nothing) having experienced both, is that the standard of medical care is the same. (Fewer tvs in public care though.)

I'm not sure what importing doctors has to do with anything, or if it's even true. Personally I don't really care where a Dr is from.
by danenania | 2025-08-03 05:12:54+00:00
> by encouraging us to seek socialization with other humans and by helping us improve ourselves to be better companions

That’s also my optimistic hope. AI doesn’t make you less lonely by being your friend, but by helping you recognize and debug cognitive distortions and self-sabotage. In this way, it’s like an extension of CBT, one of the most effective forms of therapy according to data.
Show HN: BookTranslator – one-click full-book translation
by dottchen | 2025-08-03 05:13:37+00:00
Hi HN!

I built *BookTranslator.app* (https://www.booktranslator.app/) initially to help myself read English books in my native language. Later on as I shared on twitter, more and more people were finding it useful. So I thought it might also be helpful to share it here.

You can drag-and-drop an *EPUB or PDF (≤ 50 MB)*, pick one of *76 target languages*, and ~60 seconds later you get a layout-preserving translation plus a side-by-side bilingual reader.

The whole pipeline runs on the gpt-4o API with a bit of prompt-engineering to keep chapter structure, images and footnotes intact.

### Why I think it’s worth showing

* Most “AI translators” still force you to split books into chapters or plain text; I wanted true *one-click, whole-file* handling. * Speed: 100k words finishes in about a minute because translation requests are parallelised at the section level. * The bilingual view has proven handy for language learners and volunteer proof-readers.

### Tech stack

* *Frontend*: Next.js + Tailwind. * *Backend*: Node.js with GPT-4o calls

### Try it (no signup) There’s a *guest tier* without needing for signup and a *free tier)) providing 1,000 free credits so you can upload a small chapter or novella. Full pricing starts at a \$10/mo Pro plan.

### Looking for feedback 1. Accuracy vs. speed trade-offs – would you prefer a slower “highest-quality” model option? 2. Does the side-by-side reader help, or would you rather download just the translated EPUB/PDF? 3. Any edge cases (RTL languages, math formulas, EPUB3 media overlays) I should prioritise?

### Caveats & next steps * Still ironing out rare formatting glitches (tables, SVG images).

Thanks for reading—happy to answer anything!
by devilbunny | 2025-08-03 05:15:41+00:00
That would be sensible.

If I'm being very charitable, I would say you might naively set this up so that the next light's stopped traffic clears just before the previous light's traffic arrives, and perhaps that's how it worked during the day (I was a teen, I didn't go downtown during business hours much). After 5, it just encouraged you to punch it to make them all in one go.
by seydor | 2025-08-03 05:16:06+00:00
this is the nature of capitalism, capital begets more capital and the returns are exponential, however our societies, economies, and tax systems remain linear. We never really adjusted because it's complicated.

To me it's obvious that these extremes create perverse incentives, so the people who will take those jobs won't amount to much. I m willing to bet that Meta's AI efforts are doomed from now on.
by jandrewrogers | 2025-08-03 05:16:51+00:00
The stream of modern C++ features have been a god-send for anyone that cares about high-performance, high-reliability software. Maybe that doesn’t apply to your use case but C++ is widely used in critical data infrastructure. For anyone that does care about things like performance and reliability, the changes to modern C++ have largely been obvious and immediately useful improvements. Almost all C++ projects I know in the high-performance data infrastructure space live as close to the bleeding edge of new C++ features as the compiler implementations make feasible.

And no, reflection hasn’t “been solved for years” unless you have a very misleading definition of “solved”. A lot of the C++ code I work with is heavily codegen-ed via metaprogramming. Despite the relative expressiveness and flexibility of C++ metaprogramming, proper reflection will dramatically improve what is practical in a strict and type-safe way at compile-time.
by vel0city | 2025-08-03 05:19:01+00:00
> My hometown had something like 200mi^2 of public land

The city I live in is less than 30 square miles. Hard to have 200 square miles of parks when the town is only 30. And it's entirely surrounded by other cities and towns.

And are you just talking undeveloped woods or something? I'm talking parks, as in playgrounds, soccer fields, baseball fields, water fountains, stocked fishing ponds, etc.

But I do get that. Where I grew up (another US suburb), walking out my back gate connected to loads of creeks and bayous and woods and ranches.

Still though, goal posts moved even more than 200mi. We went from "there are no parks" to "there are no forests".

> They weren't regimented to respond to certain rules, to be calendarized to occur on certain days or times

Neither are mine. I didn't arrange a play date. My kids just went outside and played with the kids out there. We just go down to the park and play on the playgrounds with the other kids. We just hop on the bus and head to the downtown and see what's happening. We just go to the library. We just stopped by the farmers market. We just go to the pool. Maybe shoot some messages to some friends we're heading that way, but not necessarily something planned well ahead of time.

> you probably lived in what was an ivory palace compared to where I came from

I don't know where you came from. But where I'm from, the average household income isn't too far off from the current national average. This isn't some ultra wealthy place.
by rafishalom | 2025-08-03 05:19:48+00:00
Location: Remote Willing to relocate: No

Researcher with industry experience (PhD in CS, reactive synthesis, ICSE/FSE papers). Strong foundation in logic, formal methods, and theoretical CS. Recent work blends symbolic reasoning and LLMs (e.g., SMT + embeddings) for applied AI/data systems.

Looking for high-end opportunities—research or leadership roles with flexibility, strong compensation (salary, equity), and impact. Part-time or fractional considered. Remote.

Email: rafi.shalom@gmail.com LinkedIn: https://www.linkedin.com/in/rafi-shalom-b2248b54/ Time zone: UTC+3
by lazyeye | 2025-08-03 05:21:13+00:00
"The scale compared to what?" Compared to previous adjustments.

"What other examples do you have that been proven to indicate there's a clear pattern of abuse or power to target Trump?"

The Russian collusion hoax (weaponizing the CIA/FBI against a political opponent via a fabricated dossier paid for by Hilary Clinton).

The bypassing of the first amendment through censorship by proxy through pressuring social media organisations to suppress information the Dems didnt like. Alot of which turned out to be true (but inconvenient for the Dems).

The ridiculous lawfare against Trump where a DA in New York, who campaigned for the job on the platform of "getting Trump", who was famous for reducing felonies to misdemeanours but in the case of Trump, turned a misdemeanour into a felony. And this was for a crime for which there was no victim (nobody was complaining).

The lying/gaslighting the American people on the mental capacity of a president in the early stages of dementia, whilst a cabal of backroom operatives ran the country.

The lying/gaslighting of the American people on the open southern border where they first pretended there was no problem, then when it became an election issue, pretended it could only possibly be resolved with bi-partisan legislation. (Trump solved the problem within weeks of being in office with no new legislation). Alot of people believe the open border was simply a strategy to sway voter demographics in the Dems favour. This from the party that likes to lecture everybody about "protecting democracy".

The suppression of the Hunter Biden laptop story where 50 ex-FBI/CIA operatives lied about the veracity of the laptop so Biden would have a talking point for the upcoming debate.

There is no doubt alot more that we don't know about. This is a deeply corrupt political party.
by elbear | 2025-08-03 05:21:24+00:00
I have the feeling that people who don't like compilers are people don't like it when they're wrong, as compilers point that out more often. The problem is they don't have enough patience to learn the language, not just the syntax, but how to express solutions in that language. At that point, the compiler has your back and you can do fearless refactoring.
by fdr | 2025-08-03 05:22:22+00:00
I think it's pretty funny because, for example, Katalin Karikó was thought to be working in some backwater, on this "mRNA" thing, that could barely get published before COVID...and, the original LLM/transformer people were well qualified but not pulling quarter billion dollars kicking around trying to improve machine translation of languages, a time-honored AI endeavor going back to the 1950s. The came upon something with outstanding empirical properties.

For whatever reason, remuneration seems more concentrated than fundamentals. I don't begrudge those involved their good luck, though: I've had more than my fair share of good luck in my life, it wouldn't be me with the standing to complain.
by bruce511 | 2025-08-03 05:23:51+00:00
I agree the US system mostly works for well-employed people.

It is worth recognizing though that not all employed people get medical benefits. Indeed many minimum wage jobs, low income jobs, "casual" jobs etc come with no medical benefits.

It's also worth noting that I some states it's OK to get fired for being sick. At which point you may lose those benefits.

Plus in poor economic times (like being a federal worker right now) losing your medical because you lost your job, seems like a suboptimal outcome.

But I agree with your last statement, this system works just fine, for a large enough group, so there's little political incentive to change it.
by Jensson | 2025-08-03 05:24:05+00:00
I can see that being different from language to language, phonics is pretty complicated in English but in other languages with a much more direct relationship between the letters and the sounds its much easier. I learned to read in another language and I went from not being able to read to being able to read just about anything in a few weeks, because the phonics are much more consistent if I have heard a word and then I see it written I could easily connect the two without someone telling me.
by rezonant | 2025-08-03 05:24:23+00:00
The web platform can already do this, see SVG foreignObject elsewhere in the thread. The key is to have the proper bounds in place (cross origin resources, etc), and the infrastructure for that is already in place.

This just removes the extra step of relying on SVG to accomplish rendering the HTML, adds a path for getting this content into the accessibility tree, and supporting input on the rendered elements.