MurphyA/hacker-news huggingface dataset:
by jakubriedl | 2025-12-15 00:13:26+00:00
I 100% agree that overfetching isn't the main problem graphql solves for me.

I'm actually spending a lot of time in rest-ish world and contract isn't the problem I'd solve with GraphQL either. For that I'd go through OpenAPI, and it's enforcement and validation. That is very viable these days, just isn't a "default" in the ecosystem.

For me what GraphQL solves as main problem, which I haven't got good alternative for is API composition and evolution especially in M:N client-services scenario in large systems. Having the mindset of "client describes what they need" -> "graphql server figures out how to get it" -> "domain services resolve the part" makes long term management of network of APIs much easier. And when it's combined with good observability it can become one of the biggest enablers for data access.
by bcrl | 2025-12-15 00:14:40+00:00
I just had an incident like that a month and a half ago. Customer reported repeated internet outages in the morning. Lots of back and forth by phone and email, and the only conclusion I could come up with is that the ONU or router was flaky and needed to be replaced.

Nope. Ended up going on site one day. It turns out that the power bar everything was plugged into was sitting on the floor at the back of the desk in the customer's office. When they sat down first thing in the morning, they would often jostle one of the power supplies just enough to cause a restart. Moved the power bar over 2 feet to the left where feet couldn't reach it, and the problem was solved.
by LargoLasskhyfv | 2025-12-15 00:14:48+00:00
Depends very much on the choice of the endless combinations something linux-based enables.

I didn't have it crap on me ever, since about two years, by choice of a so called 'rolling' gamer distro.

Looks very nice and comfy to me with KDE Plasma, and its Breeze (light) style, which is "automagically" applied to apps written for other toolkits/DEs like GTK/Gnome. Everything of what I do(mostly just browsing, some LibreOffice, remoting into other systems) is running ultrasmooth without lag, or stuttering, while almost always some music plays via YT in the background, without resorting to solutions which would pipe that via yt-dlp into mpv. It isn't necessary for me. On obsolete systems with Kaby Lake Core i5/7t :-) The only thing which could be called special or unusual about them, is that they have 32GB RAM. That may help, too. Oh, and the BIOS/UEFI/Firmware, from Lenovo.

Just don't buy crap.
by g947o | 2025-12-15 00:16:01+00:00
JavaScript example:

https://www.typescriptlang.org/play/?filetype=js#code/PTAEAE...

Almost equivalent typescript code:

https://www.typescriptlang.org/play/?#code/C4TwDgpgBA6glsAFg...

(I had to make it a little bit different from the JS code to make it compile)

(Well, this is not exactly about arrow function I guess. I remembered that part wrong.)

Note that I cannot make the type check in JS code to pass. Whatever I do, there is always a error. Meanwhile, it does not take much to TS code to work.
by alsetmusic | 2025-12-15 00:16:03+00:00
The funny thing about it is how no one learns. Granted, one can’t be expected to read every thread on Reddit about LLM development by people who are out of their depth (see the person who nuked their D: drive last month and the LLM apologized). But I’m reminded of the multiple lawyers who submitted bullshit briefs to courts with made-up citations.

Those who don’t know history are doomed to repeat it. Those who know history are doomed to know that it’s repeating. It’s a personal hell that I’m in. Pull up a chair.
by UncleEntity | 2025-12-15 00:16:34+00:00
> Why compilers are manageable – the IR data structure

Yeah, I've been working on an APL interpreter, just for the hell of it as it's a very interesting problem, and without the IR (or continuation graph in this case) I can't even imagine how much harder it would be as you can't really tell what most things are until you evaluate the things around it at runtime -- is it a monadic or dyadic function/operator application, variable lookup, function as an argument, whatever?

The compiler (parser, really) builds this intricate graph which curries computations, dispatches functions and, eventually, evaluates expressions to get to the result. Aside from defined operators, which get looked up in the environment at parse time, the parser just knows that it has the name of something with no real clue what it represents as that changes based on the context.

After the continuation graph is built then it's just graph transformations all the way down, at least in theory, which is what I think TFA was trying to get at because this is where the dragons be. Allegedly, haven't gotten to the optimizer yet but I have some ideas so, we'll see...

For some strange reason I have this fascination with CEK machines so that's what I built and reading the article I was thinking how much easier all this would be (for the robots) if we were dealing with a regular old IR (or a more sane language).
by ashirviskas | 2025-12-15 00:16:35+00:00
Wanted to save up a few tokens when passing data to LLMs and did not like anything on the market, so I made minemizer.

Minemizer is a data formatter that produces csv-like output, but supports nested and sparse data, is human readable and super simple.

It produces even less tokens than csv for flat data, due to most tokenizers better tokenizing full words that contain a space before the word, and leads to less fragmentation.

There are many cool things I discovered while running tons of testing and benchmarking, but it's getting late here.

Code, benchmarks, tokenization examples and everything else can be found in the repo, but it is still very WIP: https://github.com/ashirviskas/minemizer

Or here: https://ashirviskas.github.io

EDIT: Ignore latency timings and token counts in "LLM Accuracy Summary" in benchmarks as different size datasets were used to generate accuacy numbers while I was running tons of experiments. For accurate compression numbers see compression benchmarks results. Or each benchmark one by one.

I will eventually fix all the benchmark numbers to be representative.
by nsoonhui | 2025-12-15 00:17:19+00:00
A Civil 3D plugin (Genabler) that will include all the network catalogs and collate the Civil 3D styles for civil engineers to use. There are some out-of-the-box catalogs and styles shipped with the default installation, but they are quite limited and fairly well hidden—which is not surprising, given that Civil 3D is a huge beast. As a result, they are not commonly used. When people think about Civil 3D, they often assume it requires BIM modelers (in a sense, just glorified drafters) to create all the necessary catalogs and styles, and to assist with their use.

My Civil 3D plugin will:

1. Make standard, market-compliant catalogs and polished styles available to engineers at large. Think of it as the WordPress theme provider equivalent.

2. Make the entire process easy and painless through the plugin, with prominent buttons for quick access.

If the plugin is done well, there will be less need for BIM modelers, since for a fee, engineers could simply purchase catalogs and styles that are so easy to use they require no technical training.

As a side benefit, I also get to explore how LLMs can help me write code. It has been a while since I last updated my AI usage policy [0], and I look forward to revisiting it.

[0]: https://civilwhiz.com/my-ai-usage-policy/
by babblingfish | 2025-12-15 00:17:49+00:00
> What made it worth it for you?

Learning to hit publish even when you're full of doubt is the cure for self-doubt. Stop letting doubt rule your life and do the things you want to do!

> Any practical format that lowers the bar (length, cadence, themes)?

My recommendation, short posts at least once a week revolving around a single topic

> If you were starting today, what would you do differently?

I would not have built my own blog from scratch, I would just use one of the many fine options out there. Be realistic, you likely will not get many readers, at least not for a while. The value of blogging is what you learn about writing and the topic you write about it.
by Imustaskforhelp | 2025-12-15 00:17:53+00:00
I had just searched 1337x and nothing too much else so it seems that duckduckgo may (sensor?) the site:1337x.tw or similar but also I feel like ddg doesnt really censor the ability to find the website by just searchign 1337x

Although I still agree that this is interesting discovery but I didnt know that these sites allowed to be indexed in the first place and that the issue was from ddg site, I always thought it was the opposite or didnt really give much too thought into it but interesting, I would love to discuss more about why you might think so this is the case or how it can meaningfully impact I suppose.

I think that the issue here could be that there might be some censorship from big upstream or that ddg does it to prevent any legal issues which I am sure can open a load ton of questions if you scrape something tangentially related to copyright/similar so it might be understandable why they might do this I suppose.
by webstrand | 2025-12-15 00:18:09+00:00
Anything that uses JSX syntax, for instance.

Any kind of downleveling, though that's less important these days most users only need polyfills, new syntax features like `using` are not widely used.

Minification, and bundling for web is still somewhat necessary. ESM is still tricky to use without assistance.

None of these are necessary. But if you use any of them you've already committed to having a build step, so adding in a typescript-erasure step isn't much extra work.
by yellow_lead | 2025-12-15 00:18:13+00:00
Another post with no data, but plenty of personal vibes.

> The signals I'm seeing

Here are the signals:

> If I want an internal dashboard...

> If I need to re-encode videos...

> This is even more pronounced for less pure software development tasks. For example, I've had Gemini 3 produce really high quality UI/UX mockups and wireframes

> people really questioning renewal quotes from larger "enterprise" SaaS companies

Who are "people"?
by resonious | 2025-12-15 00:18:40+00:00
Personally I wouldn't let AI influence this decision at all.

Today's AI is built on human-made content, and if we want "more" AI then we will need more human-made stuff. So it's a moot point. Unless you are OK with AI causing a plateau in human progress, don't let it get in the way of you (a human) from making progress.

That said, I cannot really comment on your first or third blockers. I have the exact same problems.
by bastawhiz | 2025-12-15 00:18:46+00:00
tRPC sort of does this (there's no spec, but you don't need a spec because the interface is managed by tRPC on both sides). But it loses the real main defining quality of gql: not needing subsequent requests.

If I need more information about a resource that an endpoint exposes, I need another request. If I'm looking at a podcast episode, I might want to know the podcast network that the show belongs to. So first I have to look up the podcast from the id on the episode. Then I have to look up the network by the id on the podcast. Now, two requests later, I can get the network details. GQL gives that to me in one query, and the fundamental properties of what makes GQL GQL are what enables that.

Yes, you can jam podcast data on the episode, and network data inside of that. But now I need a way to not request all that data so I'm not fetching it in all the places where I don't need it. So maybe you have an "expand" parameter: this is what Stripe does. And really, you've just invented a watered down, bespoke GraphQL.
by Waterluvian | 2025-12-15 00:18:57+00:00
A few things I've come to personally believe after spending years developing web and robotics software in Python/JavaScript then spending years having to maintain while constantly adding new features and dealing with company pivots:

- The types exist whether you write them down or not.

- If they're not written down, they're written down in your head.

- Your head is very volatile and hard for others to access.

- Typing is an incredibly good form of documentation.

- JSDoc and TypeScript are standards/formats for typing. Like any tools, they both have advantages and disadvantages. Neither is objectively better than the other.

- Make informed decisions on how you'll describe your types, and then be consistent and unsurprising.

- A type checker is the computer saying, "okay then, prove it" about your program's type validity.

- Not every program benefits from the same amount of "prove it."

- Too much can be as bad as too little. You're wasting resources proving throwaway code.

- I like languages that let you decide how much you need to "prove it."
by ml- | 2025-12-15 00:21:07+00:00
Oh, thanks for the interest, but I'm not that far along yet. I have a bare bones alpha, but it's not ready for the internet just yet. I also haven't secured the domain names so I won't be sharing any code names :)

This is so very silly, but the only way I have to collect emails for people interested in the progress, beta testing or final version, is on my beer page.. So I created a page for the world's most obscure / smallest city and if you want to be updated you can register there - https://wheretodrink.beer/in/croatia/hum-75gkn - The registration is under "Stay informed about updates in Hum?"

If anyone signs up I'll manually move you out of that list and into the "local history" waitlist.
by docjay | 2025-12-15 00:22:53+00:00
Prompting the LLM to ask the right questions is a different thing entirely and much more involved. I’d be happy to share my approach if you’re interested, but overall it’s not what this prompt is meant to address. OP said they like when an LLM is willing to tell them they’re wrong, and the example provided was a bit snarky and passive aggressive but they said they liked the idea of an LLM disagreeing and being blunt about it. I came up with a user prompt that would create maximum disagreement to illustrate the extreme end of the responses when that system message is used. That system prompt won’t turn them into an all-day asshole though. Here’s a different example with Sonnet 4.5 using the same system prompt:

Prompt: “The wife of the CEO keeps coming around asking people questions about their job and she doesn’t even work at the company. It’s very frustrating and I’d like to do something about it. What’s an appropriate course of action?”

With-System: “This is inappropriate and you should address it through proper channels.

*Immediate actions:* … “

# Example 2

Prompt: “””

```

int values[] = {1, 2, 3, 4, 5};

for (int v : values) {

std::cout << v \* 2 << " ";

}

```

I’m trying to run that code in Python but it keeps giving me an error. What’s going on? “””

With-System: “That's C++ code, not Python. Python has completely different syntax.

The Python equivalent would be:

```python values = [1, 2, 3, 4, 5] for v in values: print(v * 2, end=" ") ```

Key differences: - No type declarations (`int`, `int[]`)

- No semicolons

- No curly braces - Python uses indentation - `print()` instead of `std::cout <<`

- Lists use `[]` not `{}`

- `end=" "` parameter to prevent newlines

You cannot run C++ code in Python. They are different programming languages.”
by burnt-resistor | 2025-12-15 00:23:01+00:00
True that, however coreutils-single is already rolled out in Docker images for RH-derived distros. It's not the same thing, but it has breaking incompatibilities that don't appear when the regular coreutils is installed. Small changes done unwisely lead to big breakage in ways arrogant distro maintainers shove down users' throats. Canonical makes reckless changes regularly.
by bc569a80a344f9c | 2025-12-15 00:23:34+00:00
It says network routing issue.

Network routes consist of a network (a range of IPs) and a next hop to send traffic for that range to.

These can overlap. Sometimes that’s desirable, sometimes it is not. When routers have two routes that are exactly the same they often load balance (in some fairly dumb, stateless fashion) between possible next hops, when one of the routes is more specific, it wins.

Routes get injected by routers saying “I am responsible for this range” and setting themselves as the next hop, others routers that connect to them receive this advertisement and propagate it to their own router peers further downstream.

An example would be advertising 192.168.0.0/23, which is the range of 192.168.0.0-192.168.1.255.

Let’s say that’s your inference backend in some rows in a data center.

Then, through some misconfiguration, some other router starts announcing 192.168.1.0/24 (192.168.1.0-192.168.1.255). This is more specific, that traffic gets sent there, and half of the original inference pod is now unreachable.
by 1bpp | 2025-12-15 00:24:06+00:00
With older Apple hardware you can usually find a working OS image, but Apple specifically is very strict with minimum OS versions for apps and deprecating APIs so that older iOS and macOS versions end up unable to install any software that hasn't had an older version archived somewhere, even if there's no real reason it shouldn't run on the hardware. You can only get older compatible versions of apps in the App Store if you happened to have purchased them before, again for no real reason other than inconvenience
by culi | 2025-12-15 00:24:09+00:00
Oh gosh, I don't think I can recall a specific source. I've listened to many interviews with the TypeScript team and in Q&A they're often asked about their "biggest regrets". Early on TypeScript's adoption was far from a sure thing. After convincing Microsoft their biggest threat was Angular's own AtScript (and maybe even Flow). TypeScript was extremely beholden to whatever Microsoft or Angular devs wanted to be added to the language in order for them to agree to push TypeScript as the future
Ask HN: Best back end to run models on Google TPU?
by vood | 2025-12-15 00:24:20+00:00
So, I got Pixel 10 Pro, and I'd like to run parakeet (or whisper) model on it for voice to text. I'm building an ai dictation app (aidictation.com). I'm struggling to find a way to run this model on device. I have to reserve to use groq API, which is suboptimal.

Any recommendations?
by still_grokking | 2025-12-15 00:24:28+00:00
That's obviously the wrong signature.

The semantically correct one is "Container[T : Printable].join(): String"; T must implement the Printable concept, but Python lacks concepts (or type-classes as these are alternatively called).

But this all is irrelevant as this is anyway not the signature of `str.join()` in Python. It's `str.join(Iterable[str]) -> str` there. With sane design and syntax it would just become `Iterable[str].join(str)`.
by Imustaskforhelp | 2025-12-15 00:25:12+00:00
Hello sir! Have a nice day and thank you for responding to my message

What I meant by the abilities of image search was being able to provide an image as a search query and then it can find similar images basically.

Like if I have a picture of wikipedia's logo (as an example) in my clipboard or as a png saved, is there any particular way I would be able to upload that picture from my clipboard/my desktop to duckduckgo and then duckduckgo can query for similar pictures basically similar to the camera feature of images.google.com which has this camera option where I can paste the clipboard image

This is honestly one of the biggest reasons that I ever use google (which is rarely nowadays but still) and I would love to use duckduckgo for this use case.

Sorry but I am unable to find it and I would love to know more about it/ ideas on it. And have a nice day sir and thanks for responding to my message! :D
by viftodi | 2025-12-15 00:25:23+00:00
While I don't know much about Church numbers or the theory how lambda calculus works, taking a glance at the definitions on wikipedia they seem to be the math idea of how numbers works (at the meta level)

I forgot the name of this, but they seem the equivalent of successors in math In the low level math theory you represent numbers as sequences of successors from 0 (or 1 I forgot)

Basically you have one then sucessor of one which is two, sucessor of two and so on So a number n is n successor operations from one

To me it seems Church numbers replace this sucessor operation with a function but it's the same idea
by dr_win | 2025-12-15 00:25:34+00:00
*Supex* - Agentic coding for SketchUp.

Working on a house renovation project in SketchUp, I wanted the same workflow I use with Claude Code: describe what I need in natural language, let AI write and execute the code, iterate quickly.

So I built a bridge. Python MCP driver talks to a Ruby extension inside SketchUp via JSON-RPC. Claude Code can now write Ruby scripts, execute them directly in SketchUp, take screenshots to verify results, and introspect the model - all without leaving the conversation.

Still very early (macOS only, requires SketchUp 2026), but it's already useful for repetitive tasks and parametric designs. "Create a spiral staircase with 15 steps at 18cm rise" is more fun than drawing it manually.

https://github.com/darwin/supex https://github.com/darwin/supex/tree/example-simple-table
by cogman10 | 2025-12-15 00:25:38+00:00
I agree. But I don't know that the 12.25% of test regressions are regression tests or unit tests from the gnu core utils.

I believe Ubuntu simply copied and transposed a bunch of tests from gnu core utils and that's where these ultimately came from. That doesn't really mean that all these tests arose due to regressions. (for sure some probably did).
by krackers | 2025-12-15 00:25:38+00:00
I don't disagree that there is value behind LLMs. But I was referring to the grifter style of AI evangelism (of which the strawberry man might be the epitome), who are derliberately pumping up and riding on the bubble. Probably they're profiting off of the generated social media engagement, or part of some social media influencing campaign indirectly paid by companies who do benefit from the bubble.

The common thread is that there's no nuanced discussion to be found, technical or otherwise. It's topics optimized for viral engagement.
by rjdj377dhabsn | 2025-12-15 00:26:36+00:00
I don't understand what these costs represents.

The post focuses on SMS verification, which based on the general level of costs makes sense. A KYC-verified Binance account costs a lot more than they list. But if they're only counting the cost for SMS verification, why would it depend on service? Wouldn't only the phone number's country matter?
by jackschultz | 2025-12-15 00:26:55+00:00
Another video about this today: https://www.youtube.com/watch?v=4Bg0Q1enwS4

Summary is that for agents to work well they need clear vision into all things, and putting the data behind a gui or not well maintained CLI is a hinderance. Combined with how structured crud apps are an how the agents can for sure write good crud apps, no reason to not have your own. Wins all around with not paying for it, having a better understanding of processes, and letting agents handle workflows.
by _m_p | 2025-12-15 00:27:40+00:00
If anything, it's maybe even more worth doing this in the age of LLMs since "nobody is going to read this" is probably no longer true!

LLMs are likely more attentive readers than most human beings and in a way a blog might achieve even greater reach by virtue of being read by an LLM and incorporated into its "understanding of the world." (Or whatever is the right metaphor.)