skysight-inc/HackerNews huggingface dataset:
Simplest solution is Firefox or Safari, not another Chromium browser or niche Firefox Fork.
> And yet, you can do arithmetic with circle lengths just as much as you can with sides of squares.

No, you can't. There's no way to add or to multiply two numbers that don't have a finite expansion in some basis beyond just writing it as a sum outside of a very few special cases where there's a round-about way of finding the answer. I.e. if you try to do pi + pi, well, you may get a 2pi, if you pray hard enough and your faith is strong enough, but really, there's no proof that even that is true. You just choose to believe that it will check out somehow. But, even if you get a 2pi, it's still not an answer you want because to figure out what 2pi is, you still need to add a pi to a pi, so, you are back to square one.

> As I said, it's just as correct to think of any physical circle/ellipse as a many-sided polyhedron

Because you prayed hard enough and it was revealed to you in a dream? Based on what do you believe this?
I forgot the title of a Polish book I once read, but I remember many plot points. When I described them to gpt 4o, in five responses it gave me six books, three of which were English and one was Russian, but attributed all six of them to random Polish fantasy writers (even Polish ones had the wrong authors).
Doesn't change anything from what I pointed out.
Ah yes, someone discovering the existence of three value logic in SQL and expecting 2VL behavior. Classic. We've all been there, right?

Personally I wish more languages were like python or ruby and had chosen None or Nil over Null which alleviates the confusion a bit, as those names better indicates that it's NOT an "unknown" (1 unknown value != 1 other unknown, which intuitively makes sense.) In ruby or python it's more obvious that None and Nil are "nothing" types and therefore equivalence makes sense (nil == nil, None == None are both true)
Great work!

Do you see any artifacts from having trained on synthetic data? Is there a natural benchmark dataset (real tables in the wild)?

In my experience synthetic data can only take you so far, it has all the quirk the dataset creator can think of but the real value is usually in patterns they cannot. Vision took a huge leap forward with ImageNet dataset release
Ah yes, Brave, the browser that highjacks websites to inject their own referral code, that's the right browser to use for privacy conscious people.
It does make sense that AI would empower smaller groups, but is important to keep in mind that these AI tools themselves like the LLM models and training, etc. will not be in the hands or created by small groups. Small groups will be beholden to these AI models and the subscription price may go up or even take the model of commercial real estate where they get a percentage of the revenue that’s generated using these tools. The data used to train these models is key. We all need to be very aware of this.
"encodes UUIDs to a readable Key format via the Base32-Crockford codec and also decodes them back to UUIDs."

Example:
"d1756360-5da0-40df-9926-a76abff5601d" => "38QARV0-1ET0G6Z-2CJD9VA-2ZZAR0X"

I think now you risk having 0 vs O or I vs 1 readability issues. [edit: good news, I was wrong]
You're not remotely alone here and it's sad how rare this sentiment is.

I completely agree with you.

I feel like I'm taking crazy pills because if you apply this situation to pretty much any other consumer product it gets ridiculous fast. What if a car doesn't allow you to turn off an approved road? What if it limited your speed to posted limits? What if you could only use fuel from one brand of station? If parts used DRM so the dealership had to do your brakes and any repairs?

All of these things would cause a massive backlash.

But computers are so hard people can't be trusted with them. It's just nuts.
I'm running crDroid, all my photos are backed up using Immich, and the rest is handled with Seedvault [1] to my Nextcloud server.

[1] https://github.com/seedvault-app/seedvault
I don't know what you mean. People are saying that Facebook wouldn't allow them to reuse their own old username. I think it's to prevent identity theft as someone could pick up any deleted username and pretend to be the old owner. They could even re-add the old owner's old connections to establish the scam. A few people might think "I thought I was already connected to this guy!" but most wouldn't think twice if they saw that the username and photo were the same.

I think it makes sense to allow reuse of usernames, but only after a sufficiently long period of time. I don't know if 20 years is enough, but something in that ballpark would be needed to reduce the risk of identity theft.
What's your suggestion? Genuine question. I'm on Firefox.
This is exactly what we are investigating, to record audio locally (minimal processing) and process it off-device. I think it's definitely possible.
You might be interested in the M5Stack Atom Echo. I believe you can flash them to work with Home Assistant (you could also just use the new HA Voice hardware).

[EDIT] Looks like the T-Watch 2020 also has HA support https://github.com/velijv/LILYGO-T-Watch-S3-ESPHome/tree/mai...
For a look at what his non-retired, non-calm management style was like see:

https://www.joelonsoftware.com/2006/06/16/my-first-billg-rev...
Many states have similar laws and they don't see the same massive real estate costs. High property cost is almost entirely demand based.
Exactly, but with more processing power than the BASIC + Assembly days, and more connectivity.
The "Applicable Products" were from 2017/2018, at least for the few i checked. Is this still possible with their new models?
Use Firefox. Consumers need to wean away from spam companies.
I remember an uproar about building a nuclear reactor here in Canada because of a predicted 27 billion dollar cost. 40 billion euros?!

If it's going to be like this then I think net 0 requires a different form of government or for private power generation. There is no reason for a nuclear reactor to cost more than 10 billion US.
"The Javascript stops working when printed to physical paper."

You need to upgrade your paper that supports a minimum FR of 60hz.
Success comes from hard work and perseverence.

Success comes from being at the right place at the right time.

Both of these statements can be true at the same time.
Base32-Crockford doesn’t have 0 and 1 for this exact reason!

(Seems uuidkey authors have decided to remove O and I instead, but the effect is the same)

EDIT: I’ve looked it up and I was wrong! Crockford alphabet does use all digits (0–9), but doesn’t have O, I or L. When decoding, O is mapped back to 0 and both I and L are mapped to 1. Sorry for the confusion!
I invented (more or less) Crockford Base32 back in 2001 which I called "Base32t" (t for Tapir, because it was part of the "Tapir User Management System") for encoding password reset tokens and such. (Minus those squicky check symbols... Right out of the mind that left us the seductive but slightly flawed JSON [1])

I used T.U.M. for a number of sites including one that was in the Alexa top 2000, even though it was open source it got no pickup from anyone else. The standard at the time was to pick up some software like PHPNuke which did a lot of things badly as opposed to my Yahoo-inspired approach of "pick the best of breed software and plug them into a common user management system".

The idea didn't get any traction until 2013 when things like this popped up like mushrooms. Seemed the missing features were "vendor lock-in", "somebody else owns your user database", "they might shut down, get bought by Google or kick you out of the free tier."

[1] I've seen it enough that I'd expect higher uptake if you inject small flaws into a specification like that.
Are you thinking of something like LINQ or SQLAlchemy Core? You do not need to use an ORM to interface with a SQL database with basic software engineering principles.

The reason for a data layer is because the underlying data representation might change. For example, you might change the schema to handle some new performance requirement. Now you have to hunt down and change everywhere you've queried that table in your whole code base. Every time you directly call SQL you are coupling your code strongly to the database schema which is ultimately an implementation detail.

> And convenience is a real thing that actually does reduce costs.

I know convenience is a real thing. I also know that it very often increases costs in the long run.
Check out mathlib for LEAN, the pace of proofs being added here is breathtaking: https://github.com/leanprover-community/mathlib4
It just depends when you want to draw the line of “this is beginning of a new culture”
Well, I don't know what they do with it bc I do not see ads on Brave Browser - it's an entirely different Internet.
China is rapidly decarbonizing, India is right behind, it is the US you have to convince to move faster (coal plants are rapidly on their way out, but US consumers prefer ICE pickups over EVs, and LNG exports must be prevented and substitutes found [carbon footprint determined to be substantially higher than coal]). Europeans have, for the most part, done very well considering the carbon profile of everything west of Poland. But they also need to speed up the EV uptake, with domestic EU automakers pleading "it's too hard" while China eats their lunch. Norway shows they way here imho, as they have reached their 2025 deadline of only new EVs being sold. Battery manufacturing is needed, as much as possible, batteries are the future of anything not seasonal storage.

We did not leave the stone age because we ran out of stone, but because we found something better. This applies to renewables, EVs, batteries, etc as well, the problem is mostly solved, it is a matter of making the machine go faster is all. We need enough low carbon energy to replace everything fossil today (account for the orders of magnitude efficiency gains versus thermal generation, so not a 1:1 replacement needed), future energy growth, and energy needed to sequester 100+ years of emitted carbon.

The exponential growth of solar power will change the world - https://news.ycombinator.com/item?id=40746617 - June 2024

(the Earth collects enough solar radiation in less than an hour to power humanity for a year)
The culture in Norway certainly wasn't global 80 years ago.
I have 10Mbps at home, 50ms pings, and 1080p streaming.
This is quite awesome to see. Kudos to all involved.
I guess it'd make a difference if anybody'd been following the policy or Google'd been doing anything effective to enforce it. I find this, um, improbable.
No it's not enough. It doesn't mean anything. A company cannot have an over abundance of desire for profit. A person cannot have an over abundance of desire for profit. They CAN commit crimes, and make morally reprehensible decisions. Talk about those.
A fine is probably appropriate. It's what somebody else would get for a first offense.

And, of course, it's probably the politically astute thing to do. Any jail time, or even probation, would be seen as politically motivated, even if it were otherwise called for.

Still... we seem to have ceded the rules entirely to the billionaires. They can break election laws with impunity, since courts are restricted to imposing fines, at most. The fines are pocket change for the wealthy.

If it were me, I'd have liked to seen a single day in jail imposed. Even if it's delayed until after his Presidential term.

(Strictly, this is not a violation of election law, but a business rule. But it was done in the context of an election law violation, which I think means it should get more than the minimum punishment.)
I love the throwback reference to the Diablo II CD key. There are some CD keys that will be forever etched in my brain, no matter how many PINs I struggle to remember. I suspect a good number of you know far too much of a certain string that starts with FCKGW.
Leaked Doc: New Rules Allow Slurs on Facebook, Meta Platforms
For any successful company, you can probably find ex-employees who think that some "fat trimming" was excessive and unnecessarily cruel or that they pushed some line or another in excessive ways.

The Jack Welch case (and I'd add Mark Hurd at HP) was an example of financial engineering looking great for a time--until it wasn't.
Chollet – "o-models FAR beyond classical DL" [video]
He may or may not want the attention, but https://ladybird.org/ is coming along surprisingly well.

In the meantime Safari/Firefox as appropriate.

It's a shame really, because as a piece of software engineering Chrome is incredible.
Peter Thiel: A time for truth and reconciliation
No browser is immune to fingerprinting, or even a little bit hard to fingerprint.
I have always thought of this saying as a warning that just because you have implemented a single layer of interlock doesn't mean that you are done.

For instance, let's say you risk electrocuting yourself if you insert a cable the wrong way. So the designers specify a keyed connector, which is the right thing to do. However, it is good to have in mind that some super-idiot will find a way to insert it the wrong way anyways. And as much as you believe in Darwinism, it may still be a good idea to mitigate the risk of electrocution if it happens.
Not just capitalism, luck applies to even ordinary things like getting jobs etc. This is not to say we shouldn't try or put effort into whatever we are doing, but luck does play a big part. In one place where I worked, this 18 year old kid got an internship. She wasn't terrible, but she wasn't great either. She masterfully did minimum work for maximum benefit. I learned she was the kid of a VP who worked there - I am sure there were plenty of kids who were more qualified/motivated than her, but they don't have a VP parent.

There is a reason young people today feel hard work doesn't reward as much as it used to. Everything is stacked against them - from student loans to crappy jobs. SO MUCH depends on luck
My inclination would be that it has less to do with the keys getting broken in that timeframe and more to do with moving to larger key sizes as soon as possible. As pointed out by others, RSA depends on the asymmetric difficulty of multiplication vs factorization of integers, but the degree of that asymmetry has no hard bounds. Advances in mathematics could reduce it, and NSA may already know of or at least suspect the existence of techniques which are not public. Larger key sizes mitigate against these developments, and pushing the software and hardware stacks to their limits sooner rather than later allows both the vendors and standards bodies to adapt before cryptographic breaks actually occur.
Apparently, this is not a parody.

Archive link in case it gets paywalled: https://archive.ph/h1GOf
Just for you, I added Kernel Developer and System & Compiler Developer options :)
You talk like we already don't know that birds are now real, and are actualy goverment drones.
If we're going to use absurd hyperbole like "steal", I think we should just keep going further.

Zuckerberg murdered some old library books to train a model. Zuckerberg genocided training data!

Heck, everyone who read your comment here stole it. I'm so sorry for your loss.
If security is not that important, Firefox or Safari. If you care about security, Chromium.
501c3 nonprofits can ‘fiscally sponsor’ projects that are too small for their own nonprofit but still need all the same legal/accounting/finance support. Some of that $6M in their checking account will ‘belong’ to the projects they are sponsoring. Basically like a nonprofit incubator.
One of the perennial questions about proof automation has been the utility of proofs that cannot be understood by humans.

Generally, most computer scientists using proof automation don't care about the proof itself -- they care that one exists. It can contain as many lemmas and steps as needed. They're unlikely to ever read it.

It seems to me that LLMs would be decent at generating proofs this way: so long as they submit their tactics to the proof checker and the proof is found they can generate whatever is needed.

However for mathematicians, of which I am not a member of that distinguished group, seem to appreciate qualities in proofs such as elegance and simplicity. Many mathematicians that I've heard respond to the initial question believe that a proof generated by some future AI system will not be useful to humans if they cannot understand and appreciate it. The existence of a proof is not enough.

Now that we're getting close to having algorithms that can generate proofs it makes the question a bit more urgent, I think. What use is a proof that isn't elegant? Are proofs written for a particular audience or are they written for the result?
> I dislike weapons

A throwaway comment, but huh?
Forest Service Halts Prescribed Burns in California (oct 2024)
Trying it now for the first time, and getting an HTTP Basic Auth pop-up. They caught on.
Is it though? Or is it a monolithic rube Goldberg machine of lock-in?
Those hippies didn't consider the decommission process of wind turbines. Drove past several farms during my holiday and there were a staggering number of turbines that were either not turning or turning at a fraction of the speed of their peers. I do worry what we are going to do with all the failed gearboxes and blades :\
I would suggest Loonshots - fascinating dive into both the technology and the conditions that allowed people to really make stuff happen (or not)
https://www.bahcall.com/book/
>Is there now an incentive to advertise your views by committing crime to attract as much attention as possible?

I guess. That would be really stupid though. This isn't a burner account. You get to do this maybe once, and it doesn't always work (some user upstream has 2 ex-coworkers on SO to no fame. Accounts still up).

Alternatively, there's 2 situation in which this can be gamed against other users

1. Your name is common and now all John doe's in X sector are accused of being murderers.

2. A non-obvious account has a sabetour try to associate the account with a murderer. You can't do much to disprove it outside if doxx yourself. Lies pile on and you're banned wrongfully.

The internet is still semi-anonymous. We literally cannot be a judge of stuff like this.

>So now we're somewhere pretty uncomfortable. I think it wrong to suppress Osama Bin Laden's screeds recently removed from the Guardian online, however much I loathe him and everything he stood for.

I think that's where the subtetly of this situation kicks in. This isn't about banning people, and honestly banning Luigi would have gotten less attention on this story (but still some). This is ultimately a private server and they can ban you for whatever they want.

But this was So having their cake and eating it too. They simply erased the name. To use The guardian example, this is like remove Bin Laden from the site, but his comments about whatever (be it trivial opinions on economics or threats of terror) stay there just fine on the site. I Don't see who wins here. The actual ideas are on your site, but you just swept the name under the rug.

On top of this, this goes agiandt the CC license of comments. You can remove a comment, but you can't unattributte an existing comment.
If nothing else it's at least a discussion starter.

I've believed that we were something bubble-esque once the interest rates went up without this leading any drops in stock prices-- essentially I believe that stock prices should be discounted future dividends, or discounted profit not handed out as dividends, etc., and this is basically theory; and when the interest rates went from 1% to 5%, then obviously if they are held at 5% for a long time, then prices would have to go to 1/5, or profits would have to substantially increase to keep valuations constant, and then one can question where they're going to be long term.

One instructive field is offices. I think commercial real estate has gone down something like 8% since interest rate were 1% from some graph I found at one of the many federal reserve branches, but that's pretty minor considering the increase in interest rates and WFH, so I feel that US commercial real estate is probably overvalued.

I don't think any of this is a new insight. I think even Swedish banks have been very aware of this for quite some time, so it should probably be more obvious in the US.

Valuations of firms like Tesla (1.24 trillion USD) vs Volkswagen (0.051 trillion USD) or BYD (0.1 trillion USD) or even Boeing vs Airbus, show that something is at least a little bit crazy. When the market cap of US stocks is 55 trillion and and all stocks in the whole world are 111 trillion, whereas US GDP is 25%, the valuations don't really correspond to economic activity-- and one can say that one places expects growth and another not, but even a rubber tree farm has value and value can also result from the economic activity of others (i.e. the famous city lot of the Georgist parable) so, even if the rest of the world was just rubber plantations, I still think those rubber plantations should have a market cap approximately proportional to the fraction of world GDP they account for.
That's why I said:

>Sort of?

Back in the days of floppy disks and cassette tapes and 16--64KB memory spaces it was pretty hard to run into a real performance issue aside from games or sorting.

For the former, converting the inner loops as I described seemed to work, and I suppose it would have at least helped to some degree on the latter.

That said, yes, all the cool stuff was in assembly, and that lasted through to the early GUI days to some degree --- my favourite word-processor was WriteNow for the Mac/NeXT, ~100,000 lines of assembler.
Agreed. I first seen it at Stripe (along with prefixing every ID). Whoever at Stripe (or where ever it was invented) needs a good pat on that back. It's adoption has been a huge for DX generally.
Sure, but they're now a publicly traded company aren't they, it couldn't be say 60% whereas <=10% is a decent chunk but can still be justified to shareholders in the context of renting the trademark (which I HOPE resides in the foundation) and good will/marketing.
Why isn't this a web app?

I wouldn't use this unless I could access it through a browser.
I’ve made a library for that! https://codeberg.org/prettyid
It may just be personal preference but I think I'd find it more beautiful if there were 5 characters per block, instead of 7. It has a better rhythm to say it in my head
Something more substantive than an unsourced and undocumented photo would be more useful.
> It's, I think, quite relevant here to note that "word" is a famously hard to define concept in linguistics. That is, there is no generalized definition of the concept "word" that works across languages, writing systems (e.g. Chinese and Japanese writing don't traditionally use spaces to separate words), and ways of analyzing language (phonological words are different from grammatical words).

True, but for a language like English, the various definitions for "word" agree in many (though definitely not all) cases, and in the particular example, I think you'd have to argue somewhat harder to convince me that that sentence doesn't have exactly 11 words
(maybe if you argue that "would have" often turns into "would've", which is a single phonetic unit, but then I would also write it that way). There are however other cases where it's less clear (e.g. is possessive 's a separate word or an affix?).
> But the more immediately frustrating part is that the new remote doesn’t have a dedicated button for switching input modes, as previous remotes from LG and countless other remotes do.

LG remotes don't even have play/pause/forward/back buttons! It's insane! To pause your video it's literally a random number of button presses - could be 1, 2 or even 3 depending on the app.

Absolute UX madness.