MurphyA/hacker-news huggingface dataset:
by why218 | 2025-06-20 20:25:52+00:00
My point with math is not that this only applies to fundamentally math like things but that these languages do for programming what the math notation does for math problems for me. "if i am thinking about any problem, its outside the scope of any programming language in the first place" yes I felt this way too before I learned an array language. Sorry that was a rude way to put that but I do genuinely mean that. Array languages help me solve problems I wouldn't know how to solve otherwise. that python code looks suspiciously full of symbols and one character variable names :). Maybe it would be easier like this: all(exes modulo index not equal zero for index in range(two, ex)).
by bryanlarsen | 2025-06-20 20:26:09+00:00
- roads definitely count. > 90% of traffic on roads are private cars. Without that roads would be a lot smaller, require less maintenance, et cetera. They might not cost 90% less, but would cost a substantial fraction of that 90% less.

- parking is a massive subsidy. 30% of a typical American city is parking. This is a multi thousand dollar per year subsidy for car owners.

- gasoline infrastructure is subsidized, mostly indirectly.
by WalterBright | 2025-06-20 20:27:09+00:00
Some startups are worker-owned through stock grants, but those grants are rarely evenly distributed. The founders hold the majority as long as they can.

It is a good practice for companies to include stock as part of the pay package. It encourages alignment of the company with the employees. Very, very successful companies follow this model, such as Microsoft, Apple, Amazon, Google, etc.
by samrus | 2025-06-20 20:27:16+00:00
This is great. While i dont agree with the vast majority of conservative viewpoints, a nation investing in itself is definitely something we need more of

People might raise the point that these native tech service providers arent as mature as the american giants. But that maturity can only be acheived through healthy local consumption. Once the EU uses them, and makes it lucrative for local competition to pop up, then they will rise to the challenge. This is great
by bryant | 2025-06-20 20:27:36+00:00
Keep an eye out for the monthly "who wants to be hired?" thread that'll be posted on Tuesday July 1st and post there.

You can see the June 2025 thread here: https://news.ycombinator.com/item?id=44159525

People still look at the current month's posts, but you'll probably have better traction with the changeover. Likewise check the Who's Hiring post the same day.
by throw0101b | 2025-06-20 20:28:04+00:00
> Without intel/amd/nvidia/ampere/qualcom what servers can one deploy?

Without memory or storage chips from Asian manufacturers what servers can one deploy? I think Micron is the last (?) major US-headquartered maker of these types of chips.

> What client devices can the EU buy?

Who makes the screens for client devices (phones, tablets, laptops, etc)? How many are American companies?
by realityfactchex | 2025-06-20 20:28:28+00:00
It can seem that way. They are more or less ultra-realists and ultra-skeptics.

Here's a 1-page abstract from the 2025 Demysticon conference: https://files.catbox.moe/j8rd0s.pdf

An excerpt from the abstract is below, listing some issues they have with the mainstream heliocentric model, which are presumably resolved elegantly by the Tychos model:

Anomalies of the Keplerian/heliocentric model include: 1: whether the Sun has a binary companion, 2: why only Mercury and Venus have no moons, 3: why Venus always presents the same face to Earth at its closest approach, 4: the “anomalous” precession of Mercury’s perihelion, and other aspects of Mercury and Venus, 5: the cause of the General Precession (Newton’s lunisolar wobble theory is not it, it does not match with observables), 6: why Mars and Sun exhibit 79-year cycles locked at a 2:1 ratio (and many other “harmonies” found between bodies), 7: why there is a sidereal diurnal variation of G, in interferometry results, and in the movements of stars, 8: why sunspot formation location shows a geocentric preference, and more.
by gugagore | 2025-06-20 20:28:33+00:00
FYI the use of "subtype" here does not, as far as I know, have much connection to the concept in class-based object oriented programming languages.

https://lean-lang.org/doc/reference/latest/Basic-Types/Subty...

A crucial difference between type theory (as its known in Lean) and set theory is that an inhabitant/element is of exactly one type.
by matt_s | 2025-06-20 20:30:21+00:00
Selling point from a developer and career perspective for sure. Its also fun to program in and at least for me made me think about solutions differently.

Its a negative point for engineering leaders that are the decision makers on tech stacks as it relates to staffing needs. LLMs not writing it well, developers that know it typically needing higher compensation, a DIY approach to libraries when there aren't any or they were abandoned and haven't kept pace with deprecations/changes, etc.

In the problem space of needing a web framework to build a SaaS, to an engineering leader there are a lot of other better choices on tech stack that work organizationally better (i.e. not comparing tech itself or benchmarks, comparing staffing, ecosystem, etc.) to solve web SaaS business problems.

I don't know where I stand personally since I'm not at the decision maker level, just thought I'd point out the non-programmer thought process I've heard.
by simion314 | 2025-06-20 20:30:42+00:00
Can you guess how much is my comment energy usage compares versus all the devices that run YouTube with the screen on?

What about those electronic devices that will end their life sooner because of that?

My hope is that other people will read my comment, add their own support or feedback and maybe at least one single person will think mroe and had the morals to refuse implementing anti environment and anti user features.
by LtdJorge | 2025-06-20 20:30:56+00:00
You can embed them in the torrent, same as the tracker. But the tracker has to handle all the state, while a bootstrap node just hooks you up with a few (or one) node in the DHT network. After that, it's fully decentralized.

There could other ways, embedding them on SRV DNS records, etc. It's the same issue as with getting a DNS server. You could in theory get addresses of bootstrap nodes from your ISP through DHCP (lol, sure).
by motohagiography | 2025-06-20 20:30:57+00:00
it was an internet rabbit hole and indeed it could be defused with some regional botany. there's some discussion about DMT content in other acacia species(?) and how it shows up in symbology.

i have the sense that one could construct a whole "ancient aliens" style ideology and paranormal theory of history around hallucinogens, but it would just be entertaining junk.
by graemep | 2025-06-20 20:31:13+00:00
I am talking about normies. not even developers. I mean my family, for example. My late dad used Linux for many years, my daughters do, my ex-wife used to (possibly still does). None are developers, although my daughters are somewhat technically inclined and can program (the older one is an engineer).

The point I am trying to make is that there are advantages for people who are NOT interested in every detail of the system.
by TZubiri | 2025-06-20 20:31:45+00:00
Oh I might have misspoken, what I meant by "the states" was "The United States" rather than "the individual states". I think capitalizing it as "The States" or even "the States" should be sufficient to distinguish it correctly in the future.

On another topic, I think neither individuals nor the states, have sovereignity over the land, only The State has. But I may be mistaken.
by toast0 | 2025-06-20 20:31:50+00:00
Manhattan traffic was pretty much at capacity. Bumper to bumper most of the time, certainly during peak times.

Reducing traffic to 90% of capacity makes a huge difference. A little bit of room here and there allows for much smoother flow and a lot better experience for those who didn't get priced out. And almost certainly better flow for busses, which is helpful for a lot of people.
by mrweasel | 2025-06-20 20:32:58+00:00
Even if AR glasses can replace smartphones, I think there will be a bigger push back than on smartphones. A lot of us have seen what smartphones have done to society, and will be reluctant to adopt any new form of technology that could have the same level of disruption. It's the same as with e.g. Facebook or Twitter/X. I've seen what these social media companies have inflicted on humanity and I will never signup for another one.
by simion314 | 2025-06-20 20:33:00+00:00
>They're trying to say Google and those who work there are greedy.

More then that, sure they show you ads, GREAT but they screw your device and environment, this makes them no money , a small fraction of users might buy premium but the rest of the users will waste energy and bdevice life, the developers contribute to killing devices and wasting energy.
by Viliam1234 | 2025-06-20 20:33:40+00:00
Is this "evidence" one of those silly things that rationalists so much love to talk about?

Don't worry, HN commenters can figure out the truth about Yudkowsky's articles from the first principles. They have already figured out that EAs no longer care about curing malaria, despite https://www.givewell.org/charities/top-charities only being a Google search away.

At the end, they will give you a lecture about how everyone hates people who are smug and talk about things they have no clue about. The lecture will then get a lot of upvotes.
by charcircuit | 2025-06-20 20:34:00+00:00
>Android doesn't succeed at what free software developers (or users) care about.

I disagree, unless you mean that they care about having there OS copy how UNIX worked 50 years ago.

>It's a TiVo-ized spyware delivery platform

Boiling things down to a pile of buzzwords is not productive especially when they aren't accurate.

"TiVo-ized": Android fully supports a user unlockable bootloader. Such a term doesn't even refer to the operating system, but to the device / bootloader, so it doesn't make sense to describe Android like that.

"spyware delivery": I assume this means that it includes a package manager that can install apps automatically. Several other Linux operating systems support that too. That isn't unique.

>absolute riddled with (often non-removeable, often installed by entities other than the user) badware

It is up to the vendor to pick what software they bundle with the OS. It's not inherent that "badware" has to be bundled.

Your criticisms of Android are not even with the operating system itself, but with downstream versions of it.
by goodpanda | 2025-06-20 20:34:09+00:00
I have been on this exact same quest and train of thought recently. I agree with almost everything you say about current UI elements sticking around. However, I do strongly feel that UI may be on the brink of a new revolution and we just don't know how it's gonna look and who's working on it.

Xerox Alto was the first GUI ever (ironically I chatgpted that in a text based interaction :D) and the leap from text to GUI was really not that obvious either I would think. I think we're in the text based computer era now and can't just know exactly where we will be in the next few years.

Now here's my crazy idea that will likely put me in a mental category: I think the ultimate "UI" will be intuition. It's not that I ask an AI to do something or fetch whatever I want. It's the act of just having constant access to all information and action subconsciously. Now for that you'd have to wait until Elon plants a chip in everyone or someone comes up with a less dystopian device :D

If you ever get to more clear answers to your questions please do share. Like I said I am very curious about this topic.
by all2 | 2025-06-20 20:34:19+00:00
> Alternatives for what? The build system? The IPC?

Honestly, I don't know. I don't even know what ROS is.

I could spec a multiplatform (computing and embedded with sensors and controllers) system, and come up with something like messaging on a CAN bus between different bits of the system and compilation targets for each piece of the system... Is that what ROS is?
by morganvenable | 2025-06-20 20:34:28+00:00
My old Datahand keyboards were dying, so I decided to build a replacement and it took over my life

Svalboard combines the amazing magnetic key action of Datahand with a unique anatomical fitment system and integrated pointing devices to give the most customizable, lowest-effort keyboard and mouse solution ever built.

There's a super friendly Discord community, too: www.svalboard.com/discord
by yupitsme123 | 2025-06-20 20:34:43+00:00
If you're going to massively inconvenience millions of people then you have to do better than a couple buses running faster. Better as in, using the new funds to completely revamp the whole system. If those faster bus lines don't provide an alternative to my previous route then they don't provide me an alternative to paying $9, losing my job, or picking a different city to live in.
by scarface_74 | 2025-06-20 20:35:18+00:00
Every large company sucks. You are always just a number. They serve a purpose though. They have a lot of money and allow you to exchange your labor for more of that money and publicly traded RSUs than enterprise development or government.

Every VC backed company sucks even worse, they work you to death, promise you “equity” that will statistically be worthless and they pay less.

I’m not negative. I know the deal - I give a company labor and expertise for 40 hours a week and they give me money. It’s a transaction it’s just that simple - I don’t care about “your mission” and they aren’t my “family”.

When that transaction of money for labor isn’t agreeable for either party, it’s time to move on like I’ve done 9x in my career.
by pixodaros | 2025-06-20 20:35:22+00:00
GiveWell is an example of the short-termist end of EA. At the long-termist end people pay their friends to fantasize about Skynet at 'independent research institutes' like MIRI and Apollo Research. At the "trendy way to get rich people to donate" end you get buying a retreat center in Berkley, a stately home in England, and a castle in Czechia so Effective Altruists can relax and network.

Its important to know which type of EA organization you are supporting before you donate, because the movement includes all three.
by TimTom89 | 2025-06-20 20:35:31+00:00
Hi HN,

I created *Aegilock*, an open-source, self-hosted bot protection solution designed as a GDPR-friendly alternative to traditional CAPTCHAs. It's invisible to users and doesn’t use cookies, US-based cloud services, or tracking.

It's based on a combination of Proof-of-Work challenges and server-side Machine Learning (ML) scoring, built with Node.js and Express.

I'd appreciate any feedback! You can check out the project here: https://github.com/DEIN_GITHUB_NAME/aegilock-onprem

Looking forward to your thoughts!
by advisedwang | 2025-06-20 20:35:51+00:00
My lay understanding is that the theory is that these earlier humans crossed the Bering land bridge but that they didn't proceed through a inland ice-free corridor (as there was none then). They likely traversed the pacific coast, which was not at the same position it is today and so would leave no evidence.

I have also seen discussion of sea arrivals, but they are much more hypothetical.

Also worth noting as the earlier arrival doesn't rule out the later ice-free corridor traversal as having also happens - it just means it wasn't the first people to arrive in the Americas.
by simion314 | 2025-06-20 20:36:01+00:00
>How else would you propose they make money (and satisfy contract obligations)? Because nobody else has figured out a better solution.

Do they make money from those millions of devices that run with the screen on? How ? Is some devil paying them for the damage caused to the environment?

For ads it makes sense but not for this shit policy, if they hate the users that they use youtube for free and ads are not enough for them then either put more ads, or find some other methods that do not screw then environment (maybe use the sound of crying babies each 30 seconds if you are not a premium )
by mos_basik | 2025-06-20 20:36:02+00:00
>For another, you might be in a lot of male-dominated spaces (e.g. this one), so the set of trans women you know is probably not that representative.

Damn.

I'm ashamed I didn't think of that framing myself.

Yep, I'm cis het male. Yep, I studied stem and I program and video game and dabble in motorsport and have experience with in-person and online spaces for all of the above. And yep, most of the trans women I know or have interacted with have been in these contexts. And I've seen a lot of "why are there so many trans women in programming?" "why are there so many trans women in video game dev?" etc.

But yeah, of course I (and the people asking the above questions) don't know how many trans women are in women-dominated spaces, cause we're not in those spaces.

Heck, I don't even know enough about those spaces to posit a plausible example of the mirror phenomenon. Grad school? Fiction writing? uhhhh needlecrafts? Are there forums somewhere where cis women are posting "how come there are so many trans men running needlecraft content creation channels?"?

Anyway, thanks for the food for thought.
by thomasmg | 2025-06-20 20:36:21+00:00
Thanks! So here is an explanation:

> The same baseless accusations of “unreadable”, “write-only” and “impossible to learn” are leveled at all Iversonian languages, k included.

I argue that these accusations are far from baseless. Sure, I can not cite a study, but neither does he. So I assume it's word against word.

> Readability is a property of the reader, not the language.

In my view this is an oversimplification. Having a steep learning curve clearly prevents adoption. The language design actively contributes to the problem. I'm just not sure on why. Could it be that the authors of these languages do not _want_ them to be used by others?
by graemep | 2025-06-20 20:36:24+00:00
London is a pretty good city for walking around and public transport.

When I lived in London (pre congestion charge) I used to walk for pleasure a lot simply because I enjoyed it.

I think road design and good public transport have improved it (although reliability could be better sometimes) since then. I do not agree with all the changes over the years, but net its great.

Lots of expensive cars but never really noticed the loud revving.
by bravesoul2 | 2025-06-20 20:36:35+00:00
But what do they do?

A:

With Oakley Meta's glasses, you can:

Capture high-quality video and photos hands-free with a built-in ultra-wide 12 MP camera.

Listen to music, podcasts and more through Bluetooth speakers seamlessly integrated into the frames

Make and take phone calls hands-free

Live-stream your adventures, travels or daily life

Use Meta AI for instant information and assistance – just say "Hey Meta".

----

If you don't need the camera then just use a smartwatch that does much more. Maybe get a camera wrapped to your forehead instead.
by yupitsme123 | 2025-06-20 20:37:43+00:00
People pay what they have to pay do get to work or get around. In that sense they could "afford" it, because the alternative is to move or get a different job.

You're trying to make it seem like driving in NYC is simply a lifestyle decision that people could choose to do or not do. For some people it is, for many people it's simply the only viable option. Once you make it no longer viable, people have no options left.
by yalogin | 2025-06-20 20:37:45+00:00
This is a direct result of the current administration's overt animosity with Europe and every other democratic nation. EU saw that the tech CEOs are cozying up to him and probably it as a direct sign that they will be bend the knee and do whatever is asked of them. It is enough motivation to move things out. Wonder how many more countries follow suit. At the very least countries that don't have the resources/infra will want to diversify, may be.
by michaelt | 2025-06-20 20:38:08+00:00
Firstly: By the time your organisation is big enough that nobody will bat an eyelid at buying a $4000 gadget, it’s big enough you’ve got several buildings with several floors. Probably some doors too.

So you don’t need one robot, you need ten. And if it works really well and it’s a big hit? One per floor won’t be enough.

Secondly: The expense and maintenance burden fall on the recipient of calls, but most of the benefit is to the person making the call.

I benefit as the caller, as I can trundle over to someone's desk and interrupt them - but the benefit to them as the recipient is much more indirect.

Thirdly: Pre-pandemic, a lot of video call stuff was pretty unreliable, making the expense of a robot a risky matter. Post-pandemic, far fewer people are in a physical office - it's not like there are important in-office meetings that only have a single remote attendee.
by imiric | 2025-06-20 20:38:52+00:00
Sure, but that's a problem with that provider, not with the service or protocol.

If you're not allowed to shop at Walmart, that might be an inconvenience, but it doesn't stop you from shopping anywhere else. That is the point of decentralized protocols. They prevent a single entity from creating a monopoly over the entire market. It's not just a philosophical argument about independence.

Besides, even Gmail obeys standard email features like DKIM, DMARC and SPF. As long as your server is not on the same network as known spammers, and doesn't have the usual spam signals, there is little chance that your emails will be blocked.
by why218 | 2025-06-20 20:39:26+00:00
one of the biggest differences between the k way and the python way too is actually limitation. in practice python has a bunch of stuff that doesnt fit too well together necessarily but that you can put together to make whatever you want often without much knowledge underlying what youre using (like how one can make a neural network with no linear algebra knoweldge) in the array languages you have a set vocablary and only a few ways of putting them together such that you become fluent with the whole languages and you brain starts to just put whole correct functions or programs together in the way one might do with a natural language you know well. Its a great exprience and it changes how you think. HOWEVER, I wont pretend for a second this does not come at a cost. The real power comes from fluent use of a small vocabulary meaning you dont get the immediacy of libraries, IO has to be dealt with by the programmer more so than in languages where you have alot of help form libarires and frankly non algorithmic code in these languages can be really funky and rarely as good. Unless you are writing very algorithmically intense stuff imo array langagues are best suited to embedded use in another language or not at all. For you and for most people I think things like the python you've shown there works plenty well enough.
by briffle | 2025-06-20 20:39:53+00:00
Youtube is $14/month. netflix is $17/month. That is VERY expensive, considering that most of Netflix's cost is production. Youtube has almost no production costs. Their users create content.

Maybe if they paid their users more, so they didn't also have to add 'sponsor segments' inside their video's it would make more sense. The bundling music for the same price is the same crap cable and phone companies have been doing for decades, that most people hate. Let me buy just youtube without ads, and keep spotify.

But as it sits right now, $14/month for video's without youtube ads, but still with ads added by the creators themselves (or paid promotion, I guess) is pretty expensive, compared to $17/month for actual movies with no ads at all.