MurphyA/hacker-news huggingface dataset:
by tux3 | 2025-04-21 22:38:59+00:00
In fairness, I wouldn't say it's dolphin I'm attached to in particular, I think I'm just not in the target audience for Finder.

The tradeoff is that it makes simple things simple, and everything else complicated.

I'm uploading a config file on a website. It's in ~/.config, and any reasonable file explorer won't show hidden files by default. In Finder there's also no button or setting to show hidden files. They really can't, it would make the UI complicated.

You can't navigate to a hidden folder by typing its name (let's not get too creative!). The file dialog box lets you type file names, as Jobs intended, anything else is an error.

This won't be news to anyone, as most people will have run into it before. Most people probably remember that the hidden shortcut is Command + Shift + Period. But everything in Finder is like this, and I'm just reminded at every turn that I am the person Finder was specifically not built for.

So, it's just not for me.
by LinuxBender | 2025-04-21 22:39:16+00:00
A couple of browsers can connect to Tor without installing anything extra so maybe as the internet is tightened down more browsers will add this ability. To your point though it is still slower and people despise latency so the faster sites will likely win out.

In terms of legality it is not clear to me that countries will enforce the laws of other countries even if they are allies. Global trade is changing and I suspect that could affect international enforcement as dependencies shift, maybe. Time will tell.
by ijk | 2025-04-21 22:40:21+00:00
Inference using an API costs money. Not a lot of money, per million tokens, but it adds up if you have a lot of tokens...and some of the obvious game uses really chew through the tokens. Like chatting with a character, or having the NPC character make decisions via reasoning model. Can easily make the tokens add up.

Games, on the other hand, are mostly funded via up-front purchase (so you get the money once and then have to keep the servers running) or free to play, which very carefully tracks user acquisition costs versus revenue. Most F2P games make a tiny amount per player; they make up the difference via volume (and whales). So even a handful of queries per day per player can bankrupt you if you have a million players and no way to recoup the inference cost.

Now, you can obviously add a subscription or ongoing charge to offset it, but that's not how the industry is mostly set up at the moment. I expect that the funding model will change, but meanwhile having a model on the edge device is the only currently realistic way to afford adding an LLM to a big single player RPG, for example.
by anonym29 | 2025-04-21 22:42:23+00:00
I want to clarify that I'm bouncing around policy ideas here, not making impassioned calls for specific policy positions.

Your concerns about state-sanctioned racialization / eugenics are certainly valid and historically supported.

I'd answer your call to give parents money with a question though - what money? The US, at the federal level, already spends trillions more than it collects each year, and now over a trillion dollars a year on interest payments, too. I don't believe we can just keep borrowing to infinity, consequence-free forever.

It also raises a question of needs prioritization. Do parents need that help more than homeless people do? What about bright but underserved kids from urban communities who might have the cognitive horsepower to become doctors but lack the financial means? What about foreigners living in far worse conditions than what we consider "poverty" here, like child slaves forced to mine toxic rare earth minerals in Africa?
by alexdanilowicz | 2025-04-21 22:42:36+00:00
> have you found the benefit of large LLMs already having detailed React training is just too high?

This.

We've tried a lot. We have been around since Oct 2023. First tried fine-tuning, but it's very hard to teach an LLM something new.

At one point, our product lived in a Figma plugin (https://x.com/Teddarific/status/1729153723728011618). To do this, we had the LLM output JSON, and then converted that to Figma nodes. This is sort of what you're saying. But the big issue was it would hallucinate many things and was really only good at the examples we fed it.
by meesles | 2025-04-21 22:43:12+00:00
I didn't think they meant literally the same. That would either be called a group trip, or a coincidence!

Liking beer doesn't really make people the same 'type'. Going to local bars to strike up conversations is great (one of my go-tos!), but those are not the 'same type of people' IMO.

I interpreted OP as a poorly veiled comment about wanting to avoid locals and local culture, instead preferring to beeline for a Starbucks or Gucci in a new city when 'traveling'. Or perhaps some snobbiness about what people like to do when travelling. Both of which are cringe.

Maybe I misinterpreted OP's preferences, though. My opinion is if you're going to use the resources to travel somewhere new, you should enjoy what is there, not seek copies of what you have at home.
by neom | 2025-04-21 22:43:42+00:00
I've never had any of these problems at all with uber eats, probably part of why I use it so often. I click "help with a past order" and the first option I get is "my order was wrong" if I click it, it presents me with my order and everything I paid for and asks me what to pick that is wrong, it then asks for a photo if it's a larger $ item (unless it's missing) and then it asks me if I want a refund via card or credit, and as I mentioned, it typically gives me a credit for the trouble.

Super interesting to me we have such different experiences. Maybe because I have UberOne?
by codingmoh | 2025-04-21 22:43:56+00:00
Thanks for bringing that up - it's exactly why I approached it this way from the start.

Technically you can use the original Codex CLI with a local LLM - if your inference provider implements the OpenAI Chat Completions API, with function calling, etc. included.

But based on what I had in mind - the idea that small models can be really useful if optimized for very specific use cases - I figured the current architecture of Codex CLI wasn't the best fit for that. So instead of forking it, I started from scratch.

Here's the rough thinking behind it:

1. You still have to manually set up and run your own inference server (e.g., with ollama, lmstudio, vllm, etc.). 2. You need to ensure that the model you choose works well with Codex's pre-defined prompt setup and configuration. 3. Prompting patterns for small open-source models (like phi-4-mini) often need to be very different - they don't generalize as well. 4. The function calling format (or structured output) might not even be supported by your local inference provider.

Codex CLI's implementation and prompts seem tailored for a specific class of hosted, large-scale models (e.g. GPT, Gemini, Grok). But if you want to get good results with small, local models, everything - prompting, reasoning chains, output structure - often needs to be different.

So I built this with a few assumptions in mind:

- Write the tool specifically to run _locally_ out of the box, no inference API server required. - Use model directly (currently for phi-4-mini via llama-cpp-python). - Optimize the prompt and execution logic _per model_ to get the best performance.

Instead of forcing small models into a system meant for large, general-purpose APIs, I wanted to explore a local-first, model-specific alternative that's easy to install and extend — and free to run.
by spiderice | 2025-04-21 22:44:55+00:00
The article states that historically Nicomachus of Gerasa didn't consider 2 a prime, in like 100 AD.

Nowadays 2 is considered prime. Seems silly to question why someone is claiming 2 is prime if that is how it is defined in modern day.

> What makes you think two is prime

The current mathematical definition of a prime number
by HenryBemis | 2025-04-21 22:45:12+00:00
CC companies have little choice. Laws in EU give right/priority to the customer, and the burden of proof to the company. Now, imagine pissing 1 million Europeans, and them all going to their banks and file a complaint. And Uber (or any other vendor) be hit by 1 million claims that they have to fight for one-at-a-time.
by zahlman | 2025-04-21 22:45:20+00:00
f-strings are actually translated into formatting and concatenation of the pieces at a bytecode level; they don't call `.format` under the hood and thus aren't what I'd call "syntactic sugar" in the traditional sense. But yes, the equivalence holds.

t-strings, of course, (will) translate at the bytecode level into instantiation of the Template object (and whatever code is needed to compute the Interpolation values in-place).
by ben_w | 2025-04-21 22:45:52+00:00
> an earlier example was team Trump's court filings challenging the 2020 elections but there is lots more. How does that furthering the neo-fascist / conservative / Trump mission?

With the usual caveats about politics, my understanding is that this is because Trump such a narcissist that he genuinely cannot process the idea of not winning, or being in the wrong.

If he really is like this, this is exceptionally dangerous. Ignore any question about intelligence for a moment, because everyone makes some mistakes: purging anyone who isn't a sycophant means that when he inevitably does make a mistake, nobody will be willing to stop it.
by crote | 2025-04-21 22:46:27+00:00
I think you're jumping the gun here.

An account is supposed to belong to a single person. If you are able to definitively prove that you are that person (for example, by showing up to an Apple store with your ID card), you should be able to restore access to it. An abusive partner won't have access to that.

Refusing restoration when someone else has access to it is understandable, but it works the other way around as well: an abusive partner would be able to prevent the legitimate owner from accessing the account.

I think it's far more likely that Apple just can't be bothered. Dealing with stuff like this is messy and complicated, and they aren't going to lose any revenue from those few thousand people a year losing their account and all their data.
by Hizonner | 2025-04-21 22:47:27+00:00
Your bank verifies that against the copy of your ID that was collected in person when you opened the account (unless you're using some fly-by-night FinTech "bank", anyway). At a minimum, the bank has already collected, and checked, a bunch of other information that it can use to verify you (more than Apple can collect without mass user rebellion). It has reasonable confidence you haven't lied about that information. The bank can use that information to look up more about you in public records (which the bank knows how to do because, unlike Apple, it doesn't operate in every jurisdiction in the world). And I suspect that the ID/video check is on top of proving you already know a password.

Perhaps even more important, the bank knows exactly what liability it's assuming, and what risk it's exposing you to. There's a limit on how much money the app will let you move (even if the bank doesn't tell you what it is). All the transactions you can do are defined by the bank, it knows what's going on at all times, and it can and does apply extra checks for risky-looking transactions.

And bank transactions in general have a whole reversal-based security layer on top of all that.

On the other hand, people use their Apple accounts to log into God-knows-what third party systems with God-knows-what risks and God-knows-what other security measures or lack thereof.

Oh, and also the bank charges you ongoing overt or hidden fees specifically to cover the costs of securing your money. And of insurance if it fails to do so.
by spiritplumber | 2025-04-21 22:47:45+00:00
This happened with me and Google (Antbot/Cellbots stuff, circa 2011). The difference is that the Google person in charge of the fork of my project was actively hostile to me. He told me that I was just a hobbyist and that my product didn't exist.

So I put a PCB of my product in his hand (it had some through-hole components), and squeezed it really hard, and asked him "If it doesn't exist, why is it making you bleed?"

All this at a meeting/presentation where my bot was literally running circles around theirs because mine worked and theirs stalled.

I think I have video of this somewhere, but there's no audio.

The guy left Google a year later, tried to sell bots independently, and folded. I on the other hand am still here.

It was a bit of a weird interaction overall. Why would someone say "this doesn't exist" while staring at it? I figured that haptic feedback would help with their solipsism at the time.
by mschuster91 | 2025-04-21 22:47:54+00:00
Aside from the high number of 1-star reviews complaining about the gadget dying fast - how in god's name is this thing still selling assuming it can actually strip HDCP for modern HDMI standards?

I'd have expected HDMI LA to be very very strict in enforcing actions against HDCP strippers. If not, why even keep up the game? It's not like pirates can already defeat virtually all copy protection mechanisms on the market, even before HDCP ever enters the field.
by yellowapple | 2025-04-21 22:48:15+00:00
Both of those things sound like all the more reason why labels should've been the preferred approach here:

> they can apply on a per-post granularity as well as a per-account granularity

I might want my verification to apply on a per-post granularity. For example: if I'm speaking on behalf of my employer, then my post should reflect that, whereas my usual shitposting and pet projects probably should not reflect that. Currently the only solution there is to have entirely separate accounts (which might not be unreasonable even with post-level verification, but still).

I'm also left wondering about the temporal aspects of verification. My employer might verify me as one of their employees now, but not necessarily a year from now. Per-post verification would reflect that I was authorized to speak on my employer's behalf at the time I made posts to that effect, without retroactively implying that for posts I made before I worked for that employer, and without that verification needing revoked for those posts after I stop working for that employer.

This is all admittedly a long ways off from what Bluesky probably intends with its new verification feature, but I guess what I'm getting at is that if labels can already do per-account and per-post granularity then having a second kind of label that's only per-account and doesn't offer anything that normal labels can't already do doesn't seem all that valuable.

> you can lose your blue check if you change your handle or display name, but labels stay the same no matter what.

That seems reasonable (but IMO questionably necessary) for handle changes, but rather unreasonable for display name changes.
by viccis | 2025-04-21 22:48:30+00:00
>Firstly, this thread is exactly about how I've felt racially scrutinized and suspect

I'm actually not talking about thoughts and feelings at all. I'm talking about domestic murders, deportations, and similar violence both from the state and from vigilantes.

>any pro-Israel opinion which is verboten in my neighborhood

This, and the massive shift against Israel among every demographic, is a result of a well publicized series of atrocities, a series that dwarfs the 725 civilians killed during the Gazan military's Operation Al-Aqsa Flood operation in both scope and cruelty.

>Extra points for simultaneously taking away the agency of all Arabs everywhere.

It's not a matter of agency, it's a matter of power. They still have agency, and the power structure I am talking about isn't contingent; it's categorical given its racialized nature.

>You seem to understand them so well.

I do, yes.

>Tell us what they all think.

None of my categorical statements have concerned the subjectivity of Arabs, only the objective contingencies with which they are presented. Plenty of them have chosen not to hide their opinions, and they are currently being tracked and rounded up in the US as a consequence.
by Maxatar | 2025-04-21 22:49:33+00:00
Yeah for sure.

If a sentence S is undecidable from your axioms for the natural numbers then there are two models A and B satisfying those axioms where A satisfies S and B satisfies not S. So which one is the standard natural numbers, is it A or B?

Either A or B will be an example of something that satisfies your definition of natural numbers and yet is not the natural numbers.
by gessha | 2025-04-21 22:49:57+00:00
> They enjoy grenades, insane explosives, machine guns, sniper rifles, tear gas, tanks and the most capable surveillance gear that money can buy.

Counter argument is it’s incredibly cheap and easy to kill somebody in today’s age. Guns are accesible, Americans will literally sell anyone their guns. Search engines can find you ways to synthesize explosives and other nasty stuff.

> IMHO, it should be the responsibility of all rich, Western democracies to aid any and all democratic movements and to safeguard them against reactionary movements.

Same response to this sentiment as my previous comment. Please respect other countries’ sovereignty.
by caconym_ | 2025-04-21 22:50:24+00:00
I drove my car to work today, and while I was at work I drove a meeting. Does this mean my car is a meeting? My meeting was a car?

It turns out that some (many, in fact) words mean different things in different contexts. My comment makes an explicit argument concerning the connotations and nuances of the word "made" used in this context, and you have not responded to that argument.
by alganet | 2025-04-21 22:50:53+00:00
Also, rearrangements.

In two dimensions is easier.

I cannot rearrange one pebble.

I can rearrange two or three pebbles equidistant from each other in just one distinct way (inverting the position of a neighbouring pebble).

And so on...

There are many ways to think of natural numbers without actual numbers.
by protocolture | 2025-04-21 22:51:04+00:00
This doesnt even seem like you are arguing for nuclear families.

I feel like you have conflated the nuclear family (a method of organising the basic social unit of a society) with "The importance of parents". The nuclear family simply isnt the only basic social unit with parents in it.

>nuclear families are so pervasively important

Parents are very important. The nuclear family does not have a monopoly on parents.
by Applejinx | 2025-04-21 22:51:59+00:00
That would be nice, I guess. In normie world a blue tick is supposed to mean 'vouched for and trustworthy, also high status so you should maybe show deference'. You can say it means whatever you want, but then watch how people fight for these things and argue about/rebel against them.

In practical terms, no, they are status markers.
by HenryBemis | 2025-04-21 22:52:34+00:00
Heh, Rome!! The meter wrote €40, the taxi driver asked for €60. He tried verbal-aggression and threatened to call the police. I took a photo of the meter and asked him to please call the police, I will show them the photo and tell them that he threatened me. He took the €40 and went his merry way.

Once upon a time (around 2005-2006) I had a colleague whose father was a taxi driver. He (the colleague) was openly telling us that every cabbie cheats. Once in a blue moon you find an honest one, or one whose cheating-meter-subsystem is broken.
by ivraatiems | 2025-04-21 22:53:26+00:00
Like many here, I worked at Epic just out of college and left after a few months. Everything others have said is true. I call the campus "Disneyland for sad people," because it's gorgeous, but also totally artificial, and nobody is happy.

The one great thing Epic did for me was get me to Madison, WI, an amazing city of great people where I found a much better job and stayed for many years. I still miss it sometimes.
by mschuster91 | 2025-04-21 22:54:36+00:00
> Counter argument is it’s incredibly cheap and easy to kill somebody in today’s age. Guns are accesible, Americans will literally sell anyone their guns.

At scale, yes. But if you're some deep in the bush village in Africa you probably don't have the money to pay for American guns, and even if you had the money you'd still have to get the guns into the country and that will raise eyebrows. That's why many of the rebel groups in Africa are somewhat Islamist-affiliated, be it AQIM, IS or whatever - they got oil sheiks and their nation states backing their efforts. What remains is funded by Russia via its convenient Wagner proxy, or by looting some sort of natural resource. But there are no relevant actors funded by any Western nation, no movements for democracy ever since the Arab Spring. We're leaving Africa to Russia and Islamists - not a good thing if you ask me!

And South America has it even worse with all the narco cartels. Some of them got more money at their disposal than the legitimate government.

> Search engines can find you ways to synthesize explosives and other nasty stuff.

These need precursor chemicals (which are, I'll admit that, available if you know someone in China or India), but again, getting hold of these in relevant scales to matter will raise eyebrows.

> Please respect other countries’ sovereignty.

I only respect democratically backed governments. Authoritarians of any kind - military juntas, warlords, religion-based dictatorships, ordinary kleptocrats, why should I have any respect for those who enjoy no backing of their populace? Why should anyone have respect for those who loot the natural resources and exploit the labor of those without power?
by twodave | 2025-04-21 22:55:57+00:00
I doubt it. I’ve described the issue to multiple eye doctors, none of whom mentioned this. It’s literally a psychedelic looking jagged line in my vision (which I can see with either of my eyes closed, superimposed over my vision). I’d think if it were an eye issue directly it only affect one or the other (or if both, it would be discernible which one is flaring up).

During an episode I usually first notice it as it is entering my focal region and interfering with reading. Then it sort of moves across my field of vision until it’s in my peripheral, and then goes away altogether.
by bamboozled | 2025-04-21 22:56:14+00:00
That depends on what the retail markup is on any item?

I don't think it really matters because if I buy $2000 worth of panels directly, I'm still getting hit with ~ $800 of tariffs.

You point out an interesting point here though, this plan will backfire even harder for the USA in my opinion because it sounds like American middlemen are now absolutely screwed. We will all just be buying from China directly and boosting their online retail capability.
by jrapdx3 | 2025-04-21 22:56:17+00:00
IME producing artwork that relies on subtle color relationships requires high quality, "full spectrum" illumination. Natural daylight is the obvious canonical option, but of course not always practical.

My studio gets very little natural light, so selecting optimum light sources is crucial. At one time the most practical option was D50 compliant fluorescent tubes, but these were only fairly acceptable.

Situation with LED lamps is also difficult. Even CRI 90 is inadequate, mainly poor red emission and excessive blue radiation. However D50 compliant LED fixtures are available if somewhat more expensive vs. typical LED lamps.

One vendor worth checking out is Waveform Lighting [0]. They offer several types of products with CRI 95 and CRI 99. I've been using their D50 'shop light' for several months and find it very satisfactory.

[0] https://www.waveformlighting.com
by protocolture | 2025-04-21 22:56:56+00:00
>I read Atlas Shrugged as an impressionable young teen, and developed some pretty horrible notions about society and morality (and literary technique) as a result. Of course I saw the error of my ways, in no small part by reading other books!

I would be more worried about you developing a terrible sense of narrative and character development. I would kill for a well written ancap paradise book (there are plenty of Ancom options) but it honestly just sucks as a piece of writing I cant get into it.