MurphyA/hacker-news huggingface dataset:
by lugao | 2025-12-14 23:53:39+00:00
My bad. My intention was not to come across as snarky or aggressive.

Dan Piponi, in his post, called for scale questions in interviews, suggesting that whoever worked on the feature at Apple would not have been hired if they had been asked those types of questions.

I found that position non-constructive and wanted to counter it by mentioning that fractals could hint at why the length was so large.

It is hard to predict how others will read my comment beforehand, and I apologize for not meeting the friendliness bar here on Hacker News.
by bigbadfeline | 2025-12-14 23:53:49+00:00
> If billionaires ran the country we wouldn't be starting trade wars and restricting immigration.

I'm not sure if you're joking, so if you are, this comment is not for you.

In the current monopolized and cartelized economic environment, the only effect of trade wars is the reduction of competition due to the suppression of foreign competition - billionaires just love that because it allows them to increase prices and profits without increasing production.

Immigration wasn't really restricted for billionaires, it was restricted only for the small fish who may not be able to afford the new and not-quite-high fees. The end result is again suppressed competition which benefits the cartels and monopolies controlled by billionaires. As I've already said, they love that.
by ChrisMarshallNY | 2025-12-14 23:54:09+00:00
I've been writing Swift daily, since the day it was announced, and have shipped a number of apps, written in it.

I have learned to like the language. It's not perfect, but comes closer than most. I've written in a lot of languages, over the years.

My other language is PHP, which I use for my backend work. I've probably been writing that for over twenty years, but I still don't like the language.

As I was learning Swift, I started this series of posts[0]. It's still ongoing, but I haven't added anything in a while, and the language has progressed, since the earlier posts.

[0] https://littlegreenviper.com/series/swiftwater/
by koverstreet | 2025-12-14 23:54:11+00:00
I'm hoping to have erasure coding done sometime in the first half of next year (knock on wood).

While reconcile was getting done we got a detailed outline of where EC resilvering is going to plug into that, so it's not looking like a huge amount of work anymore - and there's been people testing EC and reporting the occasional bug, it's been looking pretty solid.

We did some performance testing not too long ago, and it looked like we were in better shape than I thought. I'm still more interested in tracking down performance bug than shaving cycles and going for raw IOPS.

And the userbase isn't complaining about performance at all, aside from the odd thing like accounting read being slow (just fixed a couple issues there) or lack of defrag.

After debugging and stabilization, it's going to be more about usability, fleshing out missing features, more integration work (there's some systemd integration that needs to happen in the mount path), telemetry/introspection improvements (I want all the data I can get for stabilization, and json reporting would be good for lots of things).

So, if you're asking if you can help, that's a decent list to start from :)
by in_a_hole | 2025-12-14 23:54:46+00:00
> "Contrary to popular belief, the core problem in dyslexia is not reversing letters (although it can be an indicator),” she writes. The difficulty lies in identifying the discrete units of sound that make up words and “matching those individual sounds to the letters and combinations of letters in order to read and spell.”

The more I hear about dyslexia the more it sounds like the result of not being taught to read properly rather than any kind of neurological issue.
by twoodfin | 2025-12-14 23:54:49+00:00
The front page this weekend has been full of this stuff. If there’s a hint of clickbait about the title, it’s almost a forgone conclusion you’ll see all the other LLM tics, too.

These do not make the writing better! They obscure whatever the insight is behind LinkedIn-engagement tricks and turns of phrase that obfuscate rather than clarify.

I’ll keep flagging and see if the community ends up agreeing with me, but this is making more and more of my hn experience disappointing instead of delightful.
by zimpenfish | 2025-12-14 23:54:50+00:00
> They have noted "Preparation time 30 days" :/ What takes so long?

There's probably one person nursing some horrific bogslop software that frequently breaks but absolutely cannot be rewritten or changed (because it was someone's pet project) and frequently has to be manually twizzled to get things out of what is probably a hostile data retrieval environment and they're just TIRED and that's why there's a 30 day leeway because otherwise the Data Retrieval Goblin would be way over the line of overwhelmed rather than just under it all the time.

Probably.

(I realise I've likely described a significant percentage of companies there.)
by mmooss | 2025-12-14 23:55:25+00:00
Thanks. To pick on one important word ...

> ditching ... Taiwan in favor of ... China

Is that really an accurate description? The US continued to explicitly support Taiwan's political and military separation from China, and compelled China to agree to it - as long as Taiwan didn't try to leave China and form another country, they could remain as they were (and are).

The change was that the US had formerly recognized Taiwan as the government of all China and therefore possesor of China's UN Security Council seat, and in their deal with Mao switched to recognizing China.

The following is my understanding: The civil war ended 1949; the Communists won, and the Nationalists fled to Taiwan. That is well-known; the following is a bit of speculation: For awhile, arguably it might have been plausible to deny Communist rule and imagine the Nationalists could govern China, maybe by reinvading and another uprising like those China had experienced since 1911 - the Communists were very weak. But by 1970 the result of the civil war must have been clear and the idea of the Taiwanese Nationalists as government of mainland China was a pointless fiction.

But it was very important to the Communists and a valuable chit in a negotiation. Taiwan's hurt feelings were irrelevant - they were dependent on the US and couldn't do anything about it. Recognizing the reality of Communist mainland control had little cost and great gain.
by DannyBee | 2025-12-14 23:55:59+00:00
Sure, i meant if you are doing work repeatedly.

People often put the cartridges in a plastic (or sometimes mylar if they are advanced) bag to save money, and change them when they can smell stuff. This is a bad plan with isocyanate.

Auto finishes are moving towards iso-free 2k urethanes anyway. (wood will get there, but tends to lag)
by Ingon | 2025-12-14 23:56:05+00:00
Actually, I realized that I've used `/s` incorrectly. I've been thinking about rewriting the clients in Rust, mostly to allow simpler embedding in other languages - java and swift for example (I think it would be great if connet was available on mobile - for android you can Termux to compile/run it, but it is a pain). This will make it harder to embed in golang tho.

Another option is to try to rewrite clients in each of the language, but most fare poorly on QUIC support - in Java for example, I'm not aware of one that is advertised as production ready (looking at kwik with their fork of TLS).
by superkuh | 2025-12-14 23:56:15+00:00
Given the way you're framing this no, it's not worth it for you to blog. Using words like "shipping","low-signal", "networking". And odd ideas like blog posts having to "work" and provide some tangible gain. These are for-profit concepts so I assume you want to do this to make money or meet people to allow you to make money.

There is no money in blogs if there ever was. The money moved away to social media a long time ago. Leave the blogs to human people talking to each other and showing off their gardens and pets and hobbies.
by mcv | 2025-12-14 23:56:22+00:00
I'm working on a graph representation of complex data flows through a large organisation. The graph looks like crap, partially because hierarchical dagee graph layout algorithms apply a naive way of removing cycles that ruins the shape of the graph.

I've figured out a better way to remove cycles that preserves the shape of the graph in a way that works well for our purpose. Now I just need to figure out how to minimise edge crossings and line up nodes in such a way that it's more immediately obvious how the data flows between different systems.
by karlgkk | 2025-12-14 23:56:29+00:00
> So where is my brain fried?

Many places.

First, you can get a zero down loan at that income level. Wouldn’t recommend it but I can tell you haven’t seriously explored home loans if you don’t know this.

Second, if you make $250k a year and you’re struggling to put $10k, or hell, even $50k down… you need to make a budget because damn

> you literally still need to save to have your downpayment. While you're renting.

Just so you know, I did it. I bought a condo a 20 minute train ride from sf, making quite a bit less than 250k.

I did it at $180k a year by moving into a studio in oakland, and that was overkill tbh. Saved $1.5k a month and biennial vacations were to New York and Vegas instead of France and Japan. Such a sacrifice /s. Now imagine how easy it’d be with an extra $70k (about the average annual salary).

The best advice i can make to you, if you really are making above 200k a year, is to make a budget spreadsheet.
by culi | 2025-12-14 23:56:32+00:00
> in a way that tooling can use to determine correctness.

As I pointed out in the article, the "tooling" is exactly TypeScript language services. If you are using JSDoc and you get squigglies or intellisense or any other similar features, you are using TypeScript.

You can copy-paste basically any bit of TypeScript into a JSDoc comment and it will work. JSDoc supports any non-runtime feature of TypeScript (so not enums). Even generics! You can even reference TypeScript utility types!

The whole point of this article was to correct the idea that JSDoc is not TypeScript. It absolutely is! There's almost nothing you can't define in JSDoc that you can't define in a .ts file. Albeit with a sometimes clunkier syntax
by rtpg | 2025-12-14 23:57:01+00:00
Very interesting historical document, though I don't have that much confidence in the precision of the explanation of the terms.

Related to this: does anyone know if there's any document that delves into how Church landed on Church numerals in particular? I get how they work, etc, but at least the papers I saw from him seem to just drop the definition out of thin air.

Were church numerals capturing some canonical representation of naturals in logic that was just known in the domain at the time? Are there any notes or the like that provide more insight?
by ThrowawayR2 | 2025-12-14 23:57:13+00:00
There are some claims that an increasing percentage of employment is comprised of lower paid and more precarious gig workers, e.g. from https://www.forbes.com/sites/kirkogunrinde/2025/11/18/gig-ec... "Hours worked on gig platforms in 2025 have increased, even as payroll growth has slowed, suggesting more workers have taken up gig work during a cooling labor market, according to a report released by Goldman Sachs."
by DoctorOetker | 2025-12-14 23:57:18+00:00
If one is given an incomplete proof (i.e. where not each step is justified in terms of theorems completely justified before it) there is an amount of bruteforce entropy involved for guessing which intermediate steps weren't jotted down. Of course it takes 20x or more effort if the prover refused to write down certain steps. It even occurs that when pointed out, it takes the original "prover" a lot of time to find a proof for a gap, hence it wasn't originally proven.

If I find my own proofs, or if the proof of someone else is clearly written, formalization is not hard at all.

Let us assume for the sake of this discussion that Wiles' latest proof for FLT is in fact complete, while his earlier proof wasn't. It took Wiles and his helper more than a weekend to close the gap. Imagine no one had challenged the proof or pointed out this gap. Anyone tasked with formalizing it would face the challenge of trying to figure out which result (incorrectly presumed to be already known) was used in a certain step. The formalizer is in fact finishing an unfinished proof.

After succeeding in closing this gap, who else was willing to point at the next gap? There is always some sense of prestige lost when pointing at a "gap" and then observing the original prover(s) close that gap, in a sense they saw how to prove it while the challenger did not. This dynamic is unhealthy. To claim a proof we should expect a complete proof, the burden of proof should lay on the proving claimant not on the verifier.
by ben_w | 2025-12-14 23:57:51+00:00
> And we haven't even brought up intent-based ads (Google search).

OK, those also suck, for different reasons.

If I search for a thing, a search engine's entire job is to show me about that thing. That the engine's website puts a different thing that whatever the search algorithm thought was the best thing at the top because an advertiser paid for it to be so, is strictly worse. It's worse when the ad is not correct for obvious reasons, but it's also worse when the ad is also the best thing to show me, because in that condition it was already at the top and shouldn't have needed to pay to get there.

> Word of mouth benefits incumbents.

Ads generally (but not always) benefit whoever is richest, which is usually (but not always) the incumbent. This is why Coca Cola spends so much money on ads, even when those ads say nothing about the product itself e.g. the current GenAI Christmas ad.

> Advertising at least enables newcomers to temporarily burn money to gain mindshare, while “slow diffusion” will lock society into a “nobody ever got fired for buying IBM” state forever.

How long had ChatGPT been out before OpenAI's first ad for it?

The Google search engine itself, I heard about from word of mouth back in the 90s when all of us were using AltaVista, which I also only knew about from word of mouth. Firefox, word of mouth. LiveJournal and then Dreamwidth, word of mouth. Facebook, word of mouth. Skype, Telegram, AeroPress, Huel, these are all things I learned about from word of mouth.

If I understand correctly, "word of mouth" is also known in marketing-speak as "going viral".
by zimpenfish | 2025-12-14 23:58:05+00:00
> When I read the negative take on "it's always somebody else selecting the music for you" I really recoiled.

Someone clearly didn't listen to John Peel and Andy Kershaw in their youth.

(also, IN MY DAY, it was generally somebody else selecting the music for you - radio DJs/programmers, TV music shows, availability of things in shops, being able to actually get to the damn shops, etc. None of this choose your own adventure streaming or digital music malarkey.)
by mtriassi | 2025-12-14 23:58:22+00:00
Yeah it took me a second to understand how the game worked in learning mode.

By "whole cluster" I mean when there is more than 1 line completed with the same piece. For example if you have 2 lines that meet at a corner, placing the corner piece triggers a flip for both / all lines that meet in that corner. I found myself surprised by that the first time it happened.
by koverstreet | 2025-12-14 23:58:51+00:00
Do Arch and NixOS count? We're in the core package repositories for them, and have packages available for a list of others.

We're not aiming to be in GUI installers yet, that'll be sometime after taking the experimental label off. We're still going slow and steady; I don't think about doing things that will bring in more users until incoming bug reports are dead quiet (or as close to it as they ever get), and the userbase has been going up plenty fast all on its own by the activity I see.

So, sometime next year we'll be working on distro stuff again. Dunno when, I expect another spike in new users and bug reports when I take the experimental label off.
by mmooss | 2025-12-14 23:59:03+00:00
This sounds like amatuer stuff, a cool idea of a CEO who has nobody to tell them 'no'.

Did they really need to plant that on top of a Himalyan mountain? Also, even if successful, how do you service it? The environment is as rough on equipment as it is on climbers.

I understand there were no satellites yet, but there were no other options?
by l0gicpath | 2025-12-14 23:59:06+00:00
It started out as a take-home assignment for a job I’m interviewing for (they asked for about 10% of what I ended up implementing but I wanted to do/show more :). It’s an aggregator for crypto exchange data.

The app reads the public data stream from exchanges, handles the nitty, gritty details of each exchange’s websocket connections, deals with its quirks, cleans up and normalizes the data into a uniform structure (currently only supporting spot trades) then exposes it downstream as an SSE stream.

Uses Go, Templ, and Mithril.js, and is open source

Link: https://metra.sh

Github: https://github.com/hadydotai/metra-sh
by CamperBob2 | 2025-12-14 23:59:31+00:00
Sorry, didn't realize what you were actually referring to. Certainly I'd assume the models will keep getting better from the standpoint of reasoning performance. But much of that improved performance will be used to fool us into buying whatever the sponsor is selling.

That part will get worse, given that it hasn't really even begun ramping up yet. We are still in the "$1 Uber ride" stage, where it all seems like a never-ending free lunch.
by fmajid | 2025-12-14 23:59:35+00:00
I loved my HP 200LX, and I bought a Planet Gemini as well as a GPD Pocket for the same reasons you described.

But I am also 55, and my eyes can't deal any more with a screen less than 11" in a general-purpose computing device (as opposed to a phone or tablet, which have an OS and GUI designed for the small screens), so my portable devices are now a Chuwi Minibook X and a Thinkpad X13. The Thinkpad is a revelationm as despite its size it is lighter than almost anything else, including an iPad with a Bluetooth keyboard.
by blargey | 2025-12-14 23:59:59+00:00
Advertising as a source of consumer information is a market for lemons in and of itself. Everyone is free to claim innovation and deliver trash, and internet brands are a dime a dozen. Even just keeping out overt fraud/scams or propaganda campaigns is apparently a losing battle for platforms.

Reviewers/Influencers/interest-publications are often just a half-step above banner ads, but at least has more incentives than just "loudly capture attention" and "publish anything that pays the algorithmic sticker price".
by etoxin | 2025-12-15 00:00:01+00:00
So, some history. When SPA's started to boom on the web JSDoc was a life saver for typing. Application state was getting more complex. We needed more guard rails.

Then Google Closure Compiler came along which added type safety via JSDOC and TS came along with (TS)JSDoc support and it's own TS syntax.

The community chose native TS and Google Closure compiler slipped away into the background.

So (TS)JSDoc support is a relic from when Microsoft was trying to get market share from Google.

Today in 2025, TS offers so much more than the (TS)JSDoc implementation. Generics, Enums, Utility types, Type Testing in Vitest, typeguards, plus other stuff.

Today I use TS. I also use plain JSDoc for documentation. e.g. @link and @see for docs. Or @deprecated when I'm flagging a method to be removed. @example for a quick look up of how to use a component.

TS and plain JSDoc are both important together. But (TS)JSDoc alone, is a relic of the past.
by scotty79 | 2025-12-15 00:00:05+00:00
GraphQL is best if the entire React page gathers all requirement from subcomponents into one large GraphQL query and the backend converts the query to a single large SQL query that requests all the data directly from database where table and row level security make sure no private data is exposed. Then the backend converts SQL result into GraphQL response and React distributes the received data across subcomponents.

Resolvers should be an exception for the data that can't come directly from the database, not the backbone of the system.
by nest3 | 2025-12-15 00:00:16+00:00
OSINT Dork is a web-based tool that provides pre-built search engine dork queries for open source intelligence gathering and reconnaissance activities. The tool contains 73 dorks organized across 12 categories including shopping and e-commerce, email OSINT, phone number OSINT, social media OSINT, document and file OSINT, login and authentication OSINT, sensitive information, network and server OSINT, vulnerable systems, cloud storage, legal and court documents, and video conferences and CCTV.

The tool allows users to search for specific information patterns across target domains or individuals using multiple search engines. Users can input target domains or person names, select from categorized dork templates, and generate custom search queries. Each dork includes example usage and can be copied or executed directly through the interface.

Categories include queries for finding exposed shopping carts, order confirmations, payment logs, email addresses in documents, phone number lists, social media profiles, PDF documents, spreadsheets, database files, backup files, configuration files, login pages, admin panels, password reset pages, credit card patterns, bank account information, API keys, server configurations, AWS S3 buckets, exposed databases, court records, and webcam feeds.

The tool supports Google, Bing, DuckDuckGo, and Yandex search engines. It includes filtering options to include or exclude specific dork categories and provides functionality to open multiple searches simultaneously. The interface emphasizes legal and ethical use with disclaimers about educational and authorized testing purposes.
by still_grokking | 2025-12-15 00:00:55+00:00
> or Scala 2, yes, or there was the last I looked. Still the best Scala development experience by some margin, sadly.

I can't find it.

Could you link to that "best Scala development experience by some margin"?

All I know is that the Eclipse plugin is dead since about one decade. But maybe I just missed something.

> the integration/bridging piece is still flaky

What concrete issues do you have?

I'm using Metals on a daily basis and don't know about any such problems.

Could it be that the last time you've seen Scala (if you actually ever seen it at all) was about 10 years ago?

The discussions here on HN regarding Scala seem always massively dishonest, with a lot of people always spreading outright FUD for some reason I don't understand…
by dundarious | 2025-12-15 00:01:02+00:00
That aspect wasn't my intent, but in the Red October movie for example, he states that his job is "sitting in an office and writing books", and the story revolves around him doing things that are explicitly not his job, and him confronting how "green" he is for all the field work of the latter half.

I was specifically thinking of that line about sitting in an office writing books, analyzing, strategizing, justifying and criticizing, all of which are crucial guides to action -- hardly something you could describe as "just a tech job", for example.
by MangoToupe | 2025-12-15 00:03:04+00:00
Referring to "math" as serious just makes me want to discount your opinion entirely. Lectures (or indeed any linear encoding) are a bad medium for discussing formal languages. This has nothing to do with how much you care about a topic or whatever "serious" is supposed to imply here.

Regardless, listening to something intently and doing mechanical actions are not exclusive.