skysight-inc/HackerNews huggingface dataset:
Thank you for the article! I found the "I understand computers and therefore the world" in the beginning a bit pretentious, but after reading the rest anyway, it doesn't anymore. I'd summarize the piece as:

"The hacker mindset comes with powerful tools: The urge to figure stuff out, the creativity to use it in unusual ways and the passion to share knowledge. Let's use it to make the world a better place. Start a company and gather allies. If enough of us do this, we'll have an impact on the world."
You've got a product on one side and what looks like a convex combination on the other, taking the log and applying Jensen's inequality isn't as big a leap as it may sound.
Couldn’t you stop the proof at the statement q^2 must equal 2m^2 since it’s obvious there’s no solutions to q^2 = 2m^2.

To explain why it’s obvious, squares always have an even number if factors of two (an even multiple of any prime factor since it’s a square but just focus in on 2 here for now).

A square times two always has an odd number of factors of 2 since it’s the above (an even number of factors of two) plus one more factor.

An odd number of prime factors on one side can’t be equal to an even number of factors on the other side. q^2 can never equal 2m^2 for any integer value of a or m. Therefore it’s irrational.

This ends the proof much earlier right?
I read 'send' as being about the change in direction rather than any change in velocity.
I hope that limit only applies to punitive damages. For medical malpractice in the US, actual damages could easily exceed $250k.
So you just bury your head in the sand and let China do whatever they like in the South China Sea against much smaller nations like Taiwan, the Philippines, etc? I’m one of those people who thinks if someone is proposing a radical change they should at least own what happens when the status quo is changed. I for one think it would be a disaster if the US looked purely inwardly while China and Russia bulldoze their neighbors.
Building the lightest-weight Kubernetes dev ephemeral environments
I can't imagine the current state of AI supporting these types of interactions (or humans wanting to deal with AI on the other side), but would be happy to be proven wrong. I suggest focusing on this single use case of yours and applying it to your idea: "Find 30 leads for customer development for exploring a new market segment." Whether an MVP is successful or not will be a good indicator of feasibility.
We have this, but have a handful of devs who can't be bothered to install the hooks locally so deal with their PRs by fixing one linter error at a time and pushing a new commit to see what fails in the CI.
"X is a new version of Y" is a really uninformative way to introduce a project.

It's especially annoying when I click the link to Y and it just says "This repository contains the source code for Y".
This seems to fail to understand that we already have both levels.

Every OS will provide some mechanism to get more pages. But it turns out that managing the use of those pages requires specialized handling, depending on the use case, as well as a bunch of boilerplate. Hence, we also have malloc and its many, many cousins to allocate arbitrary size objects.

You're always welcome to use brk(2) or your OS's equivalent if you just want pages. The question is, what are you going to do with each page once you have it? That's where the next level comes in ...
Most motors connected directly to AC power are likely to be induction motors, which require no special magnets. From fans, to fridges, to AC etc. Because they don't need drive electronics they can be very cheap compared to BLDC and the like, which would need power conversion from AC.

Turbine generators typically use Synchronous motors, which often use DC to generate the opposing magnetic field ("exciters"), though they can also use permanent magnets for the same effect.
Sounds great. Also, if you went to work for BigCo and got a big pay rise, you would probably very soon get use to it and it wouldn't make you much happier. I wrote a bit more about this topic at: https://successfulsoftware.net/2013/11/06/lifestyle-programm...
Perseverance rover's Mars samples must be brought back to Earth
Right!

I wished banks would support yubikeys as 2FA tokens.
"She" refers to the person who furnished the quote in the comment I replied to. She is not a judge, she is a lobbyist.
"Python package installation, package format and loading of modules are defective"

How are they defective?
Literally all Russia had to do was not invade Ukraine, and none of this would happen. Ukraine will never be a “threat” to Russia at any point in the foreseeable future. However, Russia is maintaining that if it exists that it will become the next super power and overrun them. Or is it more likely that Putin was scared that Russians would see a richer sister country prospering under a western economy and challenge his tyranny?
If you think getting charged asking price is getting fleeced, then you are kind of illustrating my point. I don't want a customer that thinks they are getting fleeced by doing business with me.

I don't want a customer who thinks that paying asking price for a product is me taking advantage of them.

I don't want a customer that thinks I am starting the relationship as an adversary rather than a partner in a mutually beneficial transaction.

I want customers that are happy. I can't make you happy if you already think what I am selling is not worth what I'm charging. We will both be happier if you find a different supplier.

The kind of people that look for an angle on every transaction are the ones that will be the biggest pain in your ass while asking for more than everyone else. That's the generally held wisdom for a reason. It isn't always true, but its true often enough that it normally doesn't pay to play the game.

> And as a customer, if you're not already a subject-matter expert, you have no idea which business is trying to fleece you or not unless you price compare and try for discounts everywhere.

Yes, be a savvy consumer. But also realize that if you go around looking for the lowest price and asking for discounts, you will end up with the cheapest product or service, not necessarily the best value.
Photo of The Beyesian:

https://megayachtnews.com/2024/08/yacht-bayesian-sinks-in-se...

For those trying to find a conspiracy, it seems very improbable for anyone behind Chamberlain and Lynch’s death other than the laws of probability. I know that HP isn’t behind it because HP could never do something successfully.
yeah. its not great, we had to build out a poetry plugin that worked for our cases to support a mono repo, https://github.com/cloud-custodian/poetry-plugin-freeze?tab=...

the uv support on workspaces (virtual and concrete) has me intrigued.
They were in 160' of water, not sure draft would have been a concern.
I don't know if you see the irony of stating how difficult Linux is to use just after telling which hoops to jump to make Windows usable. Modern Linux requires way less than that.
Who mentioned Windows 11? Ever heard of Windows 365 and "cloud pc"?
I've always assumed the sites they track lead to some serious small sample biases in certain countries. It's an Irish company, so I'd guess most of their sites are European language based and wouldn't be surprised if there's a high amount of tech sites.

For example, it wouldn't be that surprising if they got data from HN, or a similar site. What portion of Indian desktop hits to this site do you think report using Linux?
What was the confusing Discord experience? Was it that Discord was the main way to access Midjourney, and it was chaotic? I vaguely remember this, but didn't spend much time there.
Whoa, thanks for the tip!
Kind of makes sense, I just don’t see a use case
Good questions. I suppose both of these issues could solved using standard x.509 certificates, which may be the next step for TimestampIt. I wanted to avoid using certificates to keep things more simple but it does leave open some issues.

To more directly answer your questions:

> 1. What would happen in the event when the private key was leaked? Is there any scenario for invalidating or rotating keys?

Right now there is no good means of invalidating a key. There is key rotation however, and upon key rotation the private key is completely deleted from all places it is stored. So I am doing everything I can to minimize exposure of the private key, but of course nothing is fool proof.

The verification scripts should be extended to verify that the timestamp occurs between the activation and retirement times for the signing key. You can see these times in the keychain: https://github.com/timestampit/keychain/blob/main/keychain.j... / https://timestampit.com/keychain.

> 2. For verifying the proof file, it seems like the URL for obtaining the signature key[1] is read directly off the proof file[2]. Wouldn’t that allow an attacker to publish proof files that point to their own server, hence allowing the attacker to sign fabricated files and still make them pass the automated validation?

This is a good call out. The verification scripts should check that the key-url has a trusted domain on it. I will make those changes soon.

I appreciate you checking out this project!
>In general, I also think it's a bad idea to entertain feature requests

A lot of the best features in my products originate with feature requests from customers.
A perfect demonstration of how many of harder problems we face writing (especially non-browser-based) software are in fact not addressed by language changes.

The concept of memory that is allocated by a thread and can only be deallocated by that thread is useful and valid, but as TFA demonstrates, can also cause problems if you're not careful with your overall architecture. If the language you're using even allows you to use this concept, it almost certainly will not protect you from having to get the architecture corect.
https://en.wikipedia.org/wiki/Proof_by_contradiction, https://ncatlab.org/nlab/show/proof+by+contradiction, https://web.stanford.edu/class/cs103/guide_to_proofs#proof-b... all agree (the first three things that came up when I googled for "proof by contradiction"): a proof by contradiction is specifically a proof which shows that P is not false, and concludes that it is true. There is already a perfectly cromulent term for proofs of negations: "refutation by contradiction" (https://ncatlab.org/nlab/show/refutation+by+contradiction), which admittedly nlab says it prefers to its other name "proof of negation".
THey are in fact talking about absolute efficiency.

Conventional electromotors are designed with high efficiency... at a certain range of RPM and torque. For lower RPM's permanent magnet electromotors suffer dramatic decreases in efficiency and torque, unless you use a gearbox, which also produce heat due to frictional loss.

These electrostatic motors can achieve quasi reversible performance (i.e. asymptotically close to 100% efficient, not a violation of thermodynamics, since neither electrical nor mechanical energy are thermal forms of energy).

Turbosets also reach nearly 100% conversion efficiency.

Electrostatic motors started their niche with miniature motors, since they were more compact and it becomes progressively harder to miniaturize winding coils. Where a simple electrode surface would be more space efficient.

Pay attention to Macroscale in the title, its these miniature-niche low RPM motors slowly capturing larger torque and higher RPM lebensraum from the gearboxed permanent magnet electromotors.
> In a sibling thread I explained that even if a machine is Ubuntu certified, it doesn't necessarily mean that it's compatible in real world.

I've never even heard of Ubuntu certification. I instead search for people who are using the product I wish to buy with Linux, and see what they say about its compatibility. This always works. So it is not pretty much impossible.
It took way too many clicks for me to figure out what this project is. And I'm still not entirely sure.
Are you saying that because this was more of an opinion piece?

As the author of Rye, a package that was heavily influential on the development of uv, Armin is very well positioned to share his opinions about this.
Do all variations of the model need to have the same architecture?

Or can they be different types of models with different number of layers, etc?
It's an interesting exercise to find the right generalization of this proof to sqrt(n) for arbitrary numbers n that are not perfect squares, and for kth roots for m >= 2. I.e. prove that if kth_rt(n) is rational, then n is a perfect kth power (or equivalently, that if n is not a perfect kth power, then kth_rt(n) is irrational).

(I'm talking about adapting the ideas of this divisibility-based proof. abstractbill's post https://news.ycombinator.com/item?id=41314547 about Conway's method, https://www.youtube.com/watch?v=wNOtOPjaLZs, is a completely different (and very cool) way to do this that I hadn't seen before today.)
One way to get your green tiles, I guess.
Sounds like material for the next Dr. Death season. The first two seasons were both pretty great.
I think it might be appropriate to vote if you disagree with the suspension with or without the identity of the offender but not releasing the name seems trivial if not even appropriate to me.
I would say it is a moving target if the goal is to write C code that compiles to a seemingly magical cpu instruction. As other have pointed out, learning assembly and compiler explorer are useful things.

As a way to show the wonderful complexities of compilers check the TOC of https://shop.elsevier.com/books/optimizing-compilers-for-mod...
Yep, that does work, although it needs a bunch of extra machinery (the fundamental theorem of arithmetic, which guarantees existence and uniqueness of prime factorisation). If you're happy to take that machinery as having already been proved - it's not entirely trivial, and it's definitely not obvious! - then you can indeed stop there.

Why do I claim that it's not obvious? Consider the ring of integers with sqrt(-5): that is, all complex numbers of the form `a + b sqrt(-5)` with a, b integers. This is a ring - it has all the nice additive and multiplicative properties that the integers do - but it doesn't have unique factorisation, because 6 has two distinct factorisations.
Google agrees to $250M+ deal to fund California newsrooms, AI
Didn't the captain check the weather forecast or how did this happen? Maybe he was drunk, since everyone celebrated?
Semantic Web is now revived into its new marketing incarnation, called Knowledge Graphs. There's actually a lot of work on building KGs with LLMs, specially in the RAG space e.g., Microsoft's GraphRag and llama_index's KnowledgeGraphIndex
PayPal used to be famous for this, years ago. But I haven't heard any stories recently. Is it still a thing?
I love speculative fiction! I've been more interested in it ever since I started reading Ted Chiang - he also has great speculative short story collections like Stories of your life (which arrival was based on)
Yep! We have a bunch of ideas for features that we can start building now that we've launched the MVP.

That includes categories, activity timeline, receipt scanning, sign in with Apple, and a web app... to name a few :)
I've built consumer apps in the space since 2016. (See lab.dns.xyz for context).

At the end of the day, even if you gave the average person a venmo like UX that paid in any currency, instantly, for nearly zero fees, I still don't expect them to prefer it to a dollar bill or gold.

While the counterpoints regarding UX are very significant (lose all your money in one click, no undo, lack of support, difficult concepts that don't map to common consumer use cases), they can be solved through sheer effort. We did that on dns.xyz. Social login, gasless minting, rollup for fast interactions, all doable.

There is no escaping the fact that blockchains are slow databases. That they aren't particularly good at storing data. Much less private than one might think.

You do get consensus and attribution. You can use it as a sort of open standard or api where the items you've bought or the things you're written are open enough to be reused in the future.

None of these problems are pains that need solving. And they are inferior solutions compared with alternatives.

It is great tech. It is great intellectual exploration. It is a fun stack. It has made people money through unregulated speculation.

But it is tarnished, clunky, and not necessary.
Recently, I canceled a subscription for a newspaper, they make you go through chat to cancel. The agent was so nice that it was annoying.

I don’t mind waiting in silence, but when they keep asking about weather, vacation plans, etc, I find it hard to not respond. This might part retention technique though.
Valgrind didn't catch it?
behind a lot of these are power games made particularly perverse bc the participants tend to believe that they are above power games via dedication-to-the-truth or something

the more knotted and unaccepted the actual hierarchy vs the perceived hierarchy, the more of this kind of behavior. the more people feel respected the less they have to force behavior from others to make up for the feeling of lack of respect.

particularly toxic are places where a local tyrant believes that they deserve a lot more respect than they actually do (e.g. expert beginnerism)
I work with LLMs on my day job. Check my profile and links.
"It practically guarantees people will think it's not working and tap again"

Please provide a link to your data and analysis.

Seriously, I hope you don't work for a major touchscreen supplier. A good UI can deal with relatively high latency input, a bad UI can make any latency unusable. Finger motion before/after contact and rapid high force contact bounces are common problems. Many high performance interfaces "gracefully" degrade report latency to similar levels under high interference conditions.
You answered your own question. “… reducing appetite…” . It’s all about CICO but also not about that. The real game-changer is the fact people don’t have to have the will power of a Zen guru to fight off the hunger pangs. That’s the 90% you should take away from this. It’s almost effortless, and that’s a huge deal. People have been proposing what you say for a 100 years and obesity only got worse. If a drug can fix it relatively safely more power to them.
I tried a bit of the opposite: replacing the computer with a tablet that can run those apps directly.

I eventually found tablets too limited in what I can do with them (like an iPad in my case).

A weird non-solution could be something like keeping your smartphone, but use the mirroring function on your laptop (Apple just announced this on Mac OS to mirror an iPhone).

This makes me think: while developing on Mac OS for the iPhone, one can run an emulator to check the app. Could that emulator be used with a shipped app? (Assuming you can even get the app itself from the store). I have no experience in that area.
Americans Think It Takes $2.5M to Be Considered Wealthy in 2024
Related HN discussion: https://news.ycombinator.com/item?id=41212788
Google sales reps allegedly keep telling advertisers how to target teens
This is absurd, detecting that a wrong interpretation is inconsistent (because it would result in overunity violation of energy conservation) and instead of rejecting the misinterpretation of the parent, concocting an even more convoluted interpretation.

All because people refuse to believe 100% energy conversion between electromagnetic domain and mechanical domain is impossible?

Turbosets have been doing this for a long time already, the Carnot efficiency limit does not apply to non-thermal energy conversions...
When possible, they pick "control points" at places where there are usually no passengers on board — for example, the ends of a linear route, or the bus depot.

But otherwise, they have a bunch of optimizations to spread the pauses out so they aren't too jarring. They also display the timer prominently so that riders are aware of what's going on.

In practice, riders seem happy with the tradeoff, since it has resulted in overall lower times to get from point A to point B.
Are they suing the hospital and care team for many millions of dollars? That's the level of neglect of responsibility that should get you enough money to own the hospital that did that kind of thing.

I regularly have to aggressively bully medical care teams for myself and others to get them to do the right, obvious things.

I do not trust doctors, they do not care to figure out problems, ignore so many people's problems, and make wildly stupid mistakes all of the time.
The gravity of the Earth absolutely does net work done on the probe. That’s an unambiguous mathematical statement. It’s just that this work is frame dependent. It sounds like you want it to frame-independent and to be given by the value in the center-of-mass frame. But it’s not.
https://crosleylaw.com/blog/texas-personal-injury-law-change....
Makes perfect sense to me for the updates to happen atomically and avoid causing lock contention, even if that makes the loader more allocation-happy than it'd be otherwise. I've done similar things before.

What about the query path? Your post talked about 10% improvement in response latency by changing memory allocators. That could be due to something like one allocator making huge page use more possible and thus vastly decreasing TLB pressure...but it also could be due to heavy malloc/free cycles during the query getting sped up. Is that happening, and if so why are those allocations necessary? Ignoring the tone, I think this is more what akira2501 was getting at. My inclination would be to explore using per-request arenas.
Thanks! If you mean the costs for users of Outerport, it'll be a subscription model for our hosted registry (with a limit on storage / S3 egress) and a license model for self-hosting the registry. So mainly storage, since the idea is to also minimize egress costs which are associated with the compute tied up in it!
Does HP have a black magic corporate division?
Loads better than it being "Acer ZXGT423LV" which is the trend with smartphones and many other devices today. I'll happily take an "embarrassing" name over that mess.
Thanks, didn't knew.
> The Java shops you're thinking of didn't disable GC during working hours, they just sized the generations to avoid a collection given their normal allocation rates.

Well, I just trivialized it. However, in one case in mid 00s, I saw it disabled completely to avoid any pauses during trading hours.
I wish people would just explicitly state they can't believe their eyes that 100% efficiency can be asymptotically reached, i.e. no known law of the universe prevents us from building electromotors that are 90%, 99%, 99.9% etc... absolute efficient.

Then we could just remind them that Carnot efficiency does not apply to electrical / mechanical energy conversion.
“Work done” is the integral of a force.

https://en.wikipedia.org/wiki/Work_(physics)
I feel this should be shortened into a haiku.
Despite the downvotes, I agree with you: I only care about getting the thing done. I don't want the OS to matter. I don't want it to be part of my identity. I don't want to think about the OS at all. Whereas most people using Linux are like: "whatever, once you read all the man pages and understand how the process isolation model works and find the right Discord chats to ask your question and know which packages to download and pick correctly from the 743 different distributions and make sure all hardware you buy is Linux-compatible and configure your kernel to sudo dev/null/ then you really don't have to jump down to the console more than once every few weeks" ... sorry, it's still currently much easier to unplug the internet when you first install Windows, edit a few regex keys to disable some ads, and then tell that popup "later" every few weeks. While the latter is infuriating, it takes two orders of magnitude less upfront mental load.
There's a theory that Midjourney didn't want to pay for image hosting (which they were getting for free from Discord).
sounds like -funroll-loops is back