skysight-inc/HackerNews huggingface dataset:
OK, but... I get the same problem when I compile python from source. I'm not talking about the distribution's base files. In fact, I am in the business of creating an /opt/gjvc-corp-tools/ prefix with all my packages under there. When I compile python from source on Debian, the resulting installation (from make install) does not have a site-packages directory in-place already. That is what is mind-boggling.
I don't think they should get bailed out, but to be clear, being 'burned' means being laid off, with an end to wage payments, and no severance.
LLMs are very good at creating things in the style of existing work, but they aren't that great at re-creating existing work verbatim. For example, here's what happens if you prompt Midjourney to draw "the mona lisa": https://i.imgur.com/njOlL5h.jpg

Obviously these are attempts at recreating the Mona Lisa, but none of them are the Mona Lisa. Whether they fall within fair use is an entirely separate question.
Maintenance takes up a lot of time.
Was that a function of Uber and ride sharing? Or just having a GPS-connected app that you can track? Plenty of cab companies are following suit w/ GPS systems.
"All your problems" when in response to a specific list of problems means "all of the problems listed" not "literally every conceivable problem".
“I don't know how much I would give to effect retroactively the strict disciplining, the real scholarly education of so great and splendid a nature, with its spiritual and intellectual wealth. As it is, we have lost a philosopher in Emerson.” ---Nietzsche on Emerson
On Mastodon's interface if you see a foreign post locally on your timeline can see the poster's profile from there and follow it there. But all this is really a limitation of the web interfaces. There's extensions to assist with this process and desktop and mobile clients don't have this issue at all.
>So strange given how most COVID threads on this site go.

How do they usually go? Personally, I hesitate to give an opinion because I need to preserve every little bit of karma that I get (at least till I have enough to throw away).
First new US nuclear reactor in decades enters commercial operation in Georgia
Ask HN: Which Lemmy communities and instances are you visiting daily?
I haven't signed up for Lemmy yet, it felt a bit inaccessible to me, but I saw this guide to lemmy (reposted in a comment below) on subredditstats and it made me curious about it.

Which Lemmy communities, and on what instance, do you visit daily?
Yep, the intercept article has a good summary and also provides a link to the sources:
https://theintercept.com/2023/07/12/covid-documents-house-re...

https://www.documentcloud.org/app?q=%2Bproject%3Asubcommitte...
Not remotely true, you see it every time you go to a SEO optimized site, however you get there.
An AI Agent for Podcast Listening (RSS)
Another matrix math reference: https://github.com/r-barnes/MatrixForensics
I think burnout happens when people slow you below your marathon speed.
The problem with this attitude is that sometimes shiny new tech is awesome. I remember when nginx was shiny new tech and I had to deploy it into prod (back in 2007-2008) to prove that it was superior to Apache + mod_python.

You need to be able to take the good with the bad and analyze everything objectively.
Ok, I guess we'd better switch to that from https://eirifu.wordpress.com/2023/07/30/lk-99-superconductor... (the submitted URL). Thanks!
In the age of LLMs everyone is a dev.

What's the next iteration of SaaS then?
With an average IQ of 103.2, NH is now ranked the smartest state in the US
The real free-speech absolutists are in fact still barking. I know some of them. They were against him for the brain chips at the beginning and this has only made them hate him more. They just don't get their voice amplified because sometimes they tend toward the tinfoil-hatted.
> Yet even Google itself lacks import capabilities, even for the very portable export formats they generate. And this is understandable, because en masse imports are undoubtedly a security issue.

Depends... Under their POV, why would anyone want to import stuff to a Google account en masse if they already have it on their "original" acc?

> As for OneDrive and Outlook exports, if only there were a way to synchronize data to a client. Oh well.

There are OneDrive clients for Windows, Android (and I guess Apple systems too), but it's still less convenient than downloading a single ZIP. Using the official client means I need to copy the stuff to my local drive first, and then compress it if I want to store it in a more efficient way.
The guide is copied below, from https://subredditstats.com/subreddit-user-overlaps/

--

#### I think this site may break or stop updating soon due to Reddit's API changes. I don't earn any money from this site, and if my calculations are correct it'd cost me a couple thousand dollars per month with their new API pricing, so yeah. If you can, it's probably worth leaving Reddit for other platforms - especially open-source/federated ones like [Lemmy](https://lemmy.world/).

*Note 1*: People are sometimes confused by the fact that there are multiple Lemmy websites like [lemmy.world](https://lemmy.world/) and [lemmy.ml](https://lemmy.ml/) - don't worry about that. Just sign up on *one* site, and you'll be able to join and interact with communities on *any* other Lemmy site. Choosing which Lemmy site to sign up to is a bit like choosing your email provider - e.g. if you use gmail, you can still communicate with people who use other email services like yahoo or protonmail. The reason there are multiple sites is because _anyone_ can create their own Lemmy instance - so no single person or company controls the '[fediverse](https://en.wikipedia.org/wiki/Fediverse)'. Just choose a popular and reputable one like [lemmy.world](https://lemmy.world/).

*Note 2*: You can use [lemmyverse.net](https://lemmyverse.net/communities) to help you find communities across the whole fediverse. If you've signed up to lemmy.world, then you can visit 'local' communities like [lemmy.world/c/memes](https://lemmy.world/c/memes) - and if you want to subscribe to or interact with a community on a _different site_, then just add @SiteName to the end of the community URL. For example, if you're signed up to lemmy.world, but you prefer the lemmy.ml memes community, then you can visit [lemmy.world/c/memes*@lemmy.ml*](https://lemmy.world/c/memes@lemmy.ml) to subscribe to and interact with the lemmy.ml memes community.

*Note 3*: Lemmy is based on the same technology as [Mastodon](https://mastodon.social/explore). Both services "speak the same language" (that language is called 'ActivityPub'), so you can view and interact with Mastodon content from Lemmy, and vice versa. They're both part of the '[fediverse](https://en.wikipedia.org/wiki/Fediverse)', but Lemmy provides a Reddit-like experience, whereas Mastodon is more like Twitter.

*Note 4*: It's worth mentioning that Lemmy is young - the Lemmy [devs](https://github.com/LemmyNet/lemmy) are working hard to quickly improve the software, and server admins have been constantly moving to larger machines to support the influx of new users, so please be patient with bugs and issues. Also, the only way to grow Lemmy is for people like you to spend time on the site daily, interact, create new communities, etc. - please [join us](https://lemmy.world/signup) on this new adventure :)
I like to think at least a few NASA engineers come to meetings with some brilliant ideas....that were cooked up at the 1am mark of a 7 hour weekend KSP binge.
>it seems like they would have been able to share & convince at least one PhD to support them publicly. The fact that they haven't just seems weird!

Isn't that Hyun-Tak Kim of William & Mary?

https://www.wm.edu/as/physics/people/researchfaculty/kim_h.p...
The craziest part to me is that he was so incredibly open about it and people just kept giving him $. He just made video after video showing himself wearing outfits worth tens of thousands of dollars. Not a video about something else where he happened to be dressed up, but the video was literally about how much the items he was wearing cost. On top of that he looked absolutely ridiculous. I have never seen such a real life example of money not being able to buy class.
>why does the origin of the code matter?

The subject of discussion was whether an executable specification in F# or Haskell are also formal specifications. While Haskell is based on System FC, a type of lambda calculus, there are many additions and quirks, and as far as I know no mechanised metatheory, or even complete language semantics stated in one document. There are also some language features known to make Haskell inconsistent in the logical sense, not to mention that turing completeness makes any language inconsistent as a logic. In the paper linked above authors call their multipurpose specification in Haskell formal, while I don't like it, they have their reasons and justifications (total, non-turing complete subset of the language, haskell's metatheory scattered across papers, System F, which is well established). But to me when one sees some formal statement, the shorter is the path to the trustable foundation the better, and in statements in Haskell I see all of the issues above, plus possibly bugs in the language. If there were proofs of correctness/soundness of hs-to-coq compiler and of Haskell metatheory I couldn't have found reasons to complain. (But then it would have been better to invest this effort into verifying a hardware specification DSL to coq translation or embedding) As the result, what one would have to trust in this situation is the translation of this Haskell spec to coq, not the spec itself, considering that in this setup you have to prove theorems in coq anyway, and guarantees of the proven theorems only work for coq definitions. So Haskell's spec is seen by me as a superfluous entity, that only complicates things and lowers trust. You are correct that a proven statement is coq doesn't depend on the source from which boilerplate was generated, but you would have to trust the statement in coq, and not the "spec", and that's a fail for a formalization in my eyes. I suspect (did't check) that the translation and language subset they chose are trivially translatable to coq and they don't use anything particularly questionable, but the superfluousness doesn't go away.
I co-founded an a16z and USV funded crypto startup in 2015, and I knew lots of people in the industry.

There are certainly bad actors, probably more than other industries. But it's absolutely nothing like "every single actor."

Many were (and presumably still are) true believers in the technology, and got into it the field with good (though perhaps naive) intentions.
And the real kicker: It cannot be fixed. I DGAF if my expensive appliance breaks, but I can buy a ten dollar part and get it running again by the end of the week (maybe less for fridges)
This won't get resolved until collectively we move from "planted X millions of trees" to "X millions of trees have flourished for 5/10/15 years".

The problem of course is that it's a) much more difficult and expensive to keep track of survival rates, and b) provides no immediate green-washing credentials (politicians, corps, looking at you).

Thankfully there are some NGOs that are doing it right, proper analysis of the site, selection of diverse species, and yearly visits to measure survival rates.

It's just that presently, these are the minority.
> Honestly, I'd say most engineering is like that outside of the software world.

Add civil engineering to that nowadays - both buildings and roads.

Sure, there are regulations and licensing, but quite often the entity financing the whole thing cares little about such things.
Sure, but I see it used all time time as "peer reviewed sources" to debunk a lab origin all the time. The authors themselves on twitter even refer to it as having been peer reviewed.
I ended up just creating a page in Notion and imported a CSV file.
One role people don't know him much for that I'm sure you've heard was the voice of the pilot droid in both incarnations of the Star Wars - Star Tours ride in Disney parks around the world.

He reprised the role in an episode of Star Wars Rebels later, and the droid is now a DJ in the Galaxy's Edge cantina.
3blue1brown videos on Neural Networks (2017)
It’s probably negligible compared to the cost of running a condenser
Experimenting with Project Templates
We detached this subthread from https://news.ycombinator.com/item?id=36940487.
Honestly I can't imagine someone who hasn't been living under a rock for the last half century could say this. Just one example: Knight Capitol was the largest trader in U.S. equities, with a market share of 17.3% on NYSE and 16.9% on NASDAQ in 2012, right up until August 1, 2012, when it lost $460 million and 75% of its equity value because of a software error. What was left of it was acquired in December of that year.
that's nuts!

"- African dung beetles orient to the starry sky to move along straight paths

- The beetles do not orientate to the individual stars, but to the Milky Way"

https://www.cell.com/current-biology/fulltext/S0960-9822(12)...

https://www.science.org/content/article/dung-beetles-navigat...
It's hard to find anything about older programs, but they currently put a lot of work into simulators.

https://www.nasa.gov/sites/default/files/ivv_grubb_nasa_ivv_...

On the other hand, at one time there was a physical "proof test model" of the Voyagers.

https://www.jpl.nasa.gov/images/pia21734-voyager-test-model-...
Incentive are the opposite, surely. The harder it is to use v6, the more people will pay to stick to v4.
You can have this now, just go work in healthcare tech or a bank. The trade off is no innovation, career boosts, professional accomplishments, or projects under $10M.

Clients who want NASA quality can have it if they bring NASA budgets and timelines.
I had symptoms for about a month after quitting caffeine.

I think your analogy holds. Most people only have a couple of days of symptoms after quitting caffeine. But if you're on 4+ cups a day and/or you have a sensitive physiology, quitting can be rough.
The author continues to push the message that Jekyll is dead and irrelevant. I will have a hard time taking anything he says seriously until he acknowledges that Jekyll is still a useful and relevant tool for many developers (including me).
The author's problem arises from the inability to understand that JAMStack is tailored towards static content / client-side apps. That's it. Postgres, server logic, services etc all represent something else.

He also discusses Netlify and Render feature sets. While both services allow to do more than just a stateless JAMStack, they both have too much vendor lock-ins, and offer too little to make people take that functionality seriously. For example, Render supports Docker containers, but they are tied to a single region only. This is probably enough for hobby projects, but it's a show stopper for commercial deployments.

In my opinion, author drank too much Heroku-aid in his conclusions.
We detached this subthread from https://news.ycombinator.com/item?id=36940489.
Please share because a source of high quality content isn’t easily found. Unless you are into blockbusters I guess.
Or if not outside, I wonder if you could dump the heat someplace inside that is better than just dumping it into the inside air? Such as dumping it into the hot water heater.
Updated IQ and Well-Being Scores for the 50 U.S. States
Yet they persist. So does latex, even in 2023. There is intrinsic value in both that OP does not want to acknowledge.
It's funny you say that, because designing systems that work extremely well, have contingencies upon contingencies, and can be relied upon (e.g. as a life-critical system) is so time consuming and (I imagine) mind numbingly boring (e.g. reviews upon reviews of white papers to ensure that the system spec is scientifically sound) that I'd guess time is the last thing you'd get back from writing NASA-style applications.
You mean an Apple TV? ;)
Bait and switch for who(m)? The companies offering services on these providers?

Their is a simple fix - get a contract and don't assume current terms will continue without it.
None of this changes at all the objective fact that IRC is an open source protocol that you can either adopt in the form of writing a client that's to your satisfaction, or propose changes to the protocol sufficient to resolve your remaining issues with it.

Either you agree with this and recognize your complaints as moot, or you disagree with this and your complaints end up being recognized as incessant, entitled whining about a problem you want someone else to solve for you.

What's shameful is that you're more likely doing the latter than the former, and seem to think you're immune to this because you've worked on open source projects in the past. You're not.

I don't personally give a shit about if you use IRC or not, I just saw your comment and decided to point out the entitled attitude it seemed to present. I haven't used IRC in years.
I hear you, but at the same time there's nothing in the current copyright law which differentiates fair use afforded to a person from fair use afforded to a machine.

There's definitely an argument that we should have laws which govern machines, but we don't today. That's why I said it would likely need to be a new law that specifically does so.
Please share the websites because I never found them.
I flew Delta a few months ago and don't remember it being this simple, but I probably got confused because I did look at multiple airlines that day. Maybe it's different depending on the market?
It's really hard to beat the PKGBUILD + makepkg ease of packaging. I really hope nix flakes kind of become simple and easy as time goes on. They kind of are, but nix having so many features and flexibility also means that super simple makepkg type program is sort of intertwined in a few other things.

Ideally? nix build someflake would just work. Reality is there's a few hoops at the moment which is kind of a disappointing aspect.

If nix build someflake Just Worked I could see a lot more ad-hoc type contributions happening. Better still unlike makepkg its very easy to customize a package so presumably fewer same-but-slight-variant type things tha aur has a lot of would be consolidated.
Sorry to self-reply, but this Q&A on "Space Overflow" about this specific star tracker is great:

https://space.stackexchange.com/questions/43803/how-did-the-...
8051s are just now getting phased out as control cores of IP blocks, which is pretty wild.

The 32-bit ARM and RISC-V cores are small enough and easier to program.
The Polynesians used stick maps to identify currents and land masses relative positions.

With no evidence I believe navigation cues were built into the vessel. By keeping celestial bodies aligned with marks on the vessel one can achieve a seasonal calendar as well as documentation on how to modify the configuration for the next leg of the journey.
I heard everyone saying 'react is for large complex project', somehow I think react is good for small project too: use a few components and its context api and dom-router to build a small site, the learning curve is actually not much comparing to other frameworks, what am I missing?

tried svelte, vue, I don't feel react is more complex, if at all.
This looks like a great package. Many vector-search engines do not allow you to implement your own custom distance metrics. But Unum does. Love it!
> THC is destroying mitochondria like nothing else...

Really? I've never heard that.
What source did you learn this from?

I tend to eat weed before running and have for 20ish years. If it really did destroy mitochondria then I'd expect it would show up in my vo2 max or some other measurable health stat.

I'm slightly concerned but given that this is the first time I've heard this, I'm not too worried about it.
The Unreasonable Effectiveness of Doing the Definitive Industry Survey
I don't understand why this dig is constantly taken at software. Look at how many layers of fallbacks exist even on the average webapp written by junior devs. Optimistic rendering on form submissions, graceful degradation of features, falling back to last cached data, HTTP request retries with binomial exponential backoff and jitter, TCP packet retransmits, ECC corrections on servers, etc.

In cases where fault tolerance isn't as robust, it's for the same reasons as other disciplines you mentioned: budget and importance.
Interesting point that replicating all the logic of spaghetti code can take a lot more lines than the original. Still, some of the op-ified code I just read seems unnecessary.
Consumers are actually the problem, just as voters are the main cause of bad politicians. Most people will say they want one thing, but actually want another. They want robust appliances, but they will buy the 199.99 ones, which forces even the most honest manufacturer into a race to the bottom, unless they target the luxury segment.

An airline which I can't recall, found the same: people say the want more leg room or other comfort, but when it's the time to pay, most end up choosing the cheapest ticket.
2023, the beginning of the... Room Temperature Superconductor Age!
It's not required. And it's a big mistake to tie an app to a single vendor.
> The problem was not, as you imply, passivity on my part

I don't know you or the specifics of your situation, and I genuinely try not to make assumptions about other people. My comments were based on my personal experiences and conversations I've had with people in my personal life about therapy, and nothing was implied. The thought that passivity is what led to your own experiences never entered my mind.

To that end, I'm not responding to the other paragraphs that were focused on this misunderstanding. You experienced what you experienced. I experienced what I experienced. These things stand on their own, and the existence of one doesn't invalidate the other, nor was raising my experience meant as an indictment of yours.

> The problem was that the therapists were just plain awful. They would ghost me, use therapy session time for unrelated things, were attracted to me and couldn't deal with it

This all sounds absolutely awful, and incredibly unprofessional. I'm sorry this has been your experience, and the not-so-helpful experiences I had were more about the therapist's lack of trauma experience, and some other issues of treatment style that didn't work for me.

If I had therapists like the people you're describing...yeah, I can understand why you'd feel jaded about this.

And I guess that was the point of my anecdote - there are some good therapists out there. People should know about this. But it's just as important to be aware of the failures in the field. I saw my comment as building on what you were saying, i.e. that there can be situations that don't work, so be aware of that and adjust accordingly.

> only strengthens my belief that therapy is essentially worthless (except possibly for mild and superficial issues, e.g. if things are fine in your life but you have occasional panic attacks, etc.).

In my case, Complex PTSD from physical and sexual abuse as a kid (with a cornucopia of unhelpful extreme religious belief systems on the side). I experienced a period of suicidal ideation after years of nightmarish sleep issues. At some point it dawned on me that the only way through this was to confront my own mind. Drugs don't undo memories. Walking in nature doesn't come with education about how to stop ruminating on said abuse, or what to do when it makes an appearance every night in my sleep, etc. I'm sleeping really well recently.

If the issue is especially big, it's especially reasonable to need/get help.

And when I think about the state of mind I was in when I started seeking help, I can't imagine how my life would have gone if I had encountered the kinds of issues you describe. I'm grateful I was fortunate enough to find good care, and take seriously the fact that some people are not so fortunate.