MurphyA/hacker-news huggingface dataset:
by amluto | 2025-12-18 04:38:25+00:00
I read the post and the companion post:

https://vitaut.net/posts/2025/smallest-dtoa/

And there’s one detail I found confusing. Suppose I go through the steps to find the rounding interval and determine that k=-3, so there is at most one integer multiple of 10^-3 in the interval (and at least one multiple of 10^-4). For the sake of argument, let’s say that -3 worked: m·10^-3 is in the interval.

Then, if m is not a multiple of 10, I believe that m·10^-3 is the right answer. But what if m is a multiple of 10? Then the result will be exactly equal, numerically, to the correct answer, but it will have trailing zeros. So maybe I get 7.460 instead of 7.46 (I made up this number and I have no idea whether any double exists gives this output.) Even though that 6 is definitely necessary (there is no numerically different value with decimal exponent greater than -3 that rounds correctly), I still want my formatter library to give me the shortest decimal representation of the result.

Is this impossible for some reason? Is there logic hiding in the write function to simplify the answer? Am I missing something?
by butvacuum | 2025-12-18 04:39:11+00:00
It'll be interesting to see if they leverage any new hardware features I've heard of in the past 3 years. One is AMD got the feature that allows PCIe to be DMA'd directly to L2|L3 working. Another is something about PCIe devices being able to talk "directly" to each other. Pretty sure it's actually mediated by the PCIe controller though.

Alas, this is beyond any level I expect to ever see 1st hand, so I didn't retain more detail than I've given.
by fulafel | 2025-12-18 04:39:49+00:00
This is the article's message as well:

"That doesn’t mean software will suddenly be bug-free. As the verification process itself becomes automated, the challenge will move to correctly defining the specification: that is, how do you know that the properties that were proved are actually the properties that you cared about? Reading and writing such formal specifications still requires expertise and careful thought. But writing the spec is vastly easier and quicker than writing the proof by hand, so this is progress."

General security properties come to mind as one area that could have good reusability for specs.
by EnergyAmy | 2025-12-18 04:40:42+00:00
You're still not providing any citations, why is that? Surely you can ask some of the people in field work that you run with.

I'm also not sure why you're so focused on Colin Wright when I provided other examples of people affirming the same stance, as previously stated. Take your pick, or provide citations of your own.

Do you have a particular example in mind for the South African hermaphrodites?
by mesmertech | 2025-12-18 04:42:46+00:00
Got two websites but the second one is basically a clone of the first with better visuals and better tech stack that I actually want to work on

https://aieasypic.com - 3k per month (declining cause not working on it a lot, just maintenance) https://bestphoto.ai - 2k per month (increasing cause of better SEO)

Now trying my hand at an actual non-consumer product, not that b2b but something to make making ads easy because that’s where I find myself getting stuck on when doing fb ads or TikTok organic stuff : https://admakeai.com
by ehnto | 2025-12-18 04:43:00+00:00
I feel like this relates a bit to a quote from Kevin Smith (silent bob)

To paraphrase, you have to be a little bit delusional to think you will succeed, otherwise you won't get started. You won't make the big risky decisions that bring you to success.

Which I relate to a second thought of my own which is, what will I regret if I hadn't at least tried?

Which together, help motivate me to continue game development. There is just so much work to be done, and you have to just assume you'll be good and succeed at half a dozen different disciplines to bring it all together.
by jasonwatkinspdx | 2025-12-18 04:43:00+00:00
It's been possible for quite some time.

In the early 2000's there was a book on using Direct3D from C# that was pretty influential as far as changing people's assumption that you couldn't do high performance graphics in a GC'd language. In the end a lot of the ideas overlap with what c/c++ gamedevs do, like structuring everything around fixed sized tables allocated at load time and then minimal dynamic memory usage within the frame loop. The same concepts can apply at the graphics API level. Minimize any dynamic language overhead by dispatching work in batches that reference preallocated buffers. That gets the language runtime largely out of the way.
by Aurornis | 2025-12-18 04:45:36+00:00
I’m curious what you mean by this. Most of the guys I know treat their Instagram accounts like their LinkedIn accounts: It has enough information and occasional updates with major life changes, but they don’t actively engage with it all the time. Just let it exist and respond to any messages if they come in. Would that work, or are you saying the dating scene in your area requires some type of active constant engagement with Instagram?
by spopejoy | 2025-12-18 04:48:58+00:00
> Perhaps Bitcoin as proof-of-work productization was not inevitable

It kind of was though. All the tech pieces were in place by 2009, between Chaum's ecash, Haber+Stornetta's merkle trees and real-world document blockchains (secured by the NY Times sunday classifieds no less!), and Back's hashcash. b-money and bit gold already had the idea and motivation. It was just waiting for a Nakamoto to make it all fault-tolerant. Someone would have figured it out eventually.
by owyn | 2025-12-18 04:49:14+00:00
The original post is written by AI so I will read it briefly, but your comment is fascinating. I got through undergrad math by brute force memorization and taking the C. Or sometimes the C-. The underlying concepts were never really clear to me. I did take a good online calculus class later that helped.

However, I have questions: "Turns out the quantity they needed exists, but couldn't be described in their notation" What is this about? Sounds interesting.

"Statisticians just said "oh, that function" and gave it a new name." What is this?

I never understood there is a relationship between quadratic equations and some kind of underlying mathematic geometric symmetry. Is there a good intro to this? I only memorized how to solve them.

And the existential question. Is there a good way to teach this stuff?
by Mathnerd314 | 2025-12-18 04:49:43+00:00
It seems an absurd amount of people misuse the term dopamine, I found this video https://youtu.be/x6_Ukic1tRM?t=1297 (in Polish, but there are subtitles and dubs). If you want to continue to spread "manipulative disinformation", by all means, some people have to be evil, but just be clear that it is pseudoscience up front.
by buildandbrew | 2025-12-18 04:52:52+00:00
I like going out to eat, but I’m surprisingly bad at knowing what I’ll actually like just from cocktail menu descriptions. I kept asking bartenders things like “is this sweet?” or “what’s this similar to?” and eventually decided to see if I could build something to help myself.

I put together a browser-based tool where you take a photo of a cocktail menu and get simple, plain-language flavor descriptions for each drink, along with a few similar cocktail suggestions.

I built this after dinner last week so no signup, no accounts needed. Mostly curious whether this approach makes sense or if there are obvious flaws I’m missing.
by dragonwriter | 2025-12-18 04:52:58+00:00
Yes, bigotry against a group and sexual fetishization of the same group (and, frequently, constructing a narrative in which such fetishization is deviant but the fault of the group targeted and not the fetishizers, wuch that the fetish further justified the bigotry) frequently go together. You see this with racism of all forms, you see it with transphobia, and most commonly but perhaps least frequently commented on as a manifestation of the same effect, you see it with misogyny. And that's very much mot an exhaustive list.
by sampo | 2025-12-18 04:53:58+00:00
> Suppose you pass a parameter, N, and you also would like to pass a tensor, and you would like to specify the tensor's shape (N, N).

You can do that, and it might be cleaner and less lines of code that way.

But you don't necessarily need to pass the array dimensions as a parameter, as you can call `size` or `shape` to query it inside your function.

program main implicit none real :: a(2, 2) = reshape([1., 2., 3., 4.], [2, 2]) call print_array(a) contains subroutine print_array(a) real, intent(in) :: a(:, :) integer :: n, m, i, j n = size(a, 1) ; m = size(a, 2) write(*, '("array dimensions:", 2i3)') [n, m] do i = 1, n do j = 1, m write(*, '(f6.1, 1x)', advance='no') a(i, j) end do print * end do end subroutine end program
by jasonwatkinspdx | 2025-12-18 04:55:49+00:00
You sell fake engagement to content creators.

According to Cambridge's data, $100 gets you around 2k fake but verified tiktok accounts: https://cotsi.org/platforms?view=map&platform=lf

Viewbotting is a pretty big issue on all the streaming platforms. Twitch changed their technical measures recently and a bunch of big streamers concurrent viewers dropped by a large amount. "Fake it until you make it" is a viable strategy with streaming. It's all about fake engagement to game the algorithm and end up in people's feeds.
by muzani | 2025-12-18 04:57:09+00:00
The root of it is sales. Sales is getting your product in front of someone who needs it. Most likely that person is building a similar product themselves, but unable to do it as well as you.

Problem 1: Pitch. You have a product they want, but they don't know it. Learn to explain the product clearly. Get it down in 5 seconds. Make the title, color, shapes like other similar solutions. If it attracts their eye, they'll start reading it.

Problem 2: Sales channel. You have a good pitch, but it's not in front of the people who actually want it. Don't just market it on Show HN/reddit/Product Hunt. Get it to where the people are.

Marketing is a loop experimenting and iterating around those two things.

This is assuming you have the right product. If you don't, then all you can do is fake it. People often copy the fakers because there's a lot of them, but as a developer, you can also iterate on products easily and shouldn't need to fake anything.

Once you have that covered, you attack problem 3: Getting market share up to 100%. Most of those people just kinda want it, won't pay full price for it, need dark mode, and so on. If you can solve this, congrats, you're rich.
by somenameforme | 2025-12-18 04:58:14+00:00
You have literally 1 person in the entire world capable of firing somebody, and then that results in a case being heard by the Supreme Court when that person tries to invoke that power, after lower courts immediately said Nope. That is, absolutely by definition, somebody who is extremely difficult to fire. Extremely difficult does not mean impossible.

And you calling something a bribe doesn't make it a bribe in the legal sense, which is the point. For instance big pharma "donated" hundreds of millions of dollars across Congress the President just in the midst of the pandemic. Those beneficiaries, in turn, passed laws and created unprecedented and controversial defacto mandates which directly drove tens of billions of dollars in profits for these "donors." Is this a bribe?

Given your likely ideological perspective, I assume you would vehemently insist it's not. Why?
by bayesnet | 2025-12-18 04:58:45+00:00
What is so unbelievably frustrating about math education is that these interesting questions are not even hinted at until far, far down the line (and before people make the assumption I was educated outside the US).

I avoided math like the plague until my PhD program. Real analysis was a program requirement so I had to quickly teach myself calculus and get up to speed—and I found I really, really liked it. These high level questions are just so interesting and beyond the rote calculation I thought math was.

I hope I can give my daughter a glimpse of the interesting parts before the school system manages to kill her interest altogether (and I would welcome tips to that end if anyone has them).
by MBCook | 2025-12-18 04:58:46+00:00
Great article. The description of how they handle shaders is just bonkers to me.

Is that really what you’d have to go through to have a working system with plugin shaders from 3rd parties on multiple backends? Or is mostly the result of time and trying to keep backwards compatibility with existing plugins?

Telling external devs “Write a copy in every shader language” would certainly be easier for the core team but that’s obviously undesirable.
by scottyeager | 2025-12-18 04:58:50+00:00
As others have mentioned, a firewall might have been useful in restricting outbound connections to limit the usefulness of the machine to the hacker after the breach.

An inbound firewall can only help protect services that aren't meant to be reachable on the public internet. This service was exposed to the internet intentionally so a firewall wouldn't have helped avoid the breach.

The lesson to me is that keeping up with security updates helps prevent publicly exposed services from getting hacked.
by upmostly | 2025-12-18 04:58:52+00:00
https://dbpro.app

I’m building DB Pro, a modern desktop database client for developers who want a fast, local-first workflow.

I started in October 2025, launched v1 at the end of November, and just crossed $1k MRR.

I also post devlogs of life building and marketing DB Pro and am about to post devlog #4. The latest one is here if anyone’s curious: https://youtu.be/-T4GcJuV1rM

Still very early, but it’s been fun seeing something fairly “boring” resonate once the UX is treated seriously.
by tkel | 2025-12-18 04:59:12+00:00
The simplest explanation would be that Instagram crawled my TikTok's account's followers and is curating my Instagram reels based on that point in time.

However that's not what happened, because my "following list" is restricted to be viewable by "only me", even though my account was public. "Public" just means that you can view my videos without me accepting a follower request. And I don't have any videos anyway.

So I can only deduce that setting it to "public" flipped some bit in either Instagram or TikTok's backend to where now they both are sharing the same or very similar data to curate my feeds.
by protocolture | 2025-12-18 04:59:59+00:00
Years ago I got into/started a fight in a city.

After the fight, the brawl was blamed on the other participants, all of whom were wearing emo clothing. Black shirts, band logos, jeans.

The local police went as far as enacting a local anti gang ordnace, identified the emo wear as gang colours, and with 2 hours notice, advised that those colours were not allowed in the city for 48 hours. The security guard who helped break things up was chatting to me about it, laughing at it like it was a common consequence.

A local taxi company was cleaning up, as they accepted each emo kid, in groups of 1 - 4 and took them home to the suburbs. 20 taxis lined up, picking up kids.

Probably my first political WOW moment. I had never seen ~120 people pay for the consequences of the actions of a few.

True to their word, was 48 hours or more until I spotted them in the city again.

Governments can make any law they wish, cops tend to enforce any law they wish. Courts and appeals take time. There is nothing preventing that same city from declaring pride flags or trans icons as gang symbols.

This wasnt even in the US.

Same shit could happen anywhere, Trump could declare them terrorists identified by their symbols and tattoos, he could enforce inspections of their social media at airport checkpoints. Considering what was legal and enforced in the US in its history there's really nothing off the table going forward for persecuting anyone.
by butvacuum | 2025-12-18 05:00:11+00:00
I'm somewhere south-ish in the US- We get the same amount of rain, but in torrents over a couple hours every 6 weeks with triple digit temperatures in between.

So, nothing disingenuous or even really ignorant on my part- just the idea that consistent rainfall can be trusted so much that crop failure due to no rain is an acceptable risk is alien enough it didn't cross my mind... Especially when I was mainly trying to put it in perspective. People space out when Billions come into play. So, I find comparisons with a factor <100 more digestible, and thought I'd share.
by WarOnPrivacy | 2025-12-18 05:00:33+00:00
I'm one of the millions of Americans in the other group. If I get a treatable, life threatening disorder, I die.

We don't get a lot of press. During the first decade of the ACA we didn't exist for anyone reporting on the US healthcare system.

But our visibility has improved and some days we're almost noticed for moments at a time.
by and-not-drew | 2025-12-18 05:00:35+00:00
I've got 2 that are kind of intermingled. Each averages a little over $500/mo on their own though.

Sportsbook API (https://sportsbookapi.com/) - A single API to get odds data from a number of US Sportsbooks

Odds Assist Pro (http://pro.oddsassist.com/) - An odds scanner tool that shows both current odds and things like arbitrage, plus ev, middles. This actually started as just a UI for me to quickly do sanity checks on the API data and eventually grew into a full site. The site is on a subdomain of a site my business partner had built long before we met, so it's kind of positioned as the plus version of that site.

API revenue is really stable and has been pretty consistent slow growth. Pro's revenue is all over the place since it's almost all referrals and promos with big spikes around major sporting events. Probably averages at least $500/mo if you look at the entire year.
by richardfeynman | 2025-12-18 05:01:44+00:00
You’re accusing me of “not mentioning the subset” while quoting a thread where I literally wrote “religious-based hate crimes.” So either you missed it or you’re pretending you missed it. But it's here in this exact thread for anyone to see. Permalink: https://news.ycombinator.com/item?id=46304753

The DOJ/FBI table is explicit: 2023 had 2,699 religion-based hate crime incidents; 1,832 were anti-Jewish. That’s 67.9%. https://www.justice.gov/crs/news/2023-hate-crime-statistics

If you want to change the denominator to “all hate crimes,” say so up front. That gives 15.4% of all incidents, still massively disproportionate.

It's common to use angle quotes on HN, but either way, you accusing me of "AI slop" because you don't like the way I quote things doesn't change the arithmetic and is not a rebuttal.
by cyphar | 2025-12-18 05:03:03+00:00
You really need to use user namespaces to get this kind of security protection -- running as root inside a container without user namespaces is not secure. Yes, breakouts often require some other bug or misconfiguration but the margin for error is non-existent (for instance, if you add CAP_SYS_PTRACE to your containers it is trivial to break out of them and container runtimes have no way of protecting against that). Almost all container breakouts in the past decade were blocked by user namespaces.

Unfortunately, user namespaces are still not the default configuration with Docker (even though the core issues that made using them painful have long since been resolved).
by duskdozer | 2025-12-18 05:03:51+00:00
The issue as I see it is just straight copy/pasting its output. You want to use it as a search tool to give you pointers on things to look up and links to read? Great. Then use that as a basis to read the sources and write your own response. If you aren't familiar enough with the subject area to do that, then you also shouldn't be pasting LLM output on it.
by huydotnet | 2025-12-18 05:04:48+00:00
I started my project in 2023 and posted here, made 20k that year. The traffic has been slowly decreasing during 2024, and last October, I was officially entering losing territory, where the cost of running it exceeded the total earnings (mostly due to free trials).

It's been a good journey. Thank you so much to whoever keeps running this thread!
by defrost | 2025-12-18 05:04:50+00:00
Specifically, then, why does it suddenly recently matter that every human birth be classed as exlusively [M] or [F].

I'm old, I've been about biology for a long time, it's never been that way.

* https://en.wikipedia.org/wiki/Phases_of_ice is a cracking read. Good science.

We observe one predominent form of solid water most often in our environment - but other forms exist and frequency varies elsewhere.

There are literal tomes on disorders of sex development, it's a subject with decades of solid research history and centuris of literary reference.

"Strongly bimodal with some outliers" has been an ideal summary for a complex domain until ... recently.

What motivates you to shoehorn every birth into one of two boxes despite the theorectical and practical issues?
by Marsymars | 2025-12-18 05:07:36+00:00
The CRV/Rav4/CX-50/Forester are all nice too, but local CAD website listed prices for the base hybrid trims are respectively $49k/$40k (with an 8 month wait time, or $56k for the plug-in)/$46k (but unavailable due to tariffs and being built in the US)/$51k (but effectively unobtainable).

Meanwhile I can go buy a plug-in hybrid Escape tomorrow with effectively the same 2.5L/eCVT powertrain as Toyota/Subaru for $44k. (Assuming no discounts and that I’m in a province with no PHEV rebates.) So yeah, you might like a CRV better for an extra $5k, or you might have 8 months to wait for a Rav4 and not care about the plug-in, but the field of available options at the price isn’t that crowded.
by pinnochio | 2025-12-18 05:09:31+00:00
That's a good point. I think a lot of forums were less vulnerable for a number of reasons. They typically don't have a large audience (not all, but most), which makes them less of a target. They're also organized around niche interests that don't intersect much with politics and cultural issues, off-topic forums aside. And they're probably more heavily moderated than social media and blog comments.

I think the general point stands when considering large-scale platforms.
by timr | 2025-12-18 05:10:08+00:00
> This is literally not a thing that exists outside of some foreigners' imaginations.

I think you're a little obsessed with this. It's not pitch accent and I'm not "being fooled", but if you want to insist that you know better...fine? You do you!

> OK, finally, let's crack open the a 1998 edition of the the NHK日本語撥音辞典. On pages 832-833, we have all the /ho:/ words, with their pronunications including pitch accents: ホー with falling accent after ホ: 方、砲、鵬、朴

I've already given you examples where you can often hear the difference if you try. These "ho-words" are completely unrelated, and non-responsive. You seem to be arguing about something else (or just trying to name-drop the NHK pronunciation guide).

Anyway, there are two distinct sounds in the kana table for う and お. They're individually pronounced differently, so why you're so resistant to the idea that combinations of the two might also have a difference in pronunciation, I don't really know. I've personally had native teachers tell me this, and I hear it all the time. Go ask a native to slowly sound out the individual mora for a word like 紅茶 vs. say, 大阪 -- that's how I first heard it.

Anyway, I'm not really interested in debating this further. It's a very, very minor point. Good luck with your study.
by richardfeynman | 2025-12-18 05:10:24+00:00
Of course it's not and never was a genocide. But jimbo808 wishes it were, because he thinks that will help him justify the very rise in hate crimes against Jews that he also tries to downplay.

jimbo808 wrote: "The most generous stat you could use would be the one from 2023-2024, which has Jews as 16%... which came along with the genocide being committed in their name."

What kind of worldview motivates such a comment? He invents a genocide and says it's being committed in the name of American Jews? This is a novel claim even by the low standards of the antizionist crowd. Laughable.