MurphyA/hacker-news huggingface dataset:
by kevindamm | 2025-07-31 23:02:56+00:00
> Maybe it's not only responsibility, but the capability for one to understand the situation one is in and what is at their disposal. ..and a hint of 'don't be evil' that leads to good outcomes despite what everyone thinks.

This understanding, and hint of broader/benevolent perspective, is what I meant by responsibility.

I'm not so naive as to expect it in general but I have known it to exist, that there are people who respect the responsibility implicit in proper use of their tools. The world is a labyrinth of prisoners' dilemmas so I get that there's a reasonable argument for being "irresponsible" whatever that means in the context.
by DoctorOetker | 2025-07-31 23:03:00+00:00
> In any case, to my knowledge, no cipher has ever unconditionally been proven secure except the one time pad.

Essentially yes.

> We just have a bunch of conditional security proof that are correct if the underlying assumptions (e.g. factoring primes is hard) are correct.

Again correct.

regarding Wiles proof of FLT: you may enjoy reading:

https://xenaproject.wordpress.com/2024/12/11/fermats-last-th...

I understand you for now lack the information I possess, but from my perspective I can absolutely confirm that FLT is correct, since I have a concise proof of it, which even interested highschoolers would be able to follow.

Even in a world where multiple formalized proofs will exist: who's opinion on the security of modern cryptographic protocols would you be more willing to follow:

those cryptographers who fail to prove FLT on their own, which is 99.999% of cryptographers today

a group of mathematicians that together painstakingly formalize a huge detour to prove it,

or a person who proved FLT on their own, thereby proving Fermat could have done the same, in stark contrast to Wiles who argues that Fermat couldn't have possessed such a proof "since not enough mathematics had developed yet in his era in order to prove it" so to speak?

suppose you find yourself lost in the streets of Tokyo, and ask a Prophessor of Geography how to get to destination X and someone who overhears the conversation the same? The person who overheard the conversation claims the professor is wrong, and offers to ask the shortest path to some closer destination Y. The Prophessor answers to take the bus to the train station, then the train to the airport, then some flight to a city in the jungle, then through some archeological Inca site, then the plane again, then a subway, .... and eventually you may or may not end up at Y. Then the person who overheard and proposed the Y challenge, gives a short concise route a few blocks down, and it proves correct. Which of these 2 people's answer will you trust on the original question X?

Who knows their way "around the block"? Fermat and anyone who comes up with a short proof, or the replaceable-gear-people who's collective answer may or may not result in a proof?
by Terr_ | 2025-07-31 23:03:08+00:00
And/or abolish the DMCA "anti-circumvention" laws, which makes it a crime to pick (digital) locks that you own, or discuss how one might do so.

It's still a problem if manufacturers force ExploitationOS on the device I bought, but it's not-as-bad when everyone can collaborate to disable the exploitation-parts.

https://www.eff.org/issues/dmca
by NomDePlum | 2025-07-31 23:03:14+00:00
The second step should be for Western states to call on Israel to disarm and relinquish control of Gaza and the West Bank.

Hamas cannot be trusted to oversee the Palestinian people for the sake of Israel then Israel cannot be trusted to oversee Gaza and the West Bank for the sake of the world.

Genocide and ethnic cleansing are the latest attrocity, they need to be the last.
by upghost | 2025-07-31 23:03:14+00:00
Just to clarify, I meant the rhetorical technique was being employed by the author of the article. He's downplaying the "AGI race" in order to normalize and validate the byproduct of the hype bubble to be as "normal and reliable as electricity and TCP/IP". It's clearly meant to attempt to disarm and appeal to skeptics, but there is more than enough dog whistling and performative contradiction in there to make it clear the true intention of the article -- praising Caesar.

For the record, I would be more inclined to be sympathetic towards the author if any receipts (i.e., repos) were produced at all, but as you so correctly stated, extraordinary claims require extraordinary evidence.

I agree you do not have burden of defending the author's claims, apologies if that was not clear.
by tristor | 2025-07-31 23:03:50+00:00
I live in Denver, I don't believe this article is true. I just got a renewal offer where they wanted to raise my rent by 30%. I have generally negotiated this down with my landlord (Greystar), but I also am well aware and they're more blatant about the fact that they use RealPage ever since the courts gave them a pass for blatant price-fixing and collusion. Greystar and two other major REITs own nearly 60% of all rentable residential properties in the Denver metro area, so pardon my skepticism, but I call BS on the thought that rent has or will ever go down in Denver.

Edit: The plural of anecdote /is/ data.
by ArneBab | 2025-07-31 23:04:05+00:00
Freenet / Hyphanet 0.7.5 build 1503 is now available.

This is a shared release announcement for 1502 and 1503. 1502 fixed an inserter tracing vulnerability and added several features while 1503 is a hotfix release that fixes regressions in 1502. The main changes are:

- fix vulnerability

- reduce visibility on the network

- support animated webp and more modern HTML and CSS

- enable direct linking to Freemail’s “New Message” page

- dismiss alerts and convenience

- substantial routing optimizations

- bug fixes

Hyphanet is a peer-to-peer platform for censorship-resistant and privacy-respecting publishing and communication.
by djfobbz | 2025-07-31 23:05:46+00:00
Are you're seriously comparing a few containers of fold-out solar panels and batteries to a portable nuclear reactor?

Let's do the math: To match even a 1MW reactor, you'd need 2,000+ panels, inverters, batteries, mounting, and approx. 120-150 man-days of labor...and that's with pre-cabled gear. You're still looking at 8+ containers, a full crew, and a full 10-14 days to deploy, not "a few hours."

A nuclear microreactor doesn't need 54,000sqft of land or weather-dependent storage. Nice idea for a solar camp but not a replacement for a compact nuclear source.
by tialaramex | 2025-07-31 23:06:21+00:00
C++ 26 doesn't have the technology, but it wouldn't matter anyway because what's crucial about Rust isn't the technology it's the culture.

If WG21 were handling Rust instead f64 would implement Ord, and people would just write unsafe blocks with no explanation in the implementation of supposedly "safe" functions. Rust's technology doesn't care but their culture does.

Beyond that though, the profiles idea is dead in the water because it doesn't deliver composition. Rust's safety composes. Jim's safe Activity crate, Sarah's safe Animals crate and Dave's safe Networking crate compose to let me work with a safe IPv6-capable juggling donkey even though Jim, Sarah and Save have never met and had no idea I would try that.

A hypothetical C++ 29 type safe Activity module, combined with a thread safe Animals module, and a resource leak safe Networking module doesn't even get you something that will definitely work, let alone deliver any particular safety.
by Twey | 2025-07-31 23:06:31+00:00
(As non-curmudgeonly as possible, this is a genuine question I promise!)

I see a bunch of projects and companies these days calling their product an ‘OS’. I'm not too much of a stick-in-the-mud to not see parallels between traditional OSes and things like Kubernetes (which actually doesn't brand itself as an OS, confusingly enough), but I'm genuinely very confused as to what it's supposed to signify in the branding of projects like these — e.g. this seems to just be a server that runs on Windows or Linux and provides a control panel for your UniFi devices and account. Could someone explain to me what the ‘OS’ is supposed to mean here? (Even if it's something very vague like ‘a sense of being a complete solution’!)
by ojame | 2025-07-31 23:06:34+00:00
I'm not too familiar with the history of a few that you've mentioned, but the Mustang (excluding the GTD), Supra, Carolla, S2000, Z never had track focused cars. For the time-poor and money-rich racing enthusiast, lacking a turn key package isn't really an option.

Your local track days where you see the likes that you mentioned - you'll also likely get a few Porches etc too. But there's absolutely a culture of racing higher end cars, the GT3's, Ferraris (488 Pista, 360 Challenge Stradale, starting to see XX's around too), the Valkyrie and Valiant etc. There's also those that grab older Cup cars and track them to the track. There's absolutely a market for turn key, track focused, road legal Ferrari's.
Show HN: Read Faster with LLMs
by Jsuh | 2025-07-31 23:07:03+00:00
Hey HN. We’re two friends that love reading. We have an enormous backlog of books, blogs, and research papers but often lack the domain expertise and time to get through it all.

So we built Bitter, an AI reader that helps us quickly understand complicated books and papers. We’ve found it incredibly useful for skimming through long books / papers but then diving deep into the parts that seem especially interesting.

Currently, Bitter lets you: Upload a PDF or add any webpage/PDF through a URL Highlight text for instant explanations Click section headers to get a quick summary

Instead of a chat UI, the focus is on the content and the AI is integrated in more ambient ways. We’re more interested in “AI helps me as I read” rather than “AI reads for me”.

We’d love for you to try it out @ readbitter.com

Jeremy and Arnav

Here are some links to books/papers we’ve finally gotten around to reading:

The Beginning of Infinity: https://avalonlibrary.net/ebooks/David%20Deutsch%20-%20The%2...

Seeing like a State: https://files.libcom.org/files/Seeing%20Like%20a%20State%20-...

The Era of Experience: https://storage.googleapis.com/deepmind-media/Era-of-Experie...
by sarlalian | 2025-07-31 23:07:26+00:00
Much of it's going to boil down to personal preferences obviously, however it's very reasonable to argue that the trackpads on Apple laptops are the best in the industry. Generally Apple laptops have great speakers and sound, high quality microphones, with good noise cancelling. The laptop shell is bendy enough to not be brittle, but stiff enough to work even in a lap. Battery life is second to none, keyboard quality is good enough (often better than most PC laptops). Great screen quality, with glossy and matte options.

Their software ecosystem is a more mixed bag, great integration between devices and services, but definitely a walled garden (not 100% a bad thing), and the walls are getting higher (definitely bad).

Apple of today is very consumer and developer hostile, to the point of burning any and all goodwill that they have.
by bpc777 | 2025-07-31 23:08:21+00:00
Setup is a huge factor. I got a $300 parts "Telecaster" on Craigslist and took it to Bill's Music (https://www.billsmusic.com/) for their premium setup and it definitely took it to the next level in terms of the electronics, frets (especially worn and / or protruding), intonation, etc... So if you have a guitar you want to love that isn't quite there, consider getting a pro setup by a shop you trust.
by xyzzy123 | 2025-07-31 23:08:43+00:00
Ahhh that's it, I think. It was on ODROID H3+, these run on pentium silver N6005 which don't support AVX, which means that "newer" MongoDB won't work without jumping through hoops to compile from source. I just ssh'd into the vm where I run it and it seems like I DID eventually get it working - with mongodb 4.4.x but it's not supported anymore :(
by estebanrfp | 2025-07-31 23:08:45+00:00
I'll send you the complete documentation, it's super easy to create applications with artificial intelligence, simply by pasting the official documentation to any assistant and asking it to build it for you and, as if by magic, you'll have it working thanks to the fact that GenosDB is loaded integrated from the CDN. https://github.com/estebanrfp/gdb/wiki/GDB-API-Reference And here's a post from the author on how to build a distributed todolist app in real time.https://genosdb.com/build-a-to-do-list-in-minutes-with-genos...
by chromanoid | 2025-07-31 23:09:03+00:00
You seem to have an agenda here. I am sure there are many many visions of special effects and story arcs that could never be realized because of not being able to pull it off. This will change now. Green screens and sophisticated SFX tech will not be necessary to create fantastical images. You may call these kind of movies low brow entertainment but I am very curious to see indie movie interpretations of my favorite litrpg books.
by jjjutla | 2025-07-31 23:09:21+00:00
Thanks, we use a similar approach to GitHub's stack graphs (https://github.blog/open-source/introducing-stack-graphs/) to build a graph structure with definition/reference nodes. For dynamic typing in protobuf, we use the language compiler as an intermediary to resolve dynamic types into static relationships, then encode the relationships into protobuf.

Yes, we don't feed entire codebases to the LLM. The LLM queries our indexer for symbols names and code sections (exposed functions, data flow boundaries, sanitization functions) to build up the call chain and reason about the vulnerability.
by toast0 | 2025-07-31 23:10:45+00:00
There's places all over where land, and sometimes land with buildings gets very inexpensive because there's not much demand.

Here's a listing for a parcel for $9000, that's been listed for over a year[1]. Denver seems like a nicer place than Detroit, IMHO, but it's possible for there to be more supply than demand.

I suspect at 5% annual growth in units, you would be able to reach the point where there's not enough demand for builders to recover costs. It might take a few years, depending on just how much unmet demand there is.

[1] https://www.redfin.com/MI/Detroit/1752-W-Canfield-St-48208/h...
by msukkarieh | 2025-07-31 23:11:13+00:00
hey I'm Michael (the other cofounder). If the products are purely internal[1] then you're able to use, modify, and distribute the code as you please (even if you're a commercial org). If you have any additional questions about the license feel free to reach out at license@sourcebot.dev

The Fair Source website is a great resource to learn more: https://fair.io/

[1] The only restriction on the code is that it cannot be used for a commercial product that substitutes for our software. We have a few teams that have connected Sourcebot into internal dev dashboards! This is 100% allowed by the license
by mlanza | 2025-07-31 23:11:19+00:00
Although I’ve been using ChatGPT since the early days, I hadn’t spent much time exploring the broader AI space—until recently. Our organization has started taking it seriously, forming several committees to examine it from all angles.

That shift pushed me to level up. I went from casual use to deep study, consuming as much as I could and spending many hours trying to make sense of it all. It was a major investment of time and attention. Once I began to absorb things, I felt I wanted to share my thoughts with those who are standing where I once was.

As a developer, I found myself more excited than others on the committee. Even though I don’t code full-time anymore, the possibilities I saw excited me. I’ve only dabbled in agentic tools like Gemini CLI so far, but I plan to go further. For the time being, I'm swamped in other work, but I plan to return to AI work as time opens up.

I don’t know where you are in your own AI journey. This course is for people who use ChatGPT regularly but haven’t gone much further—those who treat it as a better Google, but haven’t yet unlocked its potential. It’s general in scope, grounded in ChatGPT, but really about AI more broadly.

This is the kind of thinking I was lucky enough to do as part of our AI think group. I hope it’s useful to someone who’s just starting to see what’s possible.

This is shared with my employer's consent.
by Tainnor | 2025-07-31 23:11:32+00:00
> who's opinion on the security of modern cryptographic protocols would you be more willing to follow

I'll follow the people who have actually done work in cryptography. I'm neither under the impression that Wiles himself (or Fermat, if we could resuscitate him!) would have much to say about cryptography, nor do I believe that you have a "simple" proof of FLT.

But in any case you missed the substantial point of my comment: whether or not FLT is true (and no matter how short the proof is) is completely irrelevant to modern cryptography, which relies on entirely different problems (e.g. factoring or discrete logarithms).
by GuB-42 | 2025-07-31 23:11:41+00:00
I'd say the C++ community is torn.

Some part of it want C++ to be Rust, with a focus on compile-time safety. Others take "C++" literally as "C with extra stuff" and value performance over safety.

Companies like Google are likely to be in the former camp, as for what they are doing, security is critical. Unsurprisingly, Carbon is a Google project.

Video game companies on the other hand are likely to be in the latter camp. Most of the times, security is not as critical, especially for offline games, and memory corruption usually don't go further than a game crash. Tight memory management however is critical, and it often involves raw pointers and custom allocation schemes.
by rapnie | 2025-07-31 23:11:48+00:00
Indeed there's racism in many forms, shapes, and sizes. At what point should it be addressed, and where? I am certainly no expert here. What I observe in society when it comes to cultural change in general is that often a change is set in by a particular group who trigger a kind of overreaction on the theme by their activism, which in turn leads to severe resistance by others, followed by some 'middle road' becoming the new cultural norm over time. This can take many years.

You saw that with feminism, where at some point many fierce feminists held quite extreme views on the desired role of men in society. The vanguard opened the way, and then during many years feminist ideas started to permeate into every day society. On racism, Black Pete the helper of Saint Nicholas in a yearly children's festivity in the Netherlands, is an example where initially practically no one thought it racist. Until it was made a theme by activists. Now a couple years later about 3 quarters of the country see soot-faced Pete's (from the chimney through which they dispatch gifts), while a third clings to tradition with black face Pete and the argument "it isn't racist, and never was".
by skmurphy | 2025-07-31 23:12:07+00:00
Randy Bias also claims authorship https://cloudscaling.com/blog/cloud-computing/the-history-of...

this tweet by Tim Bell seems to indicate shared credit with Bill Baker and Randy Bias

https://x.com/noggin143/status/354666097691205633

@randybias @dberkholz CERN's presentation of pets and cattle was derived from Randy's (and Bill Baker's previously).
by guptadeepak | 2025-07-31 23:12:46+00:00
As someone deeply involved in identity and access management, this article breakdown highlights the ecosystem’s complexity and specialization. Key technical insights include:

1. The necessity of distinct identity solutions for workforce (IAM), customers (CIAM), privileged users (PAM/PIM), and machines, each with tailored security and scalability challenges.

2. Access control’s evolution beyond RBAC to ABAC and PBAC enables more dynamic, attribute-driven authorization—critical for fine-grained enterprise policies.

3. Machine identity management is increasingly vital, given the volume and risk profile of non-human identities, with automation around certificate rotation and service account lifecycle being complex yet essential.

Integration remains a persistent challenge, requiring standards-based approaches and careful planning to avoid security gaps. Looking ahead, how are you balancing emerging trends like AI-driven risk analysis and zero trust in your identity infrastructures without overwhelming operational complexity?
by sandworm101 | 2025-07-31 23:13:36+00:00
Actually, a semi truck tire is about 127" around. At 60mph, 1m per minute, that is more like 500rpm. For a car tire (80") that would be a little under 800rpm at 60mph. So you are seeing wheels spin aboit 10x per second, which is well within normal perception if you concentrate. Paint a dot on the tire and you would see it spinning around.

Drone blades spin in the thousands, high thousands of rpms.
by JumpCrisscross | 2025-07-31 23:13:52+00:00
> we are talking about a scenario where the only damage done is that the buyer must continue to live in the home they purchased at the price they purchased it for

In non-recourse states, you'd expect to see defaults as people leave the keys in the mail to reduce their housing costs by moving next door at the reduced price or rent. More broadly, people don't like seeing their wealth go down.

> Is a tax dollar better spent placating grumpy homeowners

If it gets you the reform, yes. The point is you don't get housing reform with grumpy homeowners barring a massive shift in voting patterns.

Also, let's keep scope in mind. You only need to bail anyout out if you reduce home prices. If you hold them constant in nominal terms, that shouldn't generate pushback. (If you hold them constant in real terms, people can continue feeling wealthier.)
by stego-tech | 2025-07-31 23:14:06+00:00
This. Highly competent technical ICs in my circles continue to (metaphorically) scream at their Juniors submitting AI slop and being unable to describe what it's doing, why it's doing it that way, or how they could optimize it further, since all management cares about is "that it works".

Current models excel because of the corpus of the open internet they (stole from) built off of. New languages aren't likely to see as consistent results as old ones simply because these pattern matchers are trained on past history and not new information (see Rust vs C). I think the fact nobody's minting billions turning LLMs into trading bots should be pretty telling in that regard, since finance is a blend of relying on old data for models and intuiting new patterns from fresh data - in other words, directly targeting the weak points of LLMs specifically (inability to adapt to real-time data streams over the long haul).

AI's not going away, and I don't think even the doomiest of AI doomers is claiming or hoping for that. Rather, we're at a crossroads like you say: stakeholders want more money and higher returns (which AI promises), while the people doing the actual work are trying to highlight that internal strife and politics are the holdups, not a lack of brute-force AI. Meanwhile both sides are trying to rattle the proverbial prison bars over the threats to employment real AI will pose (and the threats current LLMs pose to society writ large), but the booster side's actions (e.g., donating to far-right candidates that oppose the very social reforms AI CEOs claim are needed) betray their real motives: more money, less workers, more power.
by AnthonyMouse | 2025-07-31 23:14:19+00:00
Probably the best thing you could do in terms of social housing construction would be to have the government put up some capital to buy land and build new housing on that land, then immediately sell it and use the proceeds to do it again and again with exponential growth because it's actually profitable.

But that's also what construction companies would be doing regardless except for the subsidy, at which point you might be better off doing something like exempting construction companies from property taxes for two years if they at least double the number of housing units on their land in that time.