skysight-inc/HackerNews huggingface dataset:
Related:

Tom Lehrer DAT Recordings - https://news.ycombinator.com/item?id=38778749 - Dec 2023 (2 comments)

That's Mathematics – Tom Lehrer Songs - https://news.ycombinator.com/item?id=38471908 - Nov 2023 (1 comment)

Tom Lehrer puts all music and lyrics in public domain - https://news.ycombinator.com/item?id=34038206 - Dec 2022 (1 comment)

Looking for Tom Lehrer, Comedy's Mysterious Genius - https://news.ycombinator.com/item?id=34034896 - Dec 2022 (1 comment)

Tom Lehrer has released all of his songs into the public domain - https://news.ycombinator.com/item?id=34024968 - Dec 2022 (130 comments)

Tom Lehrer – We Will All Go Together When We Go - https://news.ycombinator.com/item?id=30509279 - March 2022 (2 comments)

Tom Lehrer – So Long, Mom (A Song for World War III, 1967) - https://news.ycombinator.com/item?id=30496103 - Feb 2022 (1 comment)

Tom Lehrer on Kurt Weill's Broadway Music (1999) - https://news.ycombinator.com/item?id=27743713 - July 2021 (1 comment)

Tom Lehrer Puts His Music into the Public Domain - https://news.ycombinator.com/item?id=24882384 - Oct 2020 (1 comment)

Tom Lehrer releases song lyrics to public domain - https://news.ycombinator.com/item?id=24833683 - Oct 2020 (132 comments)

Tom Lehrer's Mathematical Songs (1951) - https://news.ycombinator.com/item?id=24279151 - Aug 2020 (44 comments)

Tom Lehrer’s memorable “Revue” session - https://news.ycombinator.com/item?id=18036813 - Sept 2018 (6 comments)

Tom Lehrer at 90: a life of scientific satire - https://news.ycombinator.com/item?id=16774608 - April 2018 (83 comments)

Looking for Tom Lehrer, Comedy's Mysterious Genius - https://news.ycombinator.com/item?id=10684409 - Dec 2015 (3 comments)

Tom Lehrer - https://news.ycombinator.com/item?id=10675682 - Dec 2015 (32 comments)

Tom Lehrer's last (math) class (2001) - https://news.ycombinator.com/item?id=1914399 - Nov 2010 (1 comment)
Thanks! Seems to be working now. Next issue I see is that the formatting of a paper discussion page seems to be rendering content out of bounds of the view on mobile Safari.
iTerm AI feature was off by default and you had to manually insert a valid key, but it seems it was still an issue.
What else is in that pile?
> AWS offers something very similar to this approach called warm pools for EC2 Auto Scaling. This allows you to define a certain number of EC2 instances inside an autoscaling group that are booted once, perform initialization, then shut down, and the autoscaling group will pull from this pool of compute first when scaling up.

> While this sounds like it would serve our needs, autoscaling groups are very slow to react to incoming requests to scale up. From experimentation, it appears that autoscaling groups may have a slow poll loop that checks if new instances are needed, so the delay between requesting a scale up and the instance starting can exceed 60 seconds. For us, this negates the benefit of the warm pool.

I pulled this from the article, but it's the same problem. Technically yes, eks + fargate works. In practice the response times from "thing added to queue" to "node is responding" is minutes with that setup.
For electricity generation alone (which is also what TFA talks about) we could even have done it 30 years ago. In fact France did, so this is not pure speculation, it's just a terrible missed opportunity.
Yep, don't read too much into the point I made; I think it is entirely consistent with this comment that the experiences are different.

I do know homeschooling families, of the secular socialization-friendly kind you did / are doing, and I think it's just empirically the case that it is not as easy for them to find things to do with other kids, during school days, as it is for the much larger number of kids I know who are in schools.

That doesn't mean it's bad (or that it's good) to have fewer opportunities to do things with other kids during school days, just that "most kids are in school during school days" is a real constraint on the ability to do things with other kids at those times.

But getting out of pure observation and into my own ... uncertainties, this is a significant reason I'm personally hesitant to homeschool, at least if I were to be the parent actively doing it.

Frankly, even with the school day and all the many structured activities with other kids that she's doing, the older my daughter gets (and she's only 6), the more I feel like she spends a lot of time with us boring old fogies, when she would be happier running around and playing make believe and stuff with other kids. I'm sure a big part of that is a personal problem, that we have boring un-kid-like personalities, and not nearly enough imagination and spark of creativity. But like, I am who I am! I like books and chess and computers and charts and numbers and stuff. I love being with my kids, but it would be a massive self-deception to think spending all day with me is going to be awesome for them.

So then, I start thinking about: What would we do? Where could we go, what adventures could we go on, who could we go on them with? And I just come up pretty blank. There are only so many museums and parks and stuff. Best case scenario seems to me that I would find a community of people trying to figure out the same thing, and we could do things together. Maybe I just don't know about them! But I spend a pretty sizable amount of time in all the public spaces in my area, often during school days (because kids are sick and have to stay home a lot), and my distinct impression is that there's nobody around.

Maybe they're all getting together, just in peoples' private homes. But I know the families with kids in my neighborhood and the ones surrounding it, and they're all in school, so if this is a thing, I don't think it's nearby.

Note that I'm saying these are all personal concerns, and they are about me, not about the kids. I don't think the standard school model is at all close to my idyll of what my kids would do with their days, but I think it's a bit closer to that than me trying to figure out stuff to do all day and driving all around trying to find engaging activities during the day, maybe with some other kids sometimes. I'm sure this looks totally different to other people with different personalities in different places.
Old bug fixed in 2020. OP didn’t know of the fix it seems. Was covered on Hacker News at the time. Still top google result.
I retired from Chrysler corporation at 2018 as a 40-year technician working on cars I've learned one thing for sure you cannot get rid of all the antennas that's in that car for example the 2018 Chrysler 300 has five antennas in the interior and a central antenna control module that you press the button on to start the car which means if you deactivate all of the antennas you've deactivated the actual starting of the vehicle
Hah, as a starving student I knew 3d gaming was the future, and thus scrounged $1.5k to invest into TDFX. Next, they sold all assets to NVDA and dissolved the company [1].

[1] https://web.archive.org/web/20010405091710/http://www.3dfx.c...
Smart people's disease: "I read about Wright's Law, which says the more $X you make the cheaper it gets. Therefore for all manufactured products $X, the more we make, the cheaper they'll get."

STEM helped me a ton in college, when I move from physics to economics, everything was "just a curve" instead of something that needed to be approached and memorized individually

Here, instead of feeling put out that ex. government won't just throw more money at carbon capture, I can say "well, we're just describing a power curve, which is not a law"
> You don't really know this

We sort of do, at least indirectly. No man rules alone. Moscow's elite have been enriched and empowered by the war. And it isn't their sons being sent to the frontline. To the extent there have been consequences, they've been in terms of lifestyle more than material wealth or influence.
Good luck working with some nested structures.

Edit: I'm a bit triggered. I don't get how this trivial example showcases anything. You always use types. They are either written down or in your mind. Unfortunately, collaboration happens, and I'm not in your mind.
I think this is unexpected. I expected that once created, my boot volume would have the same performance on the first boot than on the second. It's really not obvious that the volume is really empty and lazily loaded from S3. The proposed work around is also a bit silly: read all blocks one by one even tho maybe 1% of the block have something in them on a new VM. This is actually a revelation.
> So you are saying, there is a semi-reversible process where energy and volume are correlated?

My original objection was to you thinking of it as a "process", or at least a process involving energy and volume. It's a relationship between stress-energy and spacetime geometry.

> Should there actually be some specific amount of energy in place in order this density-to-scale transmutation to happen?

There is no such "transmutation". That's not what's going on. Your questions aren't answerable because they are based on false premises.

At this point I've done my best to explain what is and isn't going on. All I can do is recommend reading more detailed treatments, which you can find in any cosmology textbook, or in briefer form in most GR textbooks. Sean Carroll's lecture notes on GR are available for free online [1], and Chapter 8 discusses the basics of our best current model of the universe in cosmology.

[1] https://arxiv.org/abs/gr-qc/9712019
As the OC mentioned in a sibling comment, it's actually the societal aspect that leads people to abandon pursuing things like mathematics.

When I was in grad school, I was surrounded by people who had these interests. I could work on a cool math problem, and people would be interested. I could have a conversation with them about it.

Fast forward to the "work" world, and there's not a single person I know in my city with whom I can have these discussions. And trust me, I looked.

As the OC said, it becomes an incredibly lonely life. If I want to study a typical grad level math course after work hours, it can easily consume all my free time (trying to solve a given problem could take hours).[1] After a few years of trying, I had to abandon it for the sake of my mental health.

In retrospect, there probably is a middle ground, and if I return to it, I'll aim for that middle ground. Intentionally choose topics I can do in bite sized amounts, and topics that I can share online that have a higher chance of engagement.

[1] And this was when I was single without kids. Imagine how much less time you have with kids.
> they said they wanted to protect their privacy

This very well could be a contractual obligation.
It depends on the details.

Often RSUs in non public companies come with a double trigger: you need both the vest to happen and a liquidity to happen for the actual delivery of those, so no tax implications until a liquidity event (afaik. But don’t take tax advice from randos on the internet).
Can you maybe share some examples? We're fine to use other image formats, but a lot of the value of AWS is that the services interact, IAM works nicely together, etc.

Fly.io comes up often [0] on HN, but there's an overwhelming amount of "it's a nice idea, but it just doesn't work" feedback on it.

[0] https://news.ycombinator.com/item?id=39363499
Show HN: Daily GitHub Stars Explorer
Gain deeper insights into your favourite open-source repositories. Explore star trends showing daily stars and go beyond the 40k-star limit.
I saw a photographer who mimicked the style of early 90s raytracing. Chrome spheres on checkerboards and such.
They can even handle Neolgisms, its impressive. The intonation seems still flt though. Source: low price segmemt on fiver voice artistry contains some of them.
You can use S3 for this, no? (Admittedly it's clunkier than a service with SDKs.)

LIST, GET, and PUT are strongly consistent, the file name is the lock name, write the owner id and expiry timestamp in the file, and periodically extend the lock expiry (heartbeat). If an other process finds an expired lock delete the file.
They're not problems. It's a customizable device to this extent, and you have preferences, so just change the settings. The alternative is that you cannot do anything about it.
This sounds like a really excellent product, and I really love the description in this post of how you got there. Not working on anything just this minute that needs it, but I will definitely keep an eye out for opportunities.
Hey Rahul! I've sent you an email using the website form. Currently I add new boilerplates manually, will be happy to discuss in more details.
So the lesson is "the audience who tests your software is very different from the audience which actually uses it."

Is there a reason to "not like how we got here" then?
Sure, I would imagine such clauses exist to make this sort of thing a lot cleaner and easier. I also don't see how it could be reasonable to assert that in the absence of such a clause, an actor owns the rights to the voice of that character and no one else can portray that character with the same or similar voice without their express consent. Not everyone who creates something is signing Hollywood acting contracts with their hired actors, and I just can't see any court asserting that "CoolTubeProductions YouTube Channel" can't continue to produce more animations with their "Radical Rabbit" character just because they didn't have that sort of clause when they hired a voice actor at their college for the first year.
This is great, but the laws need the companies to demonstrate that they actually intend to pay individuals the rates at the high end of postings. There's enough meme pictures of jobs with a salary in the range of 9,999-999,999 that this is clearly going to be a problem.
Reminds me of someone once asking me how I got the hand-drawn pencil look to the type on an article in the typography magazine I published about the T-26 type foundry.

I drew it by hand with a pencil and scanned it.

I had another article headline where I commissioned an artist to carve the headline in stone and had it photographed for the printer.
and some `...rest` spread that could be anything anytime in the future.
Smartphones in my life are gradually going by the wayside at a similar rate. I don't have time for computers that fight me by design.
Roman Emperors' Outrageously Lavish Dinner Parties
I used to have long conversations with the crows in the back yard at my old house. If you feed them they will trust you a little more than normal, such that when you caw at them they will caw back. They are happy to repeat the number of caws. So if you caw 5 times, they’ll caw back 5 times. Also sometimes I let them go first and I copy them. We did this for sometimes ten minutes straight.
I had this issue and I found the code was adding too many items to the page (36000) key values to a dropdown, then the Microsoft script was going through every item on the page and looking for a keyword. I limited the key values to 200 on the drop down and it started working after that.
Yep but then the tradeoff of performance gains are completely discarded. The easiest solution is to take a snapshot with VSS, which is both fast and makes a quiesced copy of $MFT. From there, one could monitor FS changes if they wanted to have live updates.
I'v seen a video where a crow use a series of tools in a specific order to obtain a reward
I think you're onto something! A retrospective history of science styled as an HN clone would be amazing, will any of you dare?
The one exception to your statement is "easier to pair". ELRS has historically been more of a pain to pair and update than crossfire.

Crossfire has OTA updates from the TX to the RX's, so you just need to update the transmitter and updates can then be pushed to RX's next time you connect. On crossfire, the button on the TX's always allowed for easy push-button binding.

ELRS was a pain having to flash and update binding phrases via wifi, which often had poor wifi chips on cheaper receivers. You often needed to take your RX, update it near a computer, update the binding phrase, update your TX, update the binding phrase on it. You had to do this for each RX individually (still do for updates).

3.4, released just last week, now allows for push-button binding on RX's (the button was originally reserved for recover modes on boot).

However, once you're configured and bound, ELRS is technically better at every turn. If they figure out a way to get OTA updates (harder for them as there's dozens of different hardware vendors with diferent designs and limited flash space on them) to RX's, there's no reason to do crossfire. The only remaining issue with ELRS is that there are bad vendors with poorer quality hardware, but it's only an occasional problem.
This is really awesome.

> In addition, Content found on or through this Service are the property of Saga Inc. or used with permission. You may not distribute, modify, transmit, reuse, download, repost, copy, or use said Content, whether in whole or in part, for commercial purposes or for personal gain, without express advance written permission from us.

Is the "Content" the results of what is uploaded?
Activepieces: Open-source no-code business automation
Yes!! A lot of folk think that the only way to get data into EHRs is by writing one-off integrations with a specific hospital IT system - but you can achieve the same thing using a single Metriport integration.

We support 2 methods: (1) uploading FHIR data: https://docs.metriport.com/medical-api/api-reference/fhir/cr..., or (2) uploading documents like C-CDAs, PDFs, and images: https://docs.metriport.com/medical-api/api-reference/documen....

If you send Metriport FHIR data we'll convert it to C-CDAs under the hood when responding to providers in the HIEs, and this data is parsed and integrated as structured data directly in the EHR in the patient's chart. Same thing goes if you upload C-CDAs to Metriport yourself.

You can also share binary docs like PDFs and images, those will also be included in the patient chart in the EHR, but not parsed to discrete structured fields for display.

So concretely, by using Metriport you can pull data from EHRs connected to the HIEs we connect to (like Epic or other major EHRs like Cerner, Athena, etc), and send data back, so that the provider using the EHR can see the updated patient data directly in the chart in the UI.
I find the time it takes to swap to a new phone is significantly longer than the time it takes to get a new battery. Making a battery swap a net time save.
Late response sorry.

The software situation is as you describe. Utter shitshow. Google drive hilariously is rate capped so half the time you can't even grab the image.

The hardware is objectively better though. (notable exception being nvme throughput...the pi5 nvme hat will do faster than orange pi native)

Unsure what the lay of the land is on hw decode, sorry
> compares flat earth theory to holocaust
holy moly dude you are articulating our value prop and philosophy even better than we can

glad to be on the same team!

long term goals/plans

- make a whole ecosystem of healthier, distraction free computers.. phones, laptops, monitors, workstations, watches, PDAs, epaper whiteboards, etc
- make awesome software that we can offer as public goods, funded by cash flow from hardware and memberships etc
- make 'magical analogue objects' like actually good sunrise alarm clocks, time timers, calendars, habit trackers, better phillip hues, etc
The country I'm in dubs a lot of usa films. Rambo in another language is hilarious, other actors are played by different VAs so eg schwarzenegger sounds different every film.
So sj will be played by many vactresses...In many countries.
Daniel Radcliffe sang it on Graham Norton, introducing Tom Lehrer to a crowd who didn't know him.
https://m.youtube.com/watch?v=rSAaiYKF0cs
You seem to be conveniently ignoring the fact that OpenAI is selling conversational AIs.
In B.C. (British Columbia), there were over 2500 overdose deaths just last year. ~85% involving fentanyl.

> [The chief coroner] said almost 14,000 people have died since the province declared toxic drugs a public health emergency in April 2016.

https://www.cbc.ca/news/canada/british-columbia/b-c-sets-gri...
Probably accidentially firewalled the DNS-XFER/IXFR port for a few days.

I know this similar scenario happened to our lab setup of root servers.
Do you think there’s more to “behavior” than just speech?
Now imagine how limited computers are with their ability to count to only 1.
Came here to say basically the same thing. Reducing runtime errors is not the only benefit of types, or sometimes investing in complex types.

Ease of reading, code navigation, refactoring, producing documentation, code generation, etc... there are myriad benefits.

As you would expect from something that fundamentally helps computers (and humans) understand and verify the intent and structure of code better.
React for Two Computers – Dan Abramov – React Conf 2024
Exactly the same. I had to install a script which overwrites my clipboard completely twice a day.
I just hate having all the stuff I copied there forever...

And I went ahead and deleted any unwanted apps via adb, at least that was smoother than I expected.

After that the phone is actually nicely usable.
Show HN: GetnFIT – A Health and Fitness Marketplace
Hi HN! GetnFIT.io is a marketplace that helps connect health and fitness service providers to consumers.

Our objective is to help consumers take control of, and improve all aspects of their physical health by providing them access to various in-person and online (where possible) services covering fitness, recovery, nutrition and diagnostics domains.

A bit of background:

During the pandemic, we became acutely aware that we weren’t really optimizing for health.

Also, our experience as consumers of health and fitness services was not finding good, peer reviewed fitness facilities /personal trainers / sports groups. We like most people were unidimensional in our approach towards health i.e. focusing on either physical activity or nutrition or recovery but not tying them all together. Many athletes and sports teams have professionals helping them optimize all domains of health and fitness.

Therefore, we decided to build a platform that address all these issues that we faced and bring a holistic approach to fitness to regular people like us.

Furthermore, we realized that there is tons of good scientific information, hacks and protocols available now via online blogs and podcasts such as Professor Andrew Huberman’s Hubermanlab, Dr. Peter Attia’s Drive etc. but there is a lack of personalized guidance and accountability that keeps people from bettering their health - a platform that fosters communities working towards common goals with professional guidance could help address this problem.

Based on what we’ve learnt about kickstarting a marketplace, we decided to focus on building the supply side first and we have onboarded 7 partners and about 30 services (in person and online) and we are now looking for initial users on the consumer side.

Current Status:
Apps are LIVE on app/play store

Tech Stack:
PHP + Laravel (Framework)
SASS + HTML + Boostrap + JQuery + AngularJS
Flutter
MySQL
One thing WASM runtimes usually do really well is sandboxing.

Various interpreters might or might not have a good capability/permissioning model (Java's is capable but complex and not supported by many applications, for example); even if they do, there might be exploitable bugs in the interpreter itself.
In my experience DDG and Google are similar in that you either get what you wanted right away, or you’re doomed

At least with Kagi it’s been worth scrolling down a page or two before reformatting my search query.
Free Software won because almost everyone, especially businesses can benefit from it. who is going to benefit from right to repair besides consumers and small repair shops?