MurphyA/hacker-news huggingface dataset:
by marcusverus | 2025-06-12 22:27:43+00:00
So the Heritage Foundation (a conservative thinktank) wrote a document about their conservative vision for America (a pretty standard move for a thinktank), ergo the Trump administration is a sockpuppet for the Heritage Foundation and is carrying out its vision? Sounds like a conspiracy theory, alright.

Who are these "primary operatives" who became "high-level officials"?

> Hard to believe? That's exactly what they're relying on

Is this a QAnon quote or an original?
by zahlman | 2025-06-12 22:27:44+00:00
I guess the subtext was lost. I was stunned by the idea that anyone would want such a thing to be "accessible via a web browser" at all. Self-hosting is the improvement you implement over letting someone else host it, but hosting it at all was an idea that would never have crossed my mind had it not been brought up. And it creates the impression that such hosting is somehow necessary to use the software.

It's a sort of complexity that seems, to me, completely beyond what the target audience - people who collect ROMs - would be interested in. After all, they're explicitly preserving software that itself works in a far more primitive way, because they have a personal interest in software that works in primitive ways.
by tumidpandora | 2025-06-12 22:28:06+00:00
I'm starting out as well. If you prefer coding in python, raspberry pi or anything adafruit is a good place to start. If you're cool with c/c++ Arduino ecosystem is quite mature . I decided to stick to the former so it's a less steeper learning curve for me and my little one. Get a BBC Micro:bit v2 and/or a CircuitPlayground Express. Both have a ton of sensors on board (temp, tilt, light, humidity etc) and some leds/neo-pixels to play around. Once you play with some of that, and want to get your hands dirty with breadboarding and soldering, get a basic kit (e.g. raspberry pi pico etc) and use MakeCode to try out some simple circuits with your microbit or circuitplayground express as the signal provider, play with servos, hobby motors, do some basic projects. Once you feel you're a bit proficient, might one to check out LeRobot for an open source robotic arm that you could train with reinfocement learning.. this is not exhaustive or the only path, there's many others, this is just my 2cents. Hope this helps!
by brailsafe | 2025-06-12 22:28:10+00:00
Thanks for the advice! After re-reading my comment, I should have articulated the thought differently. I've already been taking the path you and the sibling commenter described, all the variables are already more or less in-place, and I already have a strong love of the outdoors, long day hikes with sketchy scrambles, many wall climbers met, invitations received, etc.. So what I meant was, "One of the things I'd like to do is outdoor climbing, but I have a pretty clear path with no particular hurdles in the way of going for it, it's not as abstract as not getting fired or laid off from a job"

That said, I appreciate the sentiment nonetheless; more encouragement to get out and do hard, rewarding things, especially social things, should never be frowned upon.
by hashstring | 2025-06-12 22:28:15+00:00
There’s another closely related one, changing passwords periodically.

A lot of infosec authorities move away from this.

However, I always wonder, does it make sense for an org to stop with periodic password resets if: 1. the org is not very capable in detecting all account compromises; 2. in practice, users leak their passwords (e.g. by getting phished) and not all of them lead to direct intrusions, some credentials are sold first and it may take weeks/months to cause an intrusion.

I believe that in practice, forced password changes at least ensure that unknown compromised passwords will become outdated at some point in time, and I think that this is positive.

Ultimately, I believe the best thing to do is to move to FIDO2-authentication here.

But I do wonder what are other peoples takes on this topic?
by dd_xplore | 2025-06-12 22:28:17+00:00
When humanity (including all the homo species) gained intelligence over 2-300000 years ago, I'm genuinely surprised that they were able to live so long together!

Although 'species' is term is bit extreme, which is why they reproduced with each other a lot!

I also wonder what kind of history they might have! It's interesting to think about. Most of the history that we have is already opinionated....
by joshvm | 2025-06-12 22:28:28+00:00
The first thing I asked was along the lines of "Find me an implementation of X that does not depend on framework Y, because it's not maintained". o3 thought for a minute and then returns a repository that depends on Y. In its defense, 4.1 also found the same repo and commented that it "has a light dependency", which was cute, if unhelpful.

Adding a "think about whether your answer actually depends on Y" fixed it, and the response was pretty well thought out. My only gripe is the current persona seems to be tech-bro-informal. It opened with "TL;DR" and included a lot of developer slang that reads like it's trying to be cool in a way that masks overconfidence.
by cesarb | 2025-06-12 22:29:18+00:00
> As far as I've understood/remember SSO was logging on with a single ID and not logging on a single time.

What I remember is that the promise of SSO in the 1990s and early 2000s was that you would login only ONCE, onto your desktop. The operating system would use that login to acquire NTLM or Kerberos tokens, which would then be used to authenticate everything else: shared drives, printers, even web sites would be authenticated using that token (there's a way to pass through your desktop NTLM authentication to a web site, which IME is slightly annoying because it authenticates the connection and not the request, and therefore needs keep-alive HTTPS connections to work correctly).

Of course, that only really works that well in an homogeneous environment, for instance one in which everyone is using a few Windows NT versions on the desktops and all the servers, or one in which both the desktops and servers use the same specific proprietary Unix variant. What instead happened was the rise of heterogeneous systems, which do not share that common authentication mechanism. To make things even worse, each piece of software has its own separate authentication database, often (but not always) a pluggable one which might perhaps be coerced to forward the authentication attempts to another system, instead of directly using the operating system's centralized authentication mechanisms. AFAIK, you can still make it work, but it's a lot of work (for instance, IIRC forwarding NTLM credentials to web servers is disabled by default, and has to be manually enabled and configured to allow a given web server).
by chardz | 2025-06-12 22:29:50+00:00
I'm afraid I'm not too familiar with BESS in particular, and the people I spoke to are probably not too keen on sharing much (which is generally true of those who work in U.S markets). Unfortunately it's all very opaque.

I'd be happy to provide you the names of the firms I spoke to over email, if that would be of use!
by 8fingerlouie | 2025-06-12 22:30:15+00:00
What would Apple's incentive be to support Btrfs, Ext4, XFS or ZFS ?

Btrfs, Ext4 and XFS are all under GPLv3, which may or may not be a problem for Apple, but "just in case".

They tried with ZFS, but couldn't strike a deal with Sun/Oracle, so instead invented APFS.

Apple already delivers a stable filesystem. It may not be "best of breed", but it works, as billions of devices runs on it every day with zero problems.
by mc32 | 2025-06-12 22:30:19+00:00
The Sun had to begin. At one point it was just accreting gasses, then at some point gained enough mass to ignite. People also start at some point they begin as a daughter and grow eventually into a viable life. But also our galaxies had to form before our sun. So, yes there are beginnings to things. At one point they weren’t, at another point they were.
by klank | 2025-06-12 22:31:20+00:00
I concur.

I also find the assumption that tech-savvy individuals would inherently be for what we currently call AI to itself, be weird. Unfortunately I feel as though being knowledgable or capable within an area is conflated with an over-acceptance of that area.

If anything, the more I've learned about technology, and the more experienced I am, the more fearful and cautious I am with it.
by socalgal2 | 2025-06-12 22:31:44+00:00
Couldn't enter Japanese into the web version. Looks like it trying to read keys directly. Copy and paste don't work. Right clicking doesn't bring up a context menu with system options so no looking up words using the locally installed dictionary. No OS level spell checking that uses the user's dictionary.

I guess all of that is TBD though I suspect based on the tech choices will be way harder than it sounds.
by runarberg | 2025-06-12 22:31:57+00:00
I feel like you are trying to catch me in a contradiction. You may very well success (if you haven’t already) I am not good at debating. All I am trying to say is that Jerusalem is a segregated city now, like it was during the Roman period, but unlike during the Arab or the Ottoman rule.

> Both Ramat Eshkol and East Jerusalem more broadly are majority Arab.

East Jerusalem is yes. But there are inner settlements which exclude a certain ethnicity, which makes the city segregated.

Where did you get the information that Ramat Eshkol was majority Arab? I tried to search online and all I saw was the fact that it was a Jewish Neighborhood (a funny way to describe an illegal settlement).

https://www.jpost.com/business-and-innovation/real-estate/ar...
by addieg | 2025-06-12 22:32:48+00:00
Many companies have their first semantic layer in Looker, I know some with 250k lines of code in there. It's a pain to maintain on the model side, but also to use on the consumer side. No one likes the tool, but there's also no great alternative. Cube seems to be the best, but many heads of data engineering seem scared of vendor lock in since there doesn't seem to be a commercial case for a semantic layer only. At the same time, everyone now thinks they can just use LLMs to query data, no semantic layer needed. Maybe use some RAG for the business definitions, have your data modeled in Snowflake and have anyone ask a question. In my experience, text to SQL works great for clean, paper style cases with 5 columns that are clearly distinct, but not for real data. It's easy to build a demo but putting things into production - so you can for example run SQL/Python on the same definitions is a different beast. With all the LLM getting the dataset you want in Python for a quick experiment is still a pain -> we're working on this, the schema/contract can just be your Looker code. would love feedback!
by krisoft | 2025-06-12 22:33:28+00:00
Huslage said “I ALREADY paid for the weather balloons and they are no longer being launched.”

Past tense. You could say that you have already paid for something where the cost is largely up-front. Like for example you could say it for the aircraft carriers. Imagine that (ad absurdum) the administration would want to sink all aircraft carriers. Then you, or Huslage, could rightfully say “I have already paid for the aircraft carriers…”. You could complain that your tax dollars are being wasted by sinking them.

But with a recurring cost like weather balloons the same sentence doesn’t make sense. There you could say “I have been paying for those balloons” (for which presumably you got the data you wanted from the balloons). Once they no longer are launching them, you are no longer paying for them. (Modulo some stock remaining on the warehouse shelves I guess. But that is basically a rounding error in a government budget.)

What Huslage said makes sense if they think of the weather balloons as a large up-front cost, like an aircraft carrier. Huslage already paid for them and now they won’t be used anymore! What a waste! But in reality it is more like a recurring cost. Like for example if the pentagon had a Netflix account and now they are canceling it. You wouldn’t say “I ALREADY paid for the netflix account”. You haven’t “already paid” for it. You were paying for it up until now, and you won’t be paying for it from now on.

There are many great reasons for why it is a good idea for the government to keep launching weather balloons. Huslage “already paid for it” is not one of those great reasons. It demonstrates a misunderstanding of how weather balloons work.

But do change my mind. Why do you think it matters that taxes too are recurring? How does that make the weather balloons “already paid”?
by quantadev | 2025-06-12 22:33:56+00:00
People are intimidated by large tasks because they're thinking about the entire task all at once. This blog post points out the key element which is that you have to think about small easy tasks instead. Once you move your focus to small easy sub-tasks, it becomes much easier to start doing them because it's not hard.

The truth of the matter (especially with ADHD or HFA people) is that once you even start doing a small sub-task, you then quickly become addicted to or motivated to getting more and more of it done, and before you know it, you've gotten many sub-tasks done or even accomplished a large task you'd been procrastinating about.
by ath3nd | 2025-06-12 22:34:36+00:00
> As long as interfaces are well defined, comprehensive tests are written, memory is safely handled and time complexity is analyzable, who cares what the rest of the code looks like.

Software engineers and anyone who'd get hired to fix the mess that the LLM created. Also, ironically, other LLMs would probably work better on...not messy code.

> But transformers are offering us a way to build faster, to create more, and to take on bigger complexity

Wow. You sound as if building faster or creating more is synonymous with quality or utility. Or as if LLMs allow us to take on a bigger level of complexity (this is where they notoriously crumble).

> we might enter a software golden age where the potential for creativity

I haven't heard of a single (good) software engineer whose creativity was stifled by their inability to code something. Is an LLM generating a whole book in Hemingway style considered creative, or a poem? Or a program/app?
by hluska | 2025-06-12 22:34:46+00:00
Builder.ai had a totally different flow, but yeah, when boring stories and exciting ones compete to tell the same story, a very large percentage will run with the exciting story. It’s like death tax in US political history - the US has never had a death tax but it’s way more exciting to call it a death tax than an estate tax. Only now, instead of media being the primary disseminator of spin, we have people sharing exciting stories on social media instead of boring stories about building internal zoom and accounting issues.

Then social animals kick in, likes pour in and more people share. Social media has created a world where an exciting lie can drown out boring truth for a large percentage of people.
by zahlman | 2025-06-12 22:35:21+00:00
It was used on the Macintosh at release, so it must have predated Stevenson and Arce. I doubt that a description was formally published in the way that the others were. Wikipedia describes Atkinson's approach as a variant on Floyd-Steinberg dithering, and I imagine that he must have been aware of at least some of the prior work.
by DebtDeflation | 2025-06-12 22:35:32+00:00
My assumption when the story broke was that the 700 engineers were using various AI tools (Replit, Cursor, ChatGPT, etc.) to create code and documentation and then stitching it all together somewhat manually. Sort of like that original Devin demo where AI was being used at each step but there was a ton of manual intervention along the way and the final video was edited to make it seem as if the whole thing ran end to end fully automated all from the initial prompt.
by Arch-TK | 2025-06-12 22:35:50+00:00
Yeah I saw that picture and came back here. I think you are 100% right that the RAT is deployed.

From the video of the runway it also seems like the aircraft didn't do a short takeoff (ADS-B location data is always crappy on the ground in my experience so this is entirely unsurprising).

There was a "smoke cloud" from behind the left engine which could also have just been a dust cloud right after rotation.

The flaps allegedly could be at only 5° (which is why they're so hard to spot) because of the runway inclination.

The mystery thickens...
by snowwrestler | 2025-06-12 22:36:12+00:00
Cloudflare does not actually want to reverse proxy and CDN the whole internet. Their business model is B2B; they make most of their revenue from a set of companies who buy at high price points and represent a tiny percentage of the total sites behind CF.

Scale is just a way to keep costs low. In addition to economies of scale, routing tons of traffic puts them in position to negotiate no-cost peering agreements with other bandwidth providers. Freemium scale is good marketing too.

So there is no strategic reason to avoid dependencies on Google or other clouds. If they can save costs that way, they will.
by vizzah | 2025-06-12 22:36:40+00:00
I just can't stand email OTP. Before we had passwords, now we have passwords + email OTP. And doesn't matter if you forgot password - you will receive password reset to the same email. You already prove email ownership by resetting or using password - why sending another useless "security token" to the same email. Pure nonsense. Whoever designs all of this clearly has little idea of what they are doing :(
by rubyfan | 2025-06-12 22:37:15+00:00
I’ve been dreaming of a better contract writing tool for a while now.

I’m not a lawyer but I draft insurance contracts and work with reviewing lawyers closely. As a former software developer I miss version control, partial includes, conditional logic, etc. I am shocked at how poorly supported the business world is by the ubiquity of MS Word.

I’ve been experimenting with Typst now for some time and it has a lot of what I want in creating and versioning documents but I believe may be too technical to become integrated with existing workflows and the non-technical users engaged in the development process. Basically my experience is normal users tune out once you get outside of even basic MS Word.

I really want a great tool to exist but I’m afraid I’m an outlier and unique in my technical ability in this space. Nice to see others interested in such a tool.
by cesarb | 2025-06-12 22:37:41+00:00
> Signal app periodically prompts you for the encryption PIN to make sure you don't forget it.

At least Signal does not block the app until you enter the PIN. WhatsApp forces you to enter it before you can reach your messages, which not only is annoying when you're in a hurry, but also forces you to type the PIN even when you're in a place where it might be seen by someone else.

On the other hand, on Signal it's possible to leave the warning forever at the bottom of the screen without acknowledging it and typing the PIN, which kind of defeats its purpose.
by genman | 2025-06-12 22:38:48+00:00
I wonder if some external factors are at play like influx of people from different societies. There is now more wider cap also in England as presented here https://www.theguardian.com/education/2025/mar/10/boys-widen...

Interestingly earlier study found non existent cap in more equal societies https://www.theguardian.com/education/2008/may/30/schools.uk...

I have similar criticism about the possible causation of the recent study. This research doesn't disprove innate reasons, it only shows that correlation is not dependent on age but exposure time.
by tim333 | 2025-06-12 22:39:13+00:00
It's interesting that up to about 30s in the video you can see the plane climbing normally, then it loses power and starts falling, about 10s after take off.

Apparently the pilot radioed "Mayday…no thrust, losing power, unable to lift!” 11 secs after takeoff.

It would seem to fit with a bird strike on both engines. Or contaminated fuel I guess. The stuff about flaps seems irrelevant.

Quite likely this and Jeju Air crash in Korea and Sully landing in the Hudson were all caused by bird strike taking out both engines.
by mbreese | 2025-06-12 22:39:37+00:00
True, but how often do outages like this happen? And when outages do happen, does Cloudflare have any more exposure than Google? I mean, if Google can’t handle it, why should Cloudflare be expected to? It also looks like the Cloudflare services have been somewhat restored, so whatever dependency there is looks like it’s able to be somewhat decoupled.

So long as the outages are rare, I don’t think there is much downside for Cloudflare to be tied to Google cloud. And if they can avoid the cost of a full cloud buildout (with multiple data centers and zones, etc…), even better.
by gillesjacobs | 2025-06-12 22:39:37+00:00
Looks very cool!

I prototyped something like this with build123d for Python and Cursor + OCP VSCode plugin.

Build123d is too new with too little examples out there, unlike OpenSCAD. I can only get it to generate good code with largr reasoning models that access the latest docs. No fast iteration for build123d yet.
by Twirrim | 2025-06-12 22:40:14+00:00
Microsoft, Amazon, Oracle, Google, all sorts of large companies use them, and talk about it, publicly. They've all published whitepapers and resources about them. Microsoft even employs Dr. Leslie Lamport who created and maintains TLA+ (among other things).

Just for some quick examples:

Microsoft: https://github.com/Azure/azure-cosmos-tla, https://www.youtube.com/watch?v=kYX6UrY_ooA

Google: https://research.google/pubs/specifying-bgp-using-tla/, https://www.researchgate.net/publication/267120559_Formal_Mo...

Oracle: https://blogs.oracle.com/cloud-infrastructure/post/sleeping-... (note the author is a "Formal Verification Engineer", it's literally his job at Oracle to do this stuff)

Intel: https://dl.acm.org/doi/10.1145/1391469.1391675, https://link.springer.com/chapter/10.1007/978-3-540-69850-0_...

Jetbrains: https://lp.jetbrains.com/research/hott-and-dependent-types/

Arm: https://ieeexplore.ieee.org/document/9974354
by runarberg | 2025-06-12 22:40:43+00:00
I didn’t accuse you of denying the existence of Palestinans, I merely pointed out there are other people on this thread that do. Your rhetoric about the displacement of Palestinians as if there is only some free-market/free-choice dynamic at play, but not a systematic exclusion of Palestinians from certain parts of the city lends it self well with the people on this threat that go even further then you in their racist beliefs.

> Also Mosab Hassan Yousef famously denies existence of Palestinians. Is he racist as well?

Yes.

Regarding Zuheir Mohsen there is a difference when you deny your ethnicity in solidarity with your neighbors with a common cause, then when you deny the existence of an indigenous population who are suffering at the hands of an oppressive settler colonial power. Zuheir Mohsen is doing the former while Mosab Hassan Yousef is doing the latter. Only the latter is racist.
by SOLAR_FIELDS | 2025-06-12 22:40:55+00:00
In practice how this plays out is that the big wads of cash holders will make demand, and Google (or whoever, Google is just the standin for the generic Corp here) will give them the actual information privately. It will still never be trusted to be reflected accurately on the public status page.

If you think about it from the corp’s perspective, it makes perfect sense. They weigh the risk reward. Are they going to be rewarded for the radical transparency or suffer fall out by acknowledging how bad of a dumpster fire the situation actually is? Easier for the corp to just lie, obscure and downplay to avoid having to even face that conundrum in the first place.