MurphyA/hacker-news huggingface dataset:
by some_random | 2025-07-25 18:03:41+00:00
Yeah that's exactly the kind of framing that I am against. "caught in the dragnet" implies that there was some kind of mistake. Surely they didn't mean to argue for banning these ones, they just want to target 'porn' games. Nevermind that this started as just targeting 'extreme porn', we'll continue to say that the critics criticizing them for doing the thing that they are doing right now as arguing slippery slope.
by mystraline | 2025-07-25 18:03:45+00:00
'In the sun' != 'at the sun'

And you completely miss what I'm asking too.

Chemical reactions in the rods and cones are only a small portion of vision processing. The rest is in the brain, with a great deal of various processing happening, that eventually comes to cognition and understanding what you see.

And parts of the visual cognition system also synthesize and hallucinate vision systems as well, like the vision hole where the optic nerve meets the eye. But cognitively, the data is there smeared across time and space (as in a SLAM algo putting the data where it should go, not what is measured).
by AndyKelley | 2025-07-25 18:04:04+00:00
No, I hadn't read the linked thread until you prodded me. Now I have and I understand the situation entirely. I'll give a brief overview; feel free to ask any followup questions.

A straightforward implementation of memchr, i.e. finding the index of a particular byte inside an array of bytes, looks like this:

for (bytes, 0..) |byte, i| { if (byte == search) return i; } return null;

This is trivial to lower to well-defined LLVM IR.

But it's desirable to use tricks to make the function really fast, such as assuming that you can read up to the page boundary with SIMD instructions[1]. This is generally true on real world hardware, but this is incompatible with the pointer provenance memory model, which is load-bearing for important optimizations that C, C++, Rust, and Zig all rely on.

So if you want to do such tricks you have to do it in a black box that is exempt from the memory model rules. The Zig code I link to here is unsound because it does not do this. An optimization pass, whether it be implemented in Zig pipeline or LLVM pipeline, would be able to prove that it writes outside a pointer provenance, mark that particular control flow unreachable, and thereby cause undefined behavior if it happens.

This is not really LLVM's fault. This is a language shortcoming in C, C++, Rust, Zig, and probably many others. It's a fundamental conflict between the utility of pointer provenance rules, and the utility of ignoring that crap and just doing what you know the machine allows you to do.

[1]: https://github.com/ziglang/zig/blob/0.14.1/lib/std/mem.zig#L...
by vadepaysa | 2025-07-25 18:04:10+00:00
great idea! but I've had trouble getting it to work. Try this sample JSON here https://gist.github.com/sunilshenoy/23a3e7132c27d62599ba741b... and click on RAW. Tachi pops up but fails to show the json.

I'll keep the extension installed for now, hoping you'll patch it.
by kqr | 2025-07-25 18:04:16+00:00
This very closely mirrors what I discovered when I made Flightle[1].

I made it in anger when I played a sidescrolling flight "simulator" on my phone in which the plane didn't behave anything like a plane! I figured "how hard can it be" and started learning a lot about how planes fly. It turned out there was a level of abstraction that was just right. Too unrealistic felt static and unsatisfying. Too realistic was difficult to calibrate for fun gameplay.

[1]: https://xkqr.org/flightle/
by dylan604 | 2025-07-25 18:04:42+00:00
I use MDN as much as I can, and will pick a page from it even if it is lower in search results. I don't know how page ranks can put something over an MDN page.

Long ago when I first started seeing MDN references, I had assumed the M = Microsoft. That meant I avoided it like the plague not wanting to see IE specific or .NET type cruft. Boy did I feel dumb when I finally learned that's not what the M stood for and realized I could have been using it even earlier. Yet another example proving you know what happens when you assume
by princevegeta89 | 2025-07-25 18:04:44+00:00
For most use-cases, Serverless Postgres is a nasty thing in my experience. It is way too slow and has a lot of latency over the wire, even for production apps.

The scaling requirement doesn't usually happen to startups until they hit ~4 years or later, and it is not much useful to optimize for it anytime before that. Add the cost aspect to it and it becomes close to meaningless.

You're way better off running your own managed Postgres service or container that costs about $10 a month.
by beeflet | 2025-07-25 18:05:27+00:00
just use your brain and don't upload your face and driver's license to a gossip website. when I was growing up, it was common knowledge that you shouldn't post your identity online outside of a professional setting.

The onus is on users to protect themselves, not the OS. As long as the OS enables the users to do what they want, no security policy will totally protect the user from themselves.
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
by kmckiern | 2025-07-25 18:05:48+00:00
At this point, the leading foundation models from each of the top labs tend to do well on the classic set of coding evals. Each new release brings smaller improvements over the last, with leading models separated by increasingly thin margins. This may be a sign we're heading toward commoditization.

However, in our experience, these models can differ meaningfully when the task is narrow and the context is specific. And under these circumstances is where most people use these models. E.g. in their backend codebase, according to their specific coding preferences.

We think this is partly why folks argue about which model is best for coding. I was personally confused to see the praise for Sonnet 4 as a pair programmer. This didn't match my experience - it takes way too many liberties for my taste, and it refuses to conform to / use the translation interface between my app's API and database.

So, our thesis is that the best model for coding (or for any narrow task) is personal. Hence, our goal is to make it as easy as possible for our users to find the best model for them.

To explore this, we put together a dataset of real engineering sprint tickets (tasks like "optimize our database connections logic") and wrote down some of our top model behavioral preferences to use as eval metrics.

We focused on three of our core pain points: Pattern Adherence (does it follow our existing architecture?), Scope Discipline (does it stay focused or make unsolicited refactors?), and Comment Quality (does it write useful documentation vs verbose restating). Each response was scored from -1.0 to 1.0 across these dimensions.

Then we evaluated 14 of the current top LLMs using these metrics, with statistical significance testing across the prompt set.

Results: o3 medium ranked first (0.53 ± 0.05), with o4-mini second (0.48 ± 0.05). Sonnet 4 placed 7th (0.41 ± 0.07).

This helped us design a tiered "model-stack" that we now follow:

- o3 for complex, low-frequency tasks where quality matters most - o3-mini for difficult work at higher scale (similar quality, but much faster/cheaper) - Gemini 2.5 Flash for documentation (strong on comment quality, and very fast/cheap)

Some other findings:

- Scope discipline correlates weakly with other coding skills (r ≈ 0.05-0.09) - Every model struggles with comment quality - this metric has the lowest absolute scores - "Thinking" / "reasoning" doesn't always improve performance (Sonnet 4 regressed on two metrics)

Our results: https://mandoline.ai/leaderboards/coding

But recall, these results reflect our specific codebase patterns and team priorities. Your optimal choice depends on your architecture, task distribution, and what behaviors matter most to your workflow.

If you're choosing coding LLMs, our product helps you eval lots of models on your real tasks, against your own criteria.

Try it out: https://mandoline.ai/best-llm-for Docs: https://mandoline.ai/docs/best-llm-for
by gen2brain | 2025-07-25 18:06:06+00:00
I do not give up on my openbox. I use it with LxQt. Now there is a Labwc, similar to openbox. It uses its XML spec for config and is similar. But I am still on X until all issues are resolved. Can I use openbox on KDE now? It used to be possible, I can choose WM in LxQt. Back then every WM had a --replace option.
by gus_massa | 2025-07-25 18:06:19+00:00
If you see a horrible horrible title, you can send an email to dang/tomhow asking for a change hn@combinator.com . Bonus imaginary points for a good alternative candidate. Add the URL of the post to ensure they see the same post.

They don't like a very cherry picked sentence. The best options are a small variant of the title or the subtitle. Sometimes they agree and change it.

It's a manual process, so reserve it for horrible cases.
by DiabloD3 | 2025-07-25 18:06:35+00:00
Because they want to sell you a Retina(tm) monitor. I wish I was making a joke.

Roll back to a version of OSX that predates Retina, and _all_ of your monitors get the expected Mac-like font rendering, Retina or not. Go to 10.7 or newer, and all monitors are ran using the Retina tuning for font rendering, which makes it very smeary and blurry on normal monitors, but looks great on anything that triggers Retina rendering.

So, what I've been advising to the fewer and fewer Mac owners I know that want multi-monitor: only buy 4k monitors, OSX thinks they're HiDPI and won't fuck over your font rendering. At least, they won't today.
by tracker1 | 2025-07-25 18:06:46+00:00
I saw him at a hotel/resort around the time his daughter turned 18, I was in the same restaurant as an argument that appeared on their reality tv show a few months later (not on camera)... You could tell that marriage was having issues.

That said, Hulk himself was completely warm and responsive to fans when I'd see him around signing pictures/merch and taking pictures with random fans over that week. I cannot imagine being "on" that well, he was a consummate celebrity at its finest example. I wish more celebrities could see, and execute even half as well.
by yello1900 | 2025-07-25 18:07:21+00:00
The Starbucks Calorie Calculator is a web application designed for coffee enthusiasts, helping users easily calculate calories and nutritional content in various Starbucks beverages and food items. Whether it's a classic latte, Frappuccino, or pastry snack, users can get accurate calorie and nutrition data through simple steps, customizing options like cup size, milk type, and additional ingredients. This tool makes every Starbucks purchase smarter and healthier.
by tekacs | 2025-07-25 18:07:58+00:00
I've run into this a ton of times and these websites all kinda suck. Someone mentioned the OpenRouter /models endpoint in a sibling comment here, so I quickly threw this together just now. Please feel free to PR!

https://github.com/tekacs/llm-pricing

llm-pricing Model | Input | Output | Cache Read | Cache Write ------------------------------------------+-------+--------+------------+------------ anthropic/claude-opus-4 | 15.00 | 75.00 | 1.50 | 18.75 anthropic/claude-sonnet-4 | 3.00 | 15.00 | 0.30 | 3.75 google/gemini-2.5-pro | 1.25 | 10.00 | N/A | N/A x-ai/grok-4 | 3.00 | 15.00 | 0.75 | N/A openai/gpt-4o | 2.50 | 10.00 | N/A | N/A ...

---

llm-pricing calc 10000 200 -c 9500 opus-4 4.1 Cost calculation: 10000 input + 200 output (9500 cached, 5m TTL) Model | Input | Output | Cache Read | Cache Write | Total ---------------------------+-----------+-----------+------------+-------------+---------- anthropic/claude-opus-4 | $0.007500 | $0.015000 | $0.014250 | $0.178125 | $0.214875 openai/gpt-4.1 | $0.001000 | $0.001600 | $0.004750 | $0.000000 | $0.007350 openai/gpt-4.1-mini | $0.000200 | $0.000320 | $0.000950 | $0.000000 | $0.001470 openai/gpt-4.1-nano | $0.000050 | $0.000080 | $0.000237 | $0.000000 | $0.000367 thudm/glm-4.1v-9b-thinking | $0.000018 | $0.000028 | $0.000333 | $0.000000 | $0.000378

---

llm-pricing opus-4 -v === ANTHROPIC === Model: anthropic/claude-opus-4 Name: Anthropic: Claude Opus 4 Description: Claude Opus 4 is benchmarked as the world's best coding model, at time of release, bringing sustained performance on complex, long-running tasks and agent workflows. It sets new benchmarks in software engineering, achieving leading results on SWE-bench (72.5%) and Terminal-bench (43.2%). Pricing: Input: $15.00 per 1M tokens Output: $75.00 per 1M tokens Cache Read: $1.50 per 1M tokens Cache Write: $18.75 per 1M tokens Per Request: $0 Image: $0.024 Context Length: 200000 tokens Modality: text+image->text Tokenizer: Claude Max Completion Tokens: 32000 Moderated: true
by ajross | 2025-07-25 18:08:04+00:00
Interestingly I'd say a regular expression is absolutely not a DSL. It's sort of the opposite. A DSL is a tightly crafted interface for the configuration needed to support solutions to one somewhat unique problem. And the "trap" above is that the fact that the problem area is narrow means that only experts will really understand the DSL.

A regex is a tool implementing a solution (albeit a tightly crafted one) to an extremely broad set of problem areas. I mean, sure, in some sense it's a "DSL for string matching", but that doesn't really capture the essence of the DSL trap mentioned above. I mean, almost everyone needs string matching. So there's no trap: basically everyone knows regex syntax, even if they like to complain about it.
by gruez | 2025-07-25 18:08:31+00:00
>* App Store CTF Kill Switch. Publisher has to share a private CTF token with Apple with a public name (e.g. /etc/apple-ctf-token ). The app store can automatically kill the app if the token is ever breached.

How do you enforce the token actually exists? Do app developers have to hire some auditing firm to attest all their infra actually have the token available? Seems expensive.
by its_down_again | 2025-07-25 18:08:45+00:00
The San Francisco marathon is this weekend and I think it’s going to break the city for this Robotaxi launch.

There's major road closures for key arteries like Market st, Embarcadero, fisherman’s wharf, and the Presidio. Traffic always crawls and downtown will become a maze. Even 'human' drivers struggle because you can't cross large boundaries of the city.

Waymo launched in the city about a month before last year’s race. I took one to the starting line, but it couldn’t reach the actual drop-off. It stalled about 0.3 miles away and I had to run the rest. The issue wasn’t the route, but the chaos. Dense foot traffic, impromptu street closure re-routes, and unpredictable crowd behavior were hard to autonomously solve.

Tesla's robotaxi launch will have to overcome the same challenging mix of realtime conditions: limited access to closure data, learning of impromptu re-routing logic, unpredictable human crowds.

Definitely it’s a bold move to launch this weekend. If it works, great PR.
by deepsun | 2025-07-25 18:09:01+00:00
Yes, my mistake, thanks for pointing out, upvoting. I meant asking memory allocator, not kernel.

I meant that Java usually already has that memory allocated, JVM is a memory allocator of its own. It operates within its own heap. One can do that within Rust of course (or easier in Zig, as it welcomes passing an allocator around), it's just built-in in JVM already. Drawback is that it's more complex to release that memory back from the JVM process, so Java apps (not AOT-compiled) usually consume more RAM.
by sunnyps | 2025-07-25 18:09:06+00:00
So you haven't used a 32 inch 4K monitor which is ~135 ppi? What do you get at that size, a 5K or 6K monitor? Not many of those available and they have specific requirements like higher display port or thunderbolt bandwidth.

There's also an entire world of users still on 720p and 1080p displays. They deserve better font rendering even if it doesn't affect us personally.
by AdamH12113 | 2025-07-25 18:09:27+00:00
This is not even remotely correct. Historically, Microsoft's biggest problem with Office was having to convince people to buy the new versions since the basic feature set was fairly complete. The file format upgrade in 2007 was the only real forced upgrade since you had to have it in order to read other people's files. I have a copy of Office 2010 that still works just fine and can read files produced by up-to-date Microsoft 365 subscriptions.

The same goes for many other pieces of software. People (especially home users) would buy software once and then keep using it until something justified an upgrade. Software subscriptions were historically a B2B thing and IIRC usually came with support packages to help justify the ongoing cost -- especially important in the pre-internet and early internet eras.
by gruez | 2025-07-25 18:09:47+00:00
Not sure about what "some cultures" you're talking about, but AFAIK "dating apps" is the #1 answer (or at least in the top 3) to "how did you meet your partner" in many countries. They're not just for hookups. Many even market themselves as being for committed relationships, or have features to facilitate that (eg. filters).
by QuadmasterXLII | 2025-07-25 18:10:04+00:00
I ran into date heck recently in a medical setting for storing birthdates. Eventually I settled on the idea that a birthdate isn’t a physical time, it’s just a string. We can force the user to enter it in the format 02/18/1993 leading zeroes and all, and operations on it other than string equality are invalid. We’ll see if this survives contact with the enemy but it’s already going better than storing and reasoning about it as a point or interval in time and people’s birthdays changing when they move timezones.
by rini17 | 2025-07-25 18:10:09+00:00
So what if it's not perfect? Worst case of nuclear waste mishandling would still have milder repercussions compared to doubled, or tripled or worse CO2 levels we are subjecting future generations to. That will persist too long after profits from fossils stop.

Hard to discuss or persuade when you are comparing everything to some ideal, and one-sidedly moreover. Can we talk about real world alternatives. Hypothetically even doubling natural radioactivity background (and that would require total recklessness) would be better option if we could have avoided large part of CO2 output. Now nuclear is becoming moot as we have cheap renewables and batteries anyway.
by phkahler | 2025-07-25 18:10:28+00:00
>> Let's be real you wrote men/women only to be PC. You really meant small group of men.

Let me share a message I got from a woman I met a couple years ago on a dating site: "Just a side note about the dating thing on here. I get very annoyed with how horribly men take care of themselves or even try to communicate. Most men today on these sites are repulsive. It was refreshing to see you smile, and look nice. Thank you for that."

So it's not a bunch of red-pill alpha guys. I'm an average guy with basic manners and a lack of creepiness. Heck I was near my all time high weight at the time. Every single woman on those things has at least one story about a guy she met that will make you cringe from his behavior. My fav was the guy who sent a woman flowers before even meeting her - at her workplace! Dude the cyberstalking you need to do to pull that off is CREEPY AF - not romantic.

If you want to be in that top 10 percent of men the bar is incredibly low.
by darksaints | 2025-07-25 18:10:44+00:00
Colleges becoming more vocational is a consequence of colleges becoming more expensive for students. If you are paying all of that money for college, you better get a good job out of it. I don't see that as a bad thing necessarily, but it would definitely be nice if we had better paths for those who want to end up in research.

I'd argue that SML (or derivative thereof) would make for a better teaching language, for both the lambda calculus aspect and the type theory aspect.
by TLLtchvL8KZ | 2025-07-25 18:10:47+00:00
I feel exactly the same, the font rendering in Linux drives me absolutely insane. The amount of hours I've spent over the past 15 years tweaking fontconfig, having to compile special patched packages etc etc doesn't bare thinking about.

I don't even have to edit anything on Windows now, and when I did a few years ago it was only on a clean install going through I think what was called cleartype config, you had a panel of 6 images/samples to choose from and after going through it all everything looked pretty damn perfect.
by calf | 2025-07-25 18:10:53+00:00
None of your arguments fly. Try to think like an programmer--kick the corner case of the arguments. I'm not suggesting anything other than pointing out that most arguments on here have been well trodden by ethicists and even they have no consensus. My personal belief about the specific issue is not even relevant. My objection is the low quality of argument (by several commenters) demonstrating a kind of prejudiced take, I find that the most offensive.

Here you moved from defect to disabled. I don't have to personally say that a group are/aren't disabled, to yet again point out your argument rests on an assumed definition otherwise yet another form of word loading. This is a really basic critical thinking skills example independent of the topic.
by Karrot_Kream | 2025-07-25 18:11:51+00:00
When this kind of switch was happening in CS departments, as a graduate student I was part of a "movement" that advocated for switching away from things like Scheme to Python for introductory classes in my elite CS institution. (We focused on other things as well such as more interdisciplinary research, which was where I was more passionate, but that's a separate matter.)

My reasoning at the time in this order was:

1. Widely used tools and practices offer a flywheel of usefulness that can help motivate undergrads to learn about computation. Once you learn Scheme, well now you've learned Scheme. But at the time if you had learned Python you could then use something like Python's system and socket APIs to play around with the lab or personal Linux systems. On the web side, there was web.py or Flask (haha this was the late 2000s/early 2010s) to motivate yourself to keep going. The student could spend their summer building apps and tools so that they appreciate computation for more than just its "aesthetic" beauty.

This was a time when CS wasn't all that prestigious on its own and salaries weren't as high as they are now, so many folks who banged their head against Scheme or MMIX or LC3 would just churn to the EE or MechE departments.

2. As a grad student it was almost trivial to set an exam paper that could weed out most of the class. This was especially trivial at the introductory class level where Scheme would be taught. If the concern was rigor it was very simple to maintain the rigor in other ways.

3. For better or for worse many undergrads had no intent of going to grad school, and many of the undergrads taking our classes weren't even students of computer science. They were electrical engineers or industrial engineers who wanted to learn enough programming to automate things in their field but were more interested in their actual areas of concentration.

In the years since my thinking around this evolved, but I still share the same conviction I did then. Probably moreso given the sheer ubiquity of Python now.
by exe34 | 2025-07-25 18:11:59+00:00
Ah the "straight" was the adjective to qualify the noun, not the other way round! I.e. the same cunts who will get disgusted by two men kissing and try to harm them, will get turned on by seeing two women kissing and therefore it appears that the latter are more accepted. It's not kindness or open-mindedness, it's pure sleaze.
by SR2Z | 2025-07-25 18:12:05+00:00
> People used goo.gl because they largely are not tech specialists and aren't really aware of link rot or of a Google decision rendering those links unaccessible.

Anyone who is savvy enough to put a link in a document is well-aware of the fact that links don't work forever, because anyone who has ever clicked a link from a document has encountered a dead link. It's not 2005 anymore, the internet has accumulated plenty of dead links.