skysight-inc/HackerNews huggingface dataset:
You didn't ask me, but it seems unnecessary to sudo so many times in your curl|bash setup, doubly so when the user could be prompted for their sudo password without one shred of context what is being sudo-ed

sudo curl $DOWNLOAD_URL -Lo daytona
sudo mv daytona /usr/local/bin/daytona
sudo chmod +x /usr/local/bin/daytona

could easily be

curl -fsSLo daytona "$DOWNLOAD_URL"
chmod +x daytona
if [ -d $HOME/.local/bin ]; then
mv daytona $HOME/.local/bin
elif [ $EUID == 0 ] && [ -d /usr/local/bin ]; then
mv daytona /usr/local/bin/
elif [ $EUID == 0 ] && [ -d /opt/bin ]; then
mv daytona /opt/bin/
else
echo 'Using sudo to relocate the binary to "/usr/local/bin"' >&2
sudo mv daytona /usr/local/bin/daytona
fi

and especially "curl -f for life" because there are few things more fun than chmod +x-ing an HTTP 404 response page

Since we're talking about things no one asked, it would further inspire confidence -- and also help your CDN costs! -- if they fetched from your releases page <https://github.com/daytonaio/daytona/releases>; to the best of my knowledge GH offers a "latest" URL so one need not hard-code version numbers in the shell script and at the same time says "this binary was produced from this tag" which the current shell script for sure does not. It turns out $(./daytona version) does cough up the version number but it would be more obvious if it were fetched from a release/tag URL

Thank you for attending my talk :)
There is a huge talent pool of student engineers who compete in the University Rover Challenge each year, who would love to have access to this. Would you guys consider a non-commercial, student-only free tier? It would be a great way for you to break into the robotics industry from the inside! :)
The best paradigm for understanding abstractions is not the theory-and-model style (which requires hiding details irreversibly), but the equivalence style.

A good abstraction is e.g. summing a list whose elements are a monoid - summing the list is equivalent to adding up all the elements in a loop. Crucially, this doesn't require you to "forget" the specific type of element that your list has - a bad version of this library would say that your list elements have to be subtypes of some "number" type and the sum of your list came back as a "number", permanently destroying the details of the specific type that it actually is. But with the monoid model your "sum" is still whatever complex type you wanted it to be - you've just summed it up in the way appropriate to that type.
Find me a list of countries which have suffered a proportional death toll in civilians to a terrorist attack and have a response as measured as what you're describing.

In terms of dead per total population this would be the equivalent of 13 9/11s.
Meanwhile US FTC is totally asleep at the wheel.

What is Lina Khan even doing?

Apple is clearly being a bully in daylight.
Actual source: https://www.epicgames.com/site/en-US/news/apple-terminated-e...
also while I'm asking annoying, non-profit-driving questions... how about a self-hosted option? ;)
They believed a lie. If they accept getting paid in stock, they're tying their futures to the companies. Which means risk. It could make them very rich or waste years of their lives to say nothing of the opportunity cost. People who don't want that risk should opt to get paid in liquid cash instead.
Robot ships: remote controlled vessels are setting sail
Glycemic index is only sort of useful for people who actually have diabetes, where blood sugar dysregulation makes insulin regulation equally as precarious. For anyone who doesn't have diabetes, GI doesn't really mean anything other than that their insulin may or may not spike in a short period of time related to a food. Glucose spiking, hence insulin spiking, is not something you want, but this also doesn't mean that something with a lower GI score is better for you and doesn't cause you to release as much insulin. Whether it's table sugar or whole grain pasta, they'll become glucose that the body will use or store in one way or another. Fasting glucose will still remain higher.

> Devices like this will make other people fearful of high glucose and think they're getting diabetes.

Elevated glucose is exactly what causes type 2 diabetes. Take away the glucose supply, and you don't have elevated insulin. Fear of glucose that is too high too often is entirely justified and is not something that should be going on if people can avoid it. Sugar molecules are damaging to cells and are related to other things like cardiovascular calcification.

> If we look at the Blue Zone, many people eat mostly carb.

So-called "Blue Zones" are not science. They are anecdotal, cherry-picked, uncontrolled, and can't be tested. Also, some of those zones, such as Okinawa, are mythical. Okinawans historically have eaten a lot of pork, and still eat a ton of pork. They also used to not keep much in the term of birth records, so there was really no way to know how old any of those people were back when they were studied.

> So carb/high GI food definitely doesn't cause diabetes.

Propose a model of type 2 diabetes that doesn't involve dysregulation of blood glucose and come back to us.
Somewhere next to Theano, Mxnet or Caffe.
Rumsfeld cites NASA as the place he most likely picked it up from. https://en.m.wikipedia.org/wiki/There_are_unknown_unknowns#O...
ahh what a bummer... 'naming things' continues to be an ongoing challenge in programming lol
I am sorry to push back on this, but this is just incorrect.

The truth is the vast majority of users do not care about sideloading apks. Apple knows this. Google knows this.

However, it is important that it is allowed without any major hurdle (a warning dialog that you need to click OK on is not a major hurdle for me once you consider that many malicious actors will use this sideloading for nefarious purposes).

Google allows it and you are free to use it without major hurdles. Yes, most users don't care to, and that's fine.
This is the tweet that Apple cited as warranting removal from the App Store:

> Apple leadership faces some massive decisions in the coming weeks as the contradictions between their stated principles and the intended and actual consequences of their present policies are reckoned with: the app store monopoly, the digital goods payments monopoly, the tax, the suppression of true information about competing purchasing options, the blocking of competing web browser engines and outright destruction of web apps.

> It doesn’t have to be this way. Apple is a few bold and visionary decisions away from being the company they once were and that they still advertise themselves to be: beloved brand to consumers, partner to developers, and overlord to none. [1]

Damn, that's probably the least caustic tweet I've ever read on Twitter...

Ruthless.

[1] https://twitter.com/TimSweeneyEpic/status/176224372553353258...
You can hit 65°C in a Voron pretty easily with cheap foam insulation you can get at pretty much any hardware store. Go with this mod and get to 80°C no problem. All without supplemental heating that the Voron folks frown upon for safety reasons.

https://github.com/Esoterical/PrinterMods/tree/main/Embiggen...
Look, I am both ideologically and morally more aligned with Israel (or the pre-Otzma-Yehudit-getting-an-ounce-of-power Israel anyway) than I ever could be with regards to Hamas. But "what's the alternative to doing an ethnic cleansing?" is "not doing a ethnic cleansing". Yes, that's harder. It involves more work, it involves more risk, and when the book closes, you don't get every last inch of what you want. It also means not fairly blithely killing and displacing civilians 'cause you can't nail down the people you have an actual problem with. Skill issue.

And let's be honest: it's more and more obvious that the people that Ben-Gvir and that crew have a problem with are not merely Hamas, but "everyone in Israel who isn't Jewish." (Israeli Arabs are absolutely next in line for that guy.)

Like, fuck Hamas, to be clear--I know, what a bold position, I'm so brave. But the thing is, it seems obvious that what Israel is doing won't even achieve their stated aims about Hamas in the first place; Ismail Haniyeh is not going to get creased by a bomb dropped on Gaza, you know? But what Israel is doing may, however, move most of an ethnic population out of their homes and leave it conveniently empty. And we just plain have expectations of ostensibly-liberal countries...and one of them is to not do that. Ethnic cleansing's a war crime even if you think free-firing a hospital because Hamas might be there isn't.
> Hired by Google in 2019, Ding allegedly began his thefts three years later, while he was being courted to become chief technology officer for an early-stage Chinese tech company, and by May 2023 had uploaded more than 500 confidential files.
Re: Gazebo - it's possible, but IMO Gazebo likes to approach things from a slightly different angle. Gazebo uses, mostly, config files to create your simulation whereas we prefer people to use code. Someone could certainly build a physics engine using our tools, and connect Gazebo to it. We are building our own Gazebo-esque frontend, that will have a better UX long-term for our framework
Double bookkeeping is a bad sign. At best it’s incompetence that causes confusion and errors, and at worst it’s fraud.
I had some of the most satisfying fun I’ve ever had putting together my 0.2. It’s like Lego but with the extra satisfaction that comes from printing some of the parts yourself, and you get a high-quality, modifiable, useful tool when you’re done.

And now I’m printing the parts for a 2.4, using the 0.2.
This is quite literally a solution in search of a problem
The way some people have zero empathy hurts me a lot....
How would you do that?

Higher education roughly correlated with higher salaries which roughly correlates with higher status.
Markdoc – a flexible Markdown-based authoring framework built by Stripe
> make it difficult to follow longstanding best-practices for test taking.

Isn't that good? The effectiveness of test-taking strategies is a (minor) flaw in the SAT. People taking an ideal test would not benefit at all from learning strategies.

(The flaw is minor because all our methods for assessing people are gameable to some extent, and standardized general tests like the SAT are among the least gameable.)
They are, but it makes all the difference in practice. You can write "then begin" and "end else begin", but I haven't ever seen Pascal code written in that style, and I can understand why - it's just much less readable.

OCaml is nice in that "begin" and "end" are aliases for "(" and ")", so you can use whichever one makes the most sense for readability.

Anyway, the point is that the way to go is either 1) make structured programming constructs implicitly compound, so that you don't need braces for multi-statement bodies, or 2) make those braces as compact as possible so that being explicit is not so painful.
You can have target language to be as far fom host language as you like.

For one example, again, borrowed fom Haskell universe, is Atom [1]. It is a embedded language to design control programs for hard real-time systems, something that is as far from Haskell area of application as... I don't know, Sun and Pluto?

[1] https://hackage.haskell.org/package/atom-1.0.13
Not sure if this was edited in later, but it's in the article:

> Boeing also acknowledged the possibility that the documents the NTSB is seeking may not exist.

> "If the door plug removal was undocumented there would be no documentation to share," Greenwood said in his statement. "We will continue to cooperate fully and transparently with the NTSB's investigation."

In which case the NTSB will hopefully pin the blame on the lack of a functioning system of record that tracks such events.
I'm itching to see an interview with the software development team that built MCAS. There is no way that they failed to raise questions about using input from a single sensor. It defies all logic.
SAT And ACT and other standardized tests are the single best thing for giving poor students a leg up against rich students. We should be putting more emphasis on those tests. A poor but smart student can study for a test and do well on it, while they can not have continuous tutoring throughout school, paid grad students to do or proofread their homework, or extracurriculars that cost more than their parents pretax income.

Your business is selling an advantage to the rich students coupled with increasing student stress throughout school. Your "holistic" view can't account for "students grades are slipping because they were sleeping in their friends basement after their parent killed another parent" or "students grades are slipping because they are working 40 hours a week, illegally, at 14", but it will holistically show "student got a B+ so their dad who makes $500k a year hired a tutor for 10 hours a week".
If it's just about salary, at least for software engineers, you don't need to get into MIT or anything on par with it. Not nowadays. At universities far below MIT, plenty earn six-figure starting salaries, and a few people earn upwards of 300k starting (yes, only a few, but only a few from places like MIT as well, because this is a difficult thing to do whether you're at MIT or not. Perhaps the proportion of people who get such jobs is higher at MIT, but I would wager that this is because MIT tends to attract highly talented students moreso than other universities, not because of the MIT name).

Not to say MIT isn't a good goal to shoot for, of course. But doing so primarily out of financial interest isn't just heavily discouraged (I'm sure any MIT recruiter would tell you this) but also probably not worth it (particularly if you have to pay!). At least, not for software engineers, though I wouldn't be surprised if the same applied to other fields.
Dupe: https://news.ycombinator.com/item?id=39618673 (6 hours ago, 769 comments)
Returns a 404
Canonical? As in the company that makes Ubuntu? Those guys?
The US is going to become an authoritarian dystopia anyway, mostly due to the creeping effects of oligarchy and the Supreme Court dismantling federalism. Trump is just an accelerant, and at this point mostly a distraction.

But when your only choices for President are two rich white sociopaths and the entire electoral process is a formality outside of a few votes in a few states, you're already halfway there.
Maybe it’s simpler than that. Instead of spending money on compute that costs X and that cloud providers charge 20*X for, they could spend the money creating training data, but that story is way too hard to tell to investors.
You can choose to do anything at all. It's your life.

You want software that doesn't update itself on your computer? Nobody is going to stop you. Simply make it so.

(And if you're happy with your life, then what are you here bellyaching about?)
Systemic to manufacturing is not the same as systemic to the aircraft’s design.
Yeah we totally will have a free-tier for students / non-commercial. Our long-term plan is to replace Simulink & MatLab as the de-facto student tool
It's not exceptionalism if it's true. The EU's very culture lacks the "get shit done" mentality present in the US. On average, people are less bold and take less risks.

This is evident in the lack of meaningful consumer technology businesses over the last 20 years and a dearth of startups precipitated by hand-wringing VCs that would rather invest in land than ideas. As such, the EU has missed out in trillions of euros in growth and millions of jobs.

Even stretching back to WWII we can see that, from daylight bombings to Normandy, American military strategy and culture was much more bold and high-risk, high-reward, which is what you need to get shit done.

People are more risk-averse in the EU and that significantly slows the pace of progress. As the EU's share of the global economy continues to decline, something will have to give. The EU encourages inheriting wealth and punishes building it.
I've just seen so many equivalent products that have never caught on in the market, are overpriced for what they offer, and ultimately tantamount to bloat
80$ a pop for 2 weeks and most people cannot access it long enough
Interesting. I’ve never heard that. I could see that argument going both ways as PyTorch has the larger ecosystem and is published the most.
They actively removed (or refused to add) options that made common hardware (mouse) easy to use, that felt horrible.
Apologies for my ignorance, but aren't Hamas literally the government of Gaza? Have they been renounced by the population in favor of any other government?
I clicked this bc I thought it was about users leaving Linkedin and was excited lol. But I listened and he pitched a 5 year plan solution to fix bad code??! Come on, this guy may never get hired again after that. Listening to this, I felt outrage at the concept of white men feeling like they can just quit when a company doesn't follow their slow engineering model. Huh?? I feel annoyed with stupid software and product decisions all the time and that's just how it is everywhere. All of capitalism and all of tech is do-it-as-fast-and-cheap-as-possible. Hello? Oh right, I looked at his Linkedin and he never had any formal training in software or engineering and has a MS in Divinty, so goodluck bruh, back to the bible for you.
You can't be president unless you are at least 35 years old. It's how the constitution works.
No, not relevant. They read a book. They could have summarized the relevant points of the book... but they didn't. They could have given the gist of the argument of the book... but they didn't. They gave a link to a 170,000 word long book - and nothing more.

Seriously, how many people are going to go read it? Very few. How many are going to read it in time to say anything relevant to the discussion here? Zero.

So dropping a link to a book that size functions as an end-of-conversation move. It says "you can't argue with my unstated position until you've read this" (whether or not that was the post writer's intent). That doesn't make for a healthy conversation. For that reason, I call it out when I see it.

[Editing to add: It's even worse if you think in terms of time. How long would it take the poster to give a summary? Ten minutes? Well, how long would it take me to read the book? But it's worse, because more than one person read the post. How long would it take, total, for all of them to read the book? So it's really, really, really wasteful of peoples' time to just drop a link instead of writing the summary.]
Does disregard of human life qualify as genocide? Did the US disregard the human lives of Japanese people in the Japanese war or the Vietnamese people in the Vietnam war and if so Were those acts genocide?
>Yet overall, this seems like a massive, energy intensive exercise in redundancy.

Keep in mind that this is also chaff to distract people from the real secret sauce. I imagine that just as many startups are hiring writers and photographers to create extremely well labelled uncontaminated data for training.

One only need to look at the perverts over at civitai to see how far you can go with intensive labeling on a tiny compute budget.
I added 2 numbers and came up with 5. What numbers did I add?

You can’t know, because the abstraction (add) destroys information. A “good “ abstraction destroys information that doesn’t matter, or maybe matter in a given context.

You can hang on to all of that extra detail, but it seems like that extra detail slows down drawing inferences.

When I claimed adding resulted in 5, you probably didn’t care if it was 5 apples or 5 skyscrapers. The addition results of 5 are the important part.

Kinda hand waving, but what is included and what is left out is the heart of abstraction imho. And when it’s left out, you can’t get it back.
keen to see it! I'll definitely give it a whirl using ReRun as a front-end, it looks like it would pair really nicely.
So, you need to have a Microsoft account to use copilot for images. There is no way to do it without creating a Microsoft account (again F you Microsoft).

That being said, is there no age restrictions on a Microsoft account? It asks your birthday to make one, doesn’t it use that birthday to calculate your age ?

Should the subject say Microsoft AI tool spews violent and sexual images to kids (who lied about their age or used their parents account)?
Valid point, but this is the first new product from them where I haven’t seen a lot of sustained excitement.

Huge technical leap, but to where? I don’t think Apple has figured that part out.

We’ll see what Gen 2 brings, but if they don’t have a lot more content and apps at launch it’s going to be a hard sell at any price
I know about the purchase of transit lines. Where did they get the money to do that? By selling cars, that's where. Who was buying the cars? People who wanted them, not just people who had no choice. (Because the money to buy the transit lines was there before the choice disappeared.)

Why did people want cars instead of transit, or bicycles, or walking? The alternatives work great... until it's a blizzard or 10 below. Then people don't actually want to wait at a trolley stop or ride a bike. (Yes, I know, you can dress for it. They still don't want to.)

So akkkkshully, people weren't the helpless sheep being run over by the invading automobiles that you claim they were. Autos are not an invasive species, overheated rhetoric notwithstanding. People brought those cars to the cities, and built the roads, and paid for them, and not just because the evil auto companies forced them to.
Also getting a golden ticket.

Golliath 120b is still the best open source model and no one knows why since it's just two llama2 60b glued together.
Andreessen Horowitz Is Planning to Raise Two AI-Focused Funds
The concern is that for a lot of software these days, it starts in the "good" bucket (and often open source even), and then once it gets popular, it is bought out and enshittified.
If I don't think of cost as a fundamental issue, what differences would I see between either approach? They're both barriers to my intent and I'm not on board with the reasoning behind erecting those barriers.
Very cool project. I'm looking forward to trying it. One note that's hindering me now is that it's very difficult to read the documentation, e.g. on this page: https://www.daytona.io/docs/installation/single-node/

There is very light gray font against a white background.
As a data point, the Toronto Public Library decided to take the "restore from scratch" approach after being hit by ransomware, and it took four months before books could be borrowed again. Now, I'd expect a library would move slower than an IT-heavy company, but there are substantial costs either way and only one of them is probably covered by their cyber insurance.
It’s still paying in time for a poor person. The wealthy hire an SAT tutor for a hundred+ an hour to bump their kid’s scores up by a third for maybe 20 hours of work. The poor student will spend much more time. It’s like many things where the poor pay in time rather than money.
> If we look at the Blue Zone, many people eat mostly carb. So carb/high GI food definitely doesn't cause diabetes.

While obesity is known to be the greatest risk factor for T2DM, you can induce insulin resistance in weight-stable individuals just by shifting the macro composition of their diet towards saturated fat:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5291812/

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7171936/

Sugar, amusingly, doesn't seem to have the same effect.

Given that the typical recreational CGM wearer (in my experience) is a low-carb/keto type (who ruined their insulin sensitivity), you should probably take the comments in this thread touting CGM use with a grain of salt.