skysight-inc/HackerNews huggingface dataset:
So about 4 × 10^22 stars in the observable universe, then?

A huge number compared to the number of values that can be stored in a 64-bit integer (1.8 × 10^19).

But a tiny number compared to the number of atoms in a human body (7 × 10^27).
That's a square root in real arithmetic. In finite fields you don't operate over the real numbers, but the numbers within the field.

An example of a finite field is the numbers modulo a prime, like p = 2^127 - 1.

Now, please find the square root of x = 113338949109682836687814795709948365013 mod 2^127 - 1. That is, find some number y such that y * y mod (2^127 - 1) = x.
Mystik Dan vs. Secretariat at the Derby
This year

Mystik Dan won the 2024 Kentucky
Derby with a winning time 2:03.24.

Secretariat won the 1973 Derby in

1:59.4

and that was a new Derby record and, from
some fast Google searching, still stands.

So, the difference in time (in seconds)
between Mystik Dan and Secretariat at the
Derby was

2:03.24 - 1:59.4 =

( 60 * 2 + 3.24 ) - ( 60 + 59.4 ) =
3.840

So, the difference in time was 3.840
seconds.

But, if both horses were in the same race
on the Derby track, at the instant
Secretariat was at the finish line and won
the race, how far (in feet) would
Secretariat be ahead of Mystik Dan?

So, the Derby race is 1 1/4 miles long.

Assume Mystik Dan was running at his
average speed (feet per second):

( 5280 * 1.25 ) / ( 60 * 2 + 3.24 ) =
53.554

Then the distance (feet) Mystik Dan ran in
the time 1:59.4 (seconds) Secretariat took
to run the race would be

( 60 + 59.4) * 53.554 = 6,394.348

So when Secretariat finished and won the
race, the distance (feet) Mystic Dan would
be behind would be:

( 5280 * 1.25 ) - 6,394.348 = 205.652

Even if the

3.840 seconds

might not sound like much, at the track
and watching the race, the distance

205.652 feet

would be a LOT and easy to see!

Video of Secretariat's Derby win is at:

https://youtu.be/LV4drumXbA4

From the movie 'Secretariat', he was
called Big Red, and at the end of this
video can see Secretariat and another
horse from behind -- Secretariat is a lot
wider!
> I don't understand why they would want to remove their code instead of wanting it to live on and further help more people through AI.

They do explain that in the post: because of the missing reciprocity. They didn't do it so OpenAI could profit off other's work, but to build a community with others. It's a pretty common motivator for humans.
I see nothing here that indicates a person has the right to have Stack Overflow answers deleted: https://gdpr.eu/right-to-be-forgotten/

First, I don't see how or why an answer would be considered "personal" data that is subject to this regulation at all. As far as I'm aware, that means data about yourself, not every piece of information about everything you have ever committed to public record. Second, Stack Overflow pretty clearly serves an informational purpose in the public interest that would be impeded if answers get deleted, which specifically makes it exempt.

The same thing goes for Europeans thinking Hacker News needs to let you delete comment history. If you say more than you intended in a specific instance, giving away information that can be used to identify you, you can ask to have that deleted and they will do it. In fact, I've done that myself. If you ask to have your entire comment history deleted, they do not have to do that.
PLA is also involved in greener coffee cartridge alternatives (https://www.youtube.com/watch?v=QbmfLjBUSV8).

i personally only knew it as a filament type for 3d printing, but was unaware about its bio-labelling in other industries.
> I've never seen it done well,

IMO, this is b/c it takes years to learn and apply, on top of already having significant CRUD experience

Corporate drones are not incentivized to do this, and startup people are pressed with time

So it may only work if there are highly motivated people, who may peridically ask for help from expirienced consultants, but not fully rely on them.

So do it this way:

> It’s better to model a lifecycle of such an entity as an FSM
Interesting, not really heard those terms, always "live leak". It's quite possible to introduce a live leak with manual memory management as well, though perhaps less seldom.
The equivalent of 14 tennis courts was destroyed in Castle Cove

Humans really can be absolutely disgusting and personally, I think the trees are more important than your view sorry.

I lived in Redern for years, surrounded by plenty of nice trees, and I wanted to see the harbor, I'd go to Circular Quay for dinner.

There's no need to destroy spectacular hundred year old trees so you can have "a view".

I'll reiterate, I've lived in several major cities in the world and nothing compares to Sydney because of it's trees, they really are spectacular. Once they're gone, and once people are allowed to go ahead with these, it won't be the same.
Can you have them executed as well or only find them for you (video shows the latter); if it finds one or more comments, it should ask

Execute? 0 1 2 No _

At least, that would be nice.
How to Be a Messy Thinker
Sure, and Buddhists differ widely in their beliefs as well, like more so than Christians. But the New Testament is pretty clear that at the very least you need works and some kind of special sauce, and you only get one shot at it.

I was just pointing out that from a certain point of view, the Christian model can look a lot more hopeless than Buddhism.
Honestly most kids have better video game rigs at home. Maybe the games with driving rigs, flying yokes, or handheld guns are harder to replicate, but kids get plenty of gaming at home. It’s not the outing it once was.
LLMs are really good at system 1 thinking (fast, intuitive) but can't do system 2 (planning, calculating) at all. Just like in Go/Baduk, neural net based AIs were good at tactical play but fell apart against pro players with good long term strategy. Until NNs were combined with Monte Carlo Tree Search and we got AlphaGo with great tactical and strategial play.

We need a good search strategy that fits LLMs before we can get AGI. Maybe Chain Of Thought can become such a strategy, but it always felt too clunky to me.
They surely do, D for example.

Swift as another one, RC is a GC algorithm, before the usual clueless reply from people not educated in CS.

Followed by FP languages now adopting effects and linear type systems, alongside their automatic memory management approaches.
Exactly, are you aware of any current efforts of people trying to do that?
Portugal Startup Law Is Useless
As always it depends.

If you want to make connection on concepts, creating a graph is better.

Write by hand if you prefer but store it scanned.

Personally, I don’t write by hand because I can delete, search, navigate, all the things that you can’t do with pen and paper.
That's probably not true. You may want to consider for example that pirates are the group that spend the most on content.
Have you tried Chrome or Firefox without any add-ons and a fresh profile?
While not perfect, static analysis takes care of that, in similar veins C and C++ devs reach out to them for the language flaws.
I know you don't know me personally, but I don't want it. Living off of my children's labors feels deeply icky to me unless they offer their support willingly, especially when they're at the time in life that they most need to be investing in themselves and I've already had the opportunity to do that.
I had assumed this works because it points the model towards more ELI5 like the explanations in the training data rather than imbuing it with any sort of reasoning.

If it works…then the why is somewhat secondary though still interesting
Depends pretty much on what implementation one is specifically talking about.

Just like not all malloc()/free() were born equal, to the point companies did made big bucks selling specialised implementations.
As long as there are workers, it doesn't dry up entirely. I guess the problem then becomes the fact that U.S. fertility has already fallen below the replacement rate.
One of the highlights of my life was an evening getting drunk with Roger Corman and Richard Edlund. My wife was working on a project with Richard, and we were having a social evening at some Santa Monica private dinner club. Roger Corman and wife walk up and join while having after dinner drinks and the 6 of us proceed to get trashed while my wife and the other two film execs talked about the film "Charlie Wilson's War" they were working on. Both Roger and Richard have/had a love for the "make it work hacks" they'd have to create for various film stunts and physically created visual effects, and they shared stories of them improvising these make shift camera rigs, with lots of laughs.
In which case they can't stop people using the outputs of their LLMs to create new ones. But I guess it'll need to be decided in court, and their plan is to achieve dominance (or enough of a lead to guarantee it, which is the same thing) before others start trying.
When children become caregivers, who cares for them?
I think it's important to point out for people that might be interested in this comment that a few things are wrong.

1. Standard JPEG compression uses the Discrete Cosine Transform, not the Fourier Transform.

2. It is easy to be dismissive of any technology by saying that it is 'just' X with Y, Z, etc on top

3. Vision transformers allow for much longer range context - the magic comes in part from the ability to relate between patches, as well as the learned features, which JPEG does not do.
Whose fault is that? Actions have consequences.

This is definitely the parentified child in me speaking, but I'm sick of being the adult to this generation of perpetual children, especially while being mocked by them the whole time for their actions.

Look at the stats about how inexpensive everything was back then relative to wages. If someone couldn't manage to save anything and succeed financially in that environment, compared to today's? They must not have been trying.

I recognize some people faced extenuating circumstances, but not HALF of people.

My dad's a perfect example. He complains that he prioritized "living for today" when he was young, but now it's tomorrow and he barely has a pot to piss in. But it's his own fault, and I would really like to see Boomers face that reality for the first time in their lives.
Even those have two major dialects with GC support, namely Unreal C++ and C++/CLI.

There was C++/CX as well, with WinRT/COM reference counting, but it got killed in MS internal politics.
thats because most of the "reusable bags" are just slightly thicker single use bags and they're so cheap that they're basically free though, there's no denying that it's a very easily solveable problem.
Ben from UncharteredX has a good video on these drill samples, but does not buy into the mainstream acceptance of how they were made. In fact the granite core samples show continuous grooves and you can calculator the pressure per turn the mechanism was under, and it’s not really able to be done easily.

https://youtu.be/KFuf-gBuuno
Their intention for specifications are clearly stated in the earlier part of the document:

Thread Group [...] grants you [...] license [...] to view, download, save, reproduce and use the Specification solely for your own internal purposes

[...] you shall not: 1) loan, rent, lease, sublicense, sell, or permit others to use the Specification; 2) modify, adapt, translate, or otherwise change the Specification in any manner or create any derivative work of the Specification;

[...] copy or reproduce the Specification except for backup or archival purposes in connection with your internal use; or 4) remove any proprietary notices or labels on the Specification.

So yeah, you can't create derivative works from these specifications. Is a blog post about it a derivative work? Who knows. Probably not. Probably what they meant is you just can't create your own Threads 2.0 specification or create unauthorized translation of it (which although restrictive is reasonable because they just don't trust you to not mess things up). They clearly just want to remain the single source of truth for Thread specification on the net, to avoid ecosystem fragmentation and they intend to sustain themselves from licensing fees from commercial device manufacturers.

Even with all their conditions normal rights to citation, critique, parody probably apply.
Rust helped making affine types acceptable in mainstream.

The next level is going into linear types, which is what some GC first languages are now slowly looking into.
IO_uring Bringing Better Send Zero-Copy Performance with Linux 6.10
At least in the UK, it's infamously only Earthed if you use the long extension cable (instead of plugging 'wall wart' in directly) that they no longer supply.

> Unearthed two-prong plugs are slightly more convenient here because they fit in more sockets.

That argument doesn't work here, all are 3 pin. It's a conducting third pin too, even though it's NC, which isn't even compliant.

My suspicion is that it's way more noticeable on European voltages (frequency could also be a factor?) so they don't notice in the US and don't care. I have a few products that do it; they're all US companies except one Japanese (slightly lower than US even at 100v, and product primarily sold to US I suspect).

My Framework laptop will shut down if it touches a charging but un-Earthed MacBook.
Appreciate the detailed feedback and yeah sorry for those issues, I kind of wanted to make it raw for now to leave to test just the core features so i tried perfecting that, I mean I could make it more beautiful and all but I dont have infinite time -- in the end im trying to get a job with it and work on it on the side because its open source so I know I wont get any money out of it at all, so I aimed to make core features not to bugged out and show it as it is, but still you feedback is very helpful, like best I've got so far, so im saving all you said and surely I will improve it the way you said
I don't quite have the background to read this article as-is, could anyone recommend an introduction to STARKs? My google search results are full of cryptocurrency blogspam.
Besides not being perfect, it requires full access to the whole source code.
Show HN: App to Track Meals Automatically
Hey everyone!

I've been diving into a project that stemmed from a familiar frustration. I found myself hitting a wall with exercise routines and healthy meals—keeping things fresh and staying on top of progress felt like a challenge. None of the existing solutions quite clicked for me.

So, I decided to channel my tech skills into something snappy and efficient to tackle this dilemma head-on. The result? I've crafted an initial version of a web app that packs a punch:

Snap a pic to track your meals effortlessly.
Instantly get meal suggestions tailored to your dietary preferences (think vegan, Mediterranean, paleo, keto...) with a simple tap, thanks to some nifty machine learning.

website: eliteolympus.com

I'm already gearing up for future features like exercise tracking and suggestions, lifestyle analytics, progress charts, wearables integration, daily goals, a calendar view—you name it!

I'd love to hear your thoughts and ideas on where to take this next!
I absolutely *loved* reading your comment! It was the right mixture of knowledgeable and humorous, and kept me gripped, not unlike a fine wodehouse novel. :)
You’re on a message board paid for by venture capitalists, it’s safe to assume most people here prioritise compensation at least more than average.
So many negative comments in this thread when it's pretty fuckin great. Yeah, Jellyfin is rough around the edges and needs some handholding but that's what containers are for. Updates don't work? roll it back. No biggie.

Without Jellyfin I'd probably still be using a SMB share with a VPN, not having access to resumable playback/tracking, easily sharing with other people, convenience of using web/apps, etc.

One thing I want Jellyfin to have is the ability to link a specific file with a specific timestamp, similar to how on youtube you can do domain.tld/videoID?&t=timestamp
Building a Better Hashtable on an FPGA
Translating user-generated content in Rails
The dark mode on that site is awful, I had to immediately toggle to light mode.
Ah yes, you're right
We did not... In essence it is even more pay as you go. Tax everyone more and distribute that to pensioners. Though quite many pensioners are rather poor. Some with high earnings in late career do quite well.
NASA details plan to build a levitating robot train on the moon
Can we just admit already that LLMs were all hype and no substance? I still see articles written as though ChatGPT is doing something groundbreaking when all it does is regurgitate its training data. The only good use (at least as of now) of LLMs is GitHub Copilot (edit: Grammarly also is useful here). Everything else has been a severe let down imo.
Mega- scale means something more than 10^6.

256 means 1/4 of kilo- only.

Cluster? A cluster is basically anything.
Take 100 bricks and stack them nicely, it will be a cluster of 100 bricks. But it won't even be a barn.

It's boring, girls :)
https://www.kalzumeus.com/

https://notes.andymatuschak.org

https://busterbenson.com/

a blog should not be over designed.
No I did not. I said it's different.
256 bytes ?!? How is that possible. I misread it as 256K initially.
Big fan of this series of lectures: https://youtu.be/h-94UhJLeck?si=0bEeB9VjmwRXIWTB.
Garbage Collectors Are Scary
I've done some work with fast approximate math libraries,and went down this path. Taylor was a dead-end, but Chebyshev polynomials work great. They have the nice property of having (close to) the minimum maximum (minimax) error over the entire range you are approximating.
There are a few issues with that position:

1) "What's true is determined by the scientific method" is, in fact, an axiom based on the old "obviously true" assumption.

2) There is thus far no evidence that the scientific method can deduce what the universe is and why it came into being. So according to the scientific method, we should probably be concluding that the truth isn't determined by the scientific method. It is a window into a fairly small subset of the truth.

3) We don't use the scientific method in court cases, we use standards of evidence and reasonableness tests. So when it matters what the truth is we don't use science (and, indeed, probably could not because it is too limited to achieve fairness).
I haven’t been to a Chuck E Cheese in at least 15 years BUT I have been to other “arcades”, including Main Event, and the trend for those has been make 90% of the games child gambling to maximize profit. It’s boring for my young children who don’t fully grasp the ticket concept and aren’t entertained by winning points. I remember the games of my childhood being much more about entertainment than they are now.
Very unlikely. Plenty enough 70 year olds can still do enough damage... So no payments is very unlikely situation. What I would expect is much lower standard of living and maybe not getting the most expensive medical treatments.

Specially later I think is something that as society we have to accept. You can not keep everyone alive as long as possible. On other side, with AIs and lot of drugs becoming generic we might be able to medicate affordably for quite a while.
There's not enough power for America's high-tech ambitions
proprietary/differentiated

this sounds scammy
There’s a 1995 PBS Nova episode in their Secrets of Lost Empires series which includes a segment on drilled granite. The episode features egyptologist Mark Lehner, stone mason Roger Hopkins, and ancient tool expert Denys Stocks.

The episode mainly explores the question of how an obelisk was raised. The team ran out of time before they were able to reach a satisfying conclusion, but they returned to Egypt in 1999 to record another NOVA episode, which includes two competing theories on how to raise an obelisk. I highly recommend both episodes.

https://www.pbs.org/wgbh/nova/lostempires/obelisk/cutting08....

https://youtu.be/qeS5lrmyD74
Ask HN: Alternatives to Google Photos
I have a real problem. For many years I had Google Photos. It was advertised as free forever, and I uploaded all my old archives from hard drive to cloud service. I never overused it, but global enshittification of Google poisoned this service also at some point. I partially agree with this move, even if I already pay Google for Youtube and watch advertisement I decided to pay for the storage and subscribed to Google One.

About month ago, Google somehow scammed me to switch plan with their unfamous woke AI. I thought they would try to lure me to taste Gemini and if it is ok then I will decide to switch from ChatGPT or other services I pay. But as soon as I switched, I found that now the price for Google One is 10-12 times more with storage I don't need. I barely use 1 Tb with 15 years of contents. Shame on me I trusted Google again with my personal data.

So, now I have time until July 31, 2024 to transfer all my photos and data to somewhere else. Because Google One doesn't provide any options to switch back to my old 2 Tb plan. Funny part that I paid for my 2 Tb plan upfront for one year and spend about just half of this period.

What do you recommend as an alternative to Google Photos and how can I save my data? I remember that they use internal format to store images and once they ask me to switch to this format to save data. Did you recover from this move and were able to restore all your family photos?

I need something reliable with phone backup application. Preferably with a family plan. We mostly use Apple phones and computers with my wife and kids.
I struggled to use it but it seems like it has potential and I starred it. I love how you land us right into the editing experience. Maybe there's a way to add some kind of short fully featured demo video when a fresh visitor lands? I made an open source fully static web data science studio (https://ohayo.computer/) and it made a big difference to have some simple templates on a fresh session.

I hadn't thought of an open source web video editor, but now I definitely want one.

Are there other good open source web video editors out there? What about other good open source desktop video editors?

Nice choice of idea. Video editing is important. Looking forward to see this develop.
> although weirdly a lot of enterprises don't seem to care. :(

Probably because Azure is cheaper than AWS and I am sure MS might be throwing some freebies/discounts if the customer is using Enterprise Office.
Focus On One Thing
> T-Mobile and Verizon agreed to pay $4.1 million each while AT&T agreed to pay a little over $2 million.

The fines aren't meaningful. They'll regard that as the cost of doing business.
> surprised this hasn't hit the top of Hacker News and instead gone un-noticed.

Most people outside Aus dont know about UniSuper so HN probably assumed its a small company so not really important.
How would Apple then sell any of their MacBook Air range? (I don’t mean this as a criticism of Apple either - they need to differentiate their products somehow, and giving the iPad Pro MacOS would simply cannibalize their own products).
90s cyperpunk existential anime produced with an eye for western markets could also describe Serial Experiments Lain and I am surprised to see no mention of this absolute classic.

https://en.m.wikipedia.org/wiki/Serial_Experiments_Lain (spoiler-heavy article for the kind of story where trying to piece reality together is part of the experience)
My Android player never crashed, you may want to file a bug
How dare you call my quarter-ass strange!

I demand a duel. Tablets at twenty paces. No BitBlts.
> or click the following link if you have the FireFox browser (Chrome’s implementation of WebAssembly has much worse performance).

Now that is interesting. I've been on the FireFox train for 20 years but I haven't seen a "best viewed in FireFox" tag in a long time. It's a pleasant surprise, but I'm also curious how Chrome has managed to be bad at this.
Consider: you might be wrong about LLMs regurgitating their training data.