MurphyA/hacker-news huggingface dataset:
by burnte | 2025-08-20 22:19:31+00:00
I understand your intent here but you're being told that you have not correctly achieved it, and you need to make some small changes to get to where you want to be.

Presently you say this: > This software is available under two licenses: > MIT: non-commercial use > Proprietary: commercial use, contact for terms: hello@bizcardz.ai

What this means:

"You may select from one of two licenses for this software: - the MIT license which has no restrictions of any kind - a proprietary license you must contact me to learn about."

I get you think adding "non-commercial" to that line means you're telling folks the MIT option is only for noncommercial uses, but that's not the end effect. What you are actually saying is that people can choose MIT or not, and they're going to choose MIT. You tried to say it's MIT only for noncommercial, but that language IS NOT IN THE MIT LICENSE and so your statement is unenforcable. We're only trying to help you here.

What I think you're looking for:

You may select from one of two licenses for this software: 1. All use where the code is used in a commercial, revenue generating, or other for-pay or professional use, you must purchase a license. Contact me for details. 2. For non-commercial uses the software is free to use, modify, and redistribute for other non-commercial uses.

Then you want to use a license that agrees with your desires, and MIT is not that license.

Right now anyone can take your code, take it under MIT, and you've got literally nothing to say about it. So just change that license, that's all.

Or don't it's not our code that will be misused.

Never write a legal document yourself. Always talk to a lawyer because these traps are really easy to set.
by jafioti | 2025-08-20 22:19:34+00:00
ah i see the confusion. we do common subexpression elimination of the terms in the search space (which allows single application of rewrites to apply to many repeat patterns) but the search can choose to re-use patterns of terms when we extract dags after the search space is built. so various levels of recomputation are searched.

right now since we're profiling kernels, and we have a reference output of the unoptimised version, we can directly measure deviation of profiled outputs "for free" since we're already computing them for runtime. tbh this isn't what i want long term, i want to bake numerical stability natively into the search space to only extract dags that would produce stable outputs. hopefully that'll be solved soon.
by socalgal2 | 2025-08-20 22:19:38+00:00
I often put requirements at the top of article

> This article assumes you've read [this] and [this] and understand > [this topic] and [this topic too]

I'm not sure that's helpful, and, I don't put everything. Those links might also have further links saying you need X, Y, and Z. But at least there is a trail on where to start
by Theodores | 2025-08-20 22:19:39+00:00
In the olden 8-bit days, we would have to do this in BASIC or assembler with a 3D library that we would have to write ourselves. Then we would run out of memory.

Later on - about a quarter of a century ago - we had VRML which enables anyone to just focus on the what rather than the how. But VRML always needed a plugin to download, which was no fun at all in the dial-up days. We almost had a 3D web, but no, it ended up 2D.

I digress. However, if you want 3D plots without having to reinvent the wheel, three.js is fit for purpose, with the right CodePen example to get you started.
by allenu | 2025-08-20 22:21:12+00:00
This is something I've always thought would be useful as well, but after seeing some demos of it in action [1], I'm now not so sure. One of the issues I see is that because of the infinite zooming/scaling, there's no sense of place or spatial awareness that you get with a 2D map, or even a traditional outline. I think it would be easy to get lost if you had too much nesting and a lot of content.

Maybe on a smaller scale, it would be manageable though. I remember seeing some presentations that use Prezi and that has the ability to nest text at different zoom levels, and the transitions between slides worked pretty well and you did still have a sense of place, but the presenters didn't have tons of content all over like in the youtube link. I wish I had a link handy for the Prezi presentation I saw online because some of them were structured like your description about different zoom levels, like a fractal.

[1] https://www.youtube.com/watch?v=GblI7GI0jQ4&t=85s
by xenophonf | 2025-08-20 22:22:20+00:00
> I have recently jumped onto the "write python tooling in rust" bandwagon

I know Go and Rust are the belles du jour, but this kind of thing really hampers integrators' ability to support platforms other than x86-64 and armv8. In my particular case, it results in me being unable to build software that depends on pyca/cryptography on platforms like s390x, which makes me sad. It also makes development environment management, including CI/CD pipeline maintenance, that much more complicated. It was already bad enough when I was trying to compile binary distributions on Windows, and that was just with the Visual C++ toolchain mess that is the Microsoft development experience.
by sugarpimpdorsey | 2025-08-20 22:23:00+00:00
> Anubis is a clone of Kiwiflare, not an original work, so you're actually sort of half-right:

Interesting. That itself appears to be a clone of haproxy-protection. I know there has also been an nginx module that does the same for some time. Either way, proof-of-work is by this point not novel.

Everyone seems to have overlooked the more substantive point of my comment which is that it appears kernel.org cheaped out and is using the free version of Anubis, instead of paying up to support the developer for his work. You know they have the money to do it.

In 2024 the Linux Foundation reported $299.7M in expenses, with $22.7M of that going toward project infrastructure and $15.2M on "event services" (I guess making sure the cotton candy machines and sno-cone makers were working at conferences).

My point is, cough up a few bucks for a license you chiselers.
by himeexcelanta | 2025-08-20 22:23:12+00:00
Samsung Galaxy S3, HTC EVO 4g, Motorola Droid.

I used to do all kinds of things…tether to my laptop without it being supported in my data plan, torrent, etc.

I also got tired of the platform skins depending on the manufacturer.

If I’m not going to utilize the customization of Android, then I might as well go with the more consistent and refined experience out of the box.

Also iMessage! Hate to say it but my social group is primarily iOS so the experience is superior.
by analog31 | 2025-08-20 22:23:32+00:00
In my experience, virtually everything is less reliable on a conventional bike, than on a car. Many of the consumable parts last a couple thousand miles at most. This may be due to differing user expectations, or the fact that a bike is more sensitive to added weight. As a rider, it's not objectionable because everything is also more maintainable by a reasonably handy person. I'd rather fix the bike once in a while than ride a permanently heavy bike.

What I can't guess is how this translates into expectations for the components of an e-bike. There must still be a limit to how much size and weight a rider is willing to tolerate.

On the other hand, maybe a high quality battery would last a long time and not need service, but the market isn't ready to believe it.
by Hizonner | 2025-08-20 22:23:41+00:00
That sounds like a really dumb scraper indeed. I don't think you'd want to feed very many diffs into a training run or most inference runs.

But if there's a (discoverable) page comparing every revision of a page to every other revision, and a page has N revisions, there are going to be (N^2-N)/2 delta pages, so could it just be the majority of the distinct pages your Wiki has are deltas?

I would think that by now the "AI companies" would have something smarter steering their scrapers. Like, I dunno, some kind of AI. But maybe they don't for some reason? Or maybe the big ones do, but smaller "hungrier" ones, with less staff but still probably with a lot of cash, are willing to burn bandwidth so they don't have to implement that?

The questions just multiply.
by addaon | 2025-08-20 22:24:09+00:00
> That path fits that apparent definition.

Then saying it "isn't actually chaotic" is mis-aligned with the layman's understanding, and the disagreement is not explained (either by explaining a more technical definition, or otherwise).

I continue to think that substituting "non-deterministic" or "random" would be more both understandable to the layman, and more correct to the advanced reader.
by jafioti | 2025-08-20 22:24:09+00:00
yup! we build a search space by iteratively applying rewrite rules in every possible order (using e-graphs to do this efficiently). the rewrites alter stuff like looping / tiling structures, as well as algebraic rewrites like softmax to online softmax (and then flash attention).

yes optimized kernels for one system will work on other systems with the same hardware. its fine to take a long time compiling if you just compile once and run a lot.
by bsder | 2025-08-20 22:24:51+00:00
> But also, at some point we plan to port Zed to run in a web browser, and will likely build on WebGPU, where WGSL is the native shading language.

Except that everything has effectively converged to HLSL (via Slang which is effectively HLSL++) and SPIR-V (coming via Shader 7).

So, your pipelines, shader language, and IR code would all look mostly the same between Windows and Linux if you threw in with DX12 (which looks much more like Vulkan) rather than DX11. And you'd get the ability to multi-thread through the GPU subsystem via DX12/Vulkan.

And, to be fair, we've seen that MoltenVK gets you about 80-90% of native Metal performance on macOS, so you wouldn't have to maintain a Metal backend, anymore.

And you'd gain the ability to use all the standard GPU debugging tools from Microsoft, nVidia, and AMD rather than just RenderDoc.

You'd abandon this all for some mythical future compatibility with WebGPU--which has deployment counts you can measure with a thimble?
by NRHuntoon | 2025-08-20 22:28:39+00:00
Prezi used to work this way. (It still may, but I haven't used Prezi in almost 10 years, and it looks like they've gone head first into the AI generated Slide Business) https://prezi.com/

I used to make entire presentations, systems diagrams, story boards, etc all using scale as a meaningful piece of information. You could go way overboard with it but it was really great. (We used to have a saying "Your Prezi is making me dizzy" for folks that overdid the flying nature)
by zem | 2025-08-20 22:28:50+00:00
* alec effinger: when gravity fails

* pat cadigan: synners

* neal stephenson: the diamond age

and two books that bring cyberpunk elements into a larger sphere

* greg egan: zendegi. a dying engineer wants to make an AI version of himself to raise his son

* c s friedman: this alien shore (beautiful meld of far future space based sf and cyberpunk)
by StableAlkyne | 2025-08-20 22:30:24+00:00
At least for me, it was back when I was taking classes in college and writing a lot of notes. Made it easy to try a bunch of pens and inks. That said, just try a few. You don't have to be systematic or spend a bunch. I like fine tips, so any fine tip is fine with me.

That, and I keep a written log of what I do during a day. Helps with annual performance reviews and to answer the question of "wait didn't I do X a week ago?" I guess I could migrate to a text file or something, but that's a lot more restrictive of a format than just writing.

Plus, my notebook isn't going to suddenly run out of battery in the middle of a string of meetings. And if my pen goes dry - just find whatever ballpoint or pencil is around, nbd.

That said, nobody's forcing you to write or whatever. People enjoy different things, and that's okay.
Show HN: MCP Server for PostgreSQL Monitoring/Operations (MCP-PostgreSQL-Ops)
by call518 | 2025-08-20 22:30:44+00:00
MCP Server for PostgreSQL Monitoring/Operations (MCP-PostgreSQL-Ops)

<Examples Queries> "Check PostgreSQL server status" "Check PostgreSQL server version and connection status" "Verify if extensions are installed" "Show current active connection count" "Show the shared_buffers configuration" "Show PostgreSQL configuration parameter for shared_buffers" "Find all memory-related configuration settings" "Show logging configuration parameters" "Display connection-related settings" "Find all timeout configurations" "Show all PostgreSQL configuration parameters" "Show top 10 slowest queries" "Show top 20 slowest queries" "Analyze slow queries in specific database" "Find unused indexes" "Analyze recent query activity" "Check index efficiency in specific database" "Check database sizes" "Find largest tables" "Show tables that need VACUUM" "Check table sizes in specific database schema" "List tables in specific database" "Check maintenance status in specific database"
by benatkin | 2025-08-20 22:31:31+00:00
It sounds like this would prevent users from backing up their own data, which is hard with localStorage and sessionStorage, and instead having to rely on the site owner.

However this doesn't go into any detail, so maybe they have some convenient way of being able to access these files in mind, but we'll never know. It reminds me of another shallow dismissal by Mozilla: https://github.com/mdn/content/pull/36294 https://webreflection.medium.com/mdn-doesnt-trust-you-should...
by max-privatevoid | 2025-08-20 22:32:47+00:00
Yeah it looks pretty funny. Probably happens because it's not a fork as far as GitHub is concerned (had some problems with that). Looking at PR creators should give you a better idea. It's basically just me right now.

https://github.com/zedless-editor/zed/pulls?q=is%3Apr+is%3Ac...
by brookst | 2025-08-20 22:32:55+00:00
Optics say you’re not getting thinner cameras. Otherwise they’d do that, and all those foot-long lenses you see at sports events would just be phones.

Given thickness constraints at the lens,‘I don’t see any reason to make the rest of the phone that thick. Why? Extra battery and nearly double the weight of the phone? Empty space? Cord storage?
by righthand | 2025-08-20 22:33:15+00:00
Does that work if the cult violations become more and more normalized?

If the cult believes to ignore anyone that disagrees, how do you break through? Crime has gone down over the decades and people are still screaming their heads off at it at every level. How do you embrace cult think about spreading insecurity? How can you argue on their terms when their terms aren’t even remotely accurate?
by kposehn | 2025-08-20 22:33:25+00:00
Putting my affiliate hat on here for a minute...

Very cool to see how you've aggregated so many products into one service. How do you plan to compete with FMTC and others that aggregate feeds together? Speaking as a publisher, I'd not want to share commission unless absolutely necessary and would prefer to just pay a fee so I can access the feed and not have an unknown amount of revenue lost between myself and the merchant.

As a brand running a program, I'd be very cautious about allowing my feed into your database if I didn't have any way to finding out who is featuring my products and where/how. Are you providing visibility to the brands since you're effectively functioning as a sub-affiliate network?

Those questions aside, great to see YC funding a startup in the space!
by ww520 | 2025-08-20 22:33:32+00:00
From the little I know of, language based provers like Lean allow mathematicians to specify the steps of a proof in a precise language format that can be “run” by a machine assisted prover to prove its validity. It automates the verification and makes proofs reproducible.

In the past when proofs were done by hands, little mistakes or little changes could lead to a complete failure of the proof. Mathematicians spent weeks or months to redo the steps and recheck every little detail.

Machine assisted prover basically raises the abstraction level for theorem proving. People don’t need sweat about little details and little changes in the proof steps.

Language based machine provers also enable wider corroboration as a problem can be subdivided into smaller problems and farmed out to different people to tackle, perhaps to different experts for different parts of the problem. Since everyone uses the same language, the machine can verify each part and the overall proof once the parts come together.
by rchaud | 2025-08-20 22:33:54+00:00
I don't wear tight jeans and I've come to loathe having to put my phone in my pants pocket. If you're walking around a lot, the feeling is just annoying, you can feel it pressing on your leg the whole time. When I sit down, the bunching feeling is even worse, so I immediately put the phone on the table.

This wasn't an issue when phones had 4.7"-5"-inch screens. Nowadays the phone goes into the cargo pocket if I'm wearing shorts, or back pocket if I'm walking.
by bsenftner | 2025-08-20 22:34:10+00:00
Around 2007 I was talking to music labels about customized ringtones, working with people that could modify vocals in songs to change names and such. The idea being songs could be personalized with people's names and business names, and coming from the labels that own the songs, everyone would be happy and making revenue. I spoke with pretty much all the business development people at the major recording labels, even had a champion biz dev guy from Warner Records promoting the idea, but the larger recording industry socially hated the people in the ringtone industry. They loved the revenues, but the people they disliked and were quietly working to end ringtones simply because they hated rubbing elbows with them, they'd get in physical altercations with the ringtone people. I remember hearing "the crazies of hip hop are nothing compared to the insane ringtone crews."
by vasusen | 2025-08-20 22:34:11+00:00
Yes an electron app helps tremendously, especially for managing lifecycle of tabs independently. We use that for creating our AI browser automations at Donobu (https://donobu.com). However, we do have the luxury of just focusing on a narrow AI QA use case vs. Browser-Use and others who need to support broad usecases in potentially adversarial environments.
by zem | 2025-08-20 22:34:17+00:00
I can sympathise with that, but to argue a bit for the other side, these tools are mainly intended to run on the developer's machine or in the CI pipeline. in both cases they overwhelmingly use architectures that rust supports, and in the case of CI surely it's easier to deploy a single rust binary than a python binary and all its library dependencies.

I used to be very much in the "write your language tools in the language and the community will contribute" camp, but astral has really shown what a big difference pure speed can make, and I now have more of a "write tools in rust and ideally make sure they also expose libraries that you can call from python" mindset.
by crystal_revenge | 2025-08-20 22:34:59+00:00
At least for theorem proovers like Lean, they're basically type checkers but for much more sophisticated type systems than you find in your average programming language. Basically, if the proof compiles, it is proven. In fact, if you look at Lean code it is very similar to Haskell (and the book Functional Programming with Lean is a great way to explore the language from that lens [0])

You can also think of this in reverse and it might help you understand better: Your type checker at compile time is basically providing a sort of "proof" that all the functions and arguments in your program are consistent. Of course, because the type system is not as sophisticated, it can't prove your program is correct, but it as least can prove something about how your program will behave. If you had a more advanced type system, you could, in fact, prove more sophisticated things about the performance of your code (for example that the shapes of all your matrices matched).

A great book on this topic is Type Theory and Formal Proof [1].

0. https://lean-lang.org/functional_programming_in_lean/

1. https://www.cambridge.org/core/books/type-theory-and-formal-...
by throwup238 | 2025-08-20 22:35:20+00:00
Battery cells are generally binned like many ICs and the best cells go to cars and other high margin, high performance, or safety critical goods. The lower quality ones go to more cost conscious markets like the ebikes, where problems in quality control can definitely show up, especially if the OEM isn’t careful in how they spec the deliverables QA on the battery manufacturer’s side.
by Hizonner | 2025-08-20 22:37:02+00:00
This assumes it's fun.

Usually when I hit an error page, and especially if I hit repeated errors, I'm not in the mood for fun, and I'm definitely not in the mood for "fun" provided by the people who probably screwed up to begin with. It comes off as "oops, we can't do anything useful, but maybe if we try to act cute you'll forget that".

Also, it was more fun the first time or two. There's a not a lot of orginal fun on the error pages you get nowadays.

> People love dreaming of the 90s wild web and hate the clean cut soulless corp web of today

It's been a while, but I don't remember much gratuitous cutesiness on the 90s Web. Not unless you were actively looking for it.
by rhaps0dy | 2025-08-20 22:37:08+00:00
Hah, I stand corrected. In my defense, Ty make it a lot more obvious and ominous on their github (https://github.com/astral-sh/ty):

> /!\ Warning

> ty is in preview and is not ready for production use.

> We're working hard to make ty stable and feature-complete, but until then, expect to encounter bugs, missing features, and fatal errors.
by kevincox | 2025-08-20 22:38:22+00:00
Why require proof of work with difficulty at all then? Just have no UI other than (javascript) required and run a trivial computation in WASM as a way of testing for modern browser features. That way users don't complain that it is taking 30s on their low-end phone and it doesn't make it any easier for scrapers to scrape (because the PoW was trivial anyways).
by 1vuio0pswjnm7 | 2025-08-20 22:38:25+00:00
"Indeed, as long ago as the 1960s, that phenomenon was noticed by Joseph Weizenbaum, the designer of the pioneering chatbot ELIZA, which replicated the responses of a psychotherapist so convincingly that even test subjects who knew they were conversing with a machine thought it displayed emotions and empathy.

"What I had not realized," Weizenbaum wrote in 1976, "is that extremely short exposures to a relatively simple computer program could induce powerful delusional thinking in quite normal people." Weizenbaum warned that the "reckless anthropomorphization of the computer" - that is, treating it as some sort of thinking companion - produced a "simpleminded view of intelligence.""

https://www.theguardian.com/technology/2023/jul/25/joseph-we...

Weizenbaum's 1976 book: https://news.ycombinator.com/item?id=36875958

HN commenter rates this "greatest tech book of all-time":

https://news.ycombinator.com/item?id=36592209
by impossiblefork | 2025-08-20 22:38:39+00:00
Maybe not for personal communication, but for e-mails to the government etc., yes.

Here in Sweden we have something like this, but it's not one mailbox, but effectively one mailbox per government service. So there's one for medical stuff, and you get messages from the physicians who have looked into your problems, messages about booked appointments etc., and there's similar things for other government services that require multi-step communication.