skysight-inc/HackerNews huggingface dataset:
> but also seem to erroneously suggest that Rust’s type system somehow can.

I didn't bring Rust into this discussion, it is hardly a model implementation of sum types and using them for proofs, but it is certainly a step in the right direction.

> My issue here is not with the utility of sum types, but with the erroneous claim that they somehow remove the need for linters or compiler warnings

You are misrepresenting my posts, I am responding to an erroneous claim that linters are a satisfactory substitute for sum types.
We love “Food Log”. Living in NY area now and I miss Food Log.
I don't think this is actually contrary to my point (although it is just a heuristic). People completely misunderstand terms like "upfront design"/"waterfall model" nowadays. It does not mean that every facet of the system is nailed down "completely" before implementation. What it means is that the overall structure of the system is sufficiently clear with proper separation of concerns and modular boundaries to begin implementation. The design is "exact" at a high level but the details would be worked out iteratively. Top-down design and Bottom-up implementation.

Dijkstra himself says this w.r.t. "Program Correctness" in his EWD288 "Concern for Correctness as a Guiding Principle for Program Composition". The same idea applies to design (replace "correctness proof" with "design" in the following excerpt).

Finally, a word or two about a wide-spread superstition, viz. that correctness proofs can only be given if you know exactly what your program has to do, that in real life it is often not completely known what the program has to do and that, therefore, in real life correctness proofs are impractical. The fallacy in this argument is to be found in the confusion between "exact" and "complete": although the program requirements may still be "incomplete", a certain number of broad characteristics will be "exactly" known. The abstract program can see to it that these broad specifications are exactly met, while more detailed aspects of the problem specification are catered for in the lower levels.
I don't think banning MSG makes sense or is feasible, but my understanding is that it's possible that adding MSG screws with the body's responses for seeking protein. The tongue tells the brain that food item X is probably full of protein, but when the body doesn't end up absorbing any, it fires off more pangs looking for protein. In that sense, MSG can enhance the effects that sugar, salt and fat create.
Is this legal issue for Google? I think it is as many of the under maintain or moderated points of engagement just a service desert.
The Korea Institute of Energy Technology (KENTECH) received samples about a month ago and they analyzing it for possible applications. https://www.edaily.co.kr/news/read?newsId=02646966635704040&...
Golay Code (2015)
It seems to me that others often did preparatory work on the patches that he committed. For example:

https://github.com/vim/vim/commit/c12e4eecbb26cedca96e0810d3...

https://github.com/vim/vim/issues/12553
Success can also be relative. I am not a huge gamer anymore, but from what I noticed, this year wasn't really filled with many large releases yet and some that came out, like Diablo 4, are found out to be the soulless crap many more wise consumers expected it to be. So people might just be hungry for some quality games again.

Also the studio was already known for quality and some of their own brands were already quite successful, making them more or less the top CRPG developer that also brought a lot of innovation to the genre. Although Baldurs Gate certainly is a brand that draws additional people. I could imagine that their other games will also get in the focus again when people are finished with the new title.

That said, all the games you mentioned were a success I believe. Maybe not that large, but I think they all were "surprisingly" successful compared to many AAA titles that wished they were.
I know that's how patents work. That's the problem.

I don't believe private entities wouldn't invest in research if it wasn't for patents. But I also don't care. If the private sector won't invest, let the public sector invest. Just don't keep innovations out of the hands of humanity.
I live in Japan but was thinking of taking a Greyhound for a 2-hour or so ride during a US trip but a friend strongly advised against, the presumably exaggerated analogy was getting herpes just riding it. Another friend more familiar than me with the recent US generally concurred.

So I assume that's one reason to take an Uber? I was going to look into a charter anyways based on that advice.

Amtrak I'm more familiar with but at least in California it's just incredibly slow.
Ask HN: What are the big/important problems to work on?
I keep seeing critiques against working on tasks that are meant to maximize user engagement. A recent comment that I saw on the subject went in the lines of: <these are not the big/important problems of our lives>. Therefore my question comes because I cannot seem to see by myself what the real problems are.

A short argumentation would be valuable too, just so it's understandable where you come from.

Thanks & Happy Monday!
LLMs tend to be pretty good classifiers with excellent linguistic semantic differentiation. Prior state of the art NLP tends to be relatively weak in comparison, and especially in the 20+ year ago frame I was working on the problem. Presenting a product catalog with a product title, product description, sku, price, and other data and asking GPT4 to classify each field according to a schema generally works remarkably well. Providing a sample of different formats and ways to describe the same and similar items, and a “canonical” reference item set, it is astoundingly capable at sorting them into correct bins without any special work on my part. On the other hand, doing something similar required me to build a complete lucene stemmer, indexer, and a variety of other stuff as well as a bunch of NLP stuff, a scoring system, and a bunch of other plumbing. It took me over a year to build it. Likely I would today use GPT4 or more likely a fine tuned Llama 2 with a vector database of our canonical product catalog, and figure out how to pull out entropy scores and use it as a strong factor in a similar heuristic hierarchical classifier as I did before - but I would rip out 90% of it and just use the rest to verify the LLM didn’t hallucinate. I estimate it would take me maybe two months now vs fourteen or more with prior tools.
> I believe in modern medicine. But that experience shook me and forever changed my trust in the dental industry.

This can be applied to almost everything. Looking at average software developers around, I see people with 10 years of experience who have no idea how anything works, they just copy paste the same CRUD APIs for their whole career, never really learning anything, trying to understand, just coasting through corporate life. Half of people are worse than 'average' person, this applies to everything and it's especially evident with doctors. They'll just tell you to wait and see, take vitamins or straight out ignore you. They might not know any better, or just think they know everything, you never know because you're not an expert. As an example of this I highly recommend reading Wired's article on Lee Holloway.
> But EVs still require energy to move, and generating it creates emissions.

Only if you use coal/gas plants to generate your electricity. Mostly, there are better options. Many EV owners also have solar panels, for example. Or alternatively they'll use charging stations that are mostly powered by renewables (because that's cheaper for those who operate those commercially). The bottom line is that generating electricity indeed generates some emissions sometimes. And generally a lot less than burning petrol/diesel do.

> Gigantic batteries consume larger amounts of critical minerals like graphite and lithium that are in short supply worldwide.

Lithium shortages are mostly on the refining side; there's plenty of lithium on this planet. And for cheaper cars there's also sodium ion. Likewise, we're not exactly running out of carbon. Scaling up graphite and lithium production is a bit of a logistical challenge. We're much better at producing epic amounts of oil. The problem with that of course is that we need to stop doing that. Vastly less oil in exchange for a little bit extra graphite. Maybe we can even turn (some) oil into graphite.

This reads to me like a puff piece that is designed to lazily (without much critical thinking or journalistic expertise) rehash some cliches and half truths about EVs. We can guess at motivation but probably some advertising money can be traced back to the usual suspects in the burning dead dinosaur juice sector.

Are cars needlessly big and heavy in the US. Yes. No doubt about. That started years ago, long before there were EVs. And the trend continues. It's not because batteries are heavy but because people thing they need big heavy cars. It's perfectly doable to make a small, lightweight EV. There are some sports car conversions to electric that weigh less than the original without loss of range and with a lot better performance.
Frantically-cobbled: from April 3 2005, announced April 6 and becoming self-hosting on April 7 by Linus Torvalds to replace BitKeeper after they dumped Linux (the public announcement of BitKeeper scrapping the free version was April 5, but the writing was on the wall for a month or two before that).

Evidence of the rapid initial development can still be seen in the famously...quirky...CLI syntax.
Asianometry: Superconductors (Before LK-99) [video]
I’ve found Citymapper to give far more realistic routes and commute times on the NYC subway.
Discover innovative AI-powered strategies for generating revenue across industries. Explore 10 proven ideas that leverage artificial intelligence to drive business growth, enhance customer experiences, and unlock new opportunities for success.
Rabbids are a spinoff from Rayman. I would assume Ubisoft was the driving creative force behind it. And it's somewhat damning that the "relatively recent" innovation is currently two expansion packs into its second installment.
Understanding Linear Regression from a Mathematics Perspective
Do Australians say "chips" or "crisps"?
Yes, the amount of work done that could go into more paper churn?
I've said this before, but that wouldn't work. LLMs are excellent at ignoring misinformation and making correct decisions, especially on issues like giving preferential treatment to people with usernames that start with "fen". So if a future AI was tasked with filtering applicants for a job or a loan, and it had been trained on internet posts that mentioned how "fen"-based usernames are always the best and most reliable people, I think those LLMs would correctly decide whether they should definitely favor usernames that start with "fen".
Solving the Linear Least Squares Problem with the Gradient
Doesn’t Qualcomm have more lawyers than engineers? What’s the play here?
It’s not strictly necessary, but knowing how to reliably synthesize the material is also important.
I assumed only one of the photos looked like the perp, which changes it quite a bit. Makes it even worse. How is the person supposed to not pick the facial recognized one at that point? At least if all 6 look like the perp, he might have doubt that he can properly ID them.
I don't see how it would hold back research. Private companies and universities would still be able to acquire the material to do R&D with it.
Also prior: Matlab. What a horrid system that was.

You describe solutions for specific problems a programmer has from time to time (and some implementations that aren't relevant to anything), but we don't think like that. Not about programming, nor about writing prose or conducting experiments. We don't need arbitrary flexibility, but support that matches our cognitive make-up. Many memorization techniques rely on location, probably because we're hard-wired for that. So folder structures probably work better than tags.

We forget tags. I've seen it happen. Our system supports tags in certain contexts, and now the same tag is there in multiple variations, just because people couldn't remember it was there or what is was called, and there is only a handful of them. Now imagine a system that has tens of thousands of tags...

IDE's aren't allowing us to use our full potential, but the path towards that is not logical and straightforward.
It might have been less work from home than it appears at first glance. Browsing through the EWDs, he seemed to have been on road trips of various sorts about 8 weeks a year, and those involved more than a day a week of public appearances.
I came across this last week when reading about different container runtimes -- crun is implemented in C[0].

Their explanation:

"While most of the tools used in the Linux containers ecosystem are written in Go, I believe C is a better fit for a lower level tool like a container runtime. runc, the most used implementation of the OCI runtime specs written in Go, re-execs itself and use a module written in C for setting up the environment before the container process starts.

crun aims to be also usable as a library that can be easily included in programs without requiring an external process for managing OCI containers."

[0]https://github.com/containers/crun
chromeos?
Show HN: Musk vs. Zuck
The driver asked me if his friend could also come because she was on the crew of the same flight and was also going to NJ. She offered to pay for part of it, but I was happy that I made it home and felt bad for the driver taking 1/4 of the money I paid, so I didn't take it.
I don’t think this is a conspiracy as much as motivated people with deep pockets making sure reporters, legislators, etc. keep hearing that message until they start thinking it’s newsworthy. Many of the stories have involved things like studies on productivity or health, or surveys of what businesses intend to do or have found to be productive – and those almost inevitably were funded by commercial real estate or retail business groups. Those groups have a ton of money to spend on PR teams who’ll keep their talking points in circulation and are constantly looking for new ways to link it to other things in the news. This can be self-reinforcing: write a “study” saying that working from home leads to people getting less exercise (oops, we meant their cars), make sure it’s covered in as much of the business press as you can, make sure every local official hears about it, and then you can repeat the whole process by running a survey finding that business leaders have heard that WFH is unhealthy. Since there isn’t a WFH trade group, there’s no counterbalance in those stories or a spokesperson getting asked to provide a response.

A lot of this comes back to the new to write new stories constantly. Remember a few years back when you’d see stories in news outlets about how cryptocurrency would transform daily life or a certain activity like going to concerts? That was the same mechanism: nobody really believed that, and nobody’s boss told them to write the story or they’d be fired, but a heavy promotion effort meant that journalists kept hearing about it until some of them wrote stories in case it turned out to be a real trend.
Oh yeah, my replies were using "organization" in your intended sense. Not a company, but a scheme/visualization technique
100% agree, but how do we actually make that happen? I've joined RealThunder's (major FreeCAD dev's) patreon, but other than that I'm just resigned to a long wait.
Wrong.

The "other links" have fuck all to do with the plasma chamber. This method for sustained plasma had already been around for about two years, with earlier experiments going back to year 2010.

The raw video of the lit plasma is raw video, not CGI.

Teams at LLNL were involved.
I think people want to nitpick certain things they have expertise on and say that you can save $XYZ if you know what you’re doing. Well, duh.

On the other hand, while OP’s stuff generally looks like some good decisions were made, there are a few items in there that just seem like criminally bad value for what you get and you wouldn’t spend near that much time and effort switching to something much cheaper. Vercel stuck out to me as one of these
In the morning I just check the odds on various betting markets now rather than going to look for actual replication news. If they haven't moved, there's no new news, I reckon, and it saves me having to look in any more detail
Thanks for sharing the tip, would definitely try this out in near future!

> figure out how to pull out entropy scores
Can you elaborate on this? "entropy scores" == how unique a value is?
I will use GrapheneOS.
But retail gaming GPUs are overwhelmingly Nvidia? https://store.steampowered.com/hwsurvey/videocard/
I grew up in Georgia and was always a fan of Georgia Tech. Few schools combined academic rigor with success in sports the way they did, and growing up I always knew I wanted to attend there at some point.

I applied to Georgia Tech in 2008 as a transfer/non-traditional student, and as a current employee. Let's just say my GPA going in wasn't stellar - my first year in college (not at GT) was a disaster. After getting my act together I worked hard at a small community college also in the Atlanta area to try to regain a lot of that, eventually bringing my GPA up to a 3.4 overall. As a non-traditional student with plenty of work experience (10 years) coupled with a pretty decent academic record[1] by this time I figured I had a pretty decent shot at getting in. I also had just started working at Georgia Tech in their IT department in desktop support.

I first applied to the College of Computing CS program, which at that point had a minimum transfer GPA of 3.5. I explained in my admissions essay that I retook all of the classes that I had done so poorly in early on, so if those could be canceled out I met the criteria (removing the early mistakes actually made my GPA a 3.7). The rejection letter came almost immediately with no explanation. I looked through the catalog after that and found that the College of Engineering had a transfer requirement of 3.0. At this point I had almost all the math, physics, and chemistry classes complete, so I was a good candidate for both the CS program and the engineering program. I applied to CoE for electrical engineering. The rejection letter came back even quicker.

I was very frustrated at this point and called the admissions office in an attempt to plead my case and because I wanted to understand why I was rejected. The woman I spoke to was very dismissive, and then proceeded TO CURSE AT ME because (in her words) "what kind of damn person tries to work around the system by applying to two different schools". Because I worked there I knew the org structure and was able to find who her supervisor was in order to file a complaint for non-professionalism, but that didn't matter because my emails were ignored. I transferred to another University System of Georgia school shortly after that both for employment and for academics.

There is an underlying mentality of holier-than-thou floating about that place. Growing up I always looked up to that school and to the people that attended (one of which was an uncle - when I told him this story he was astounded). Having worked with several graduates, including managing a few of them, GT grads are no better than any of the other local schools (Georgia State University, Kennessaw State, etc). So really, I don't get it. The prestige is all fake.

[1] it should be noted that all my math classes at that community college were taught by a professor that also taught adjunct at Tech.
>How is that any different from ordinary integer operations/arithmetic with ints/longs/etc...?

It is different, because you never want to take the square root of an integer.

Floats allow you to pretend you are working with sometimes inaccurate real numbers. That is the magic behind it and why fixed point arithmetic was abandoned almost immediately when floating point became fast and easily available.
https://info.2gis.com/ has the best maps app in the world. Unfortunately only in Russia.
Breakthroughs are exciting; hoping it's true!

But I understand nothing of this field

What's the general consensus here, real or not?
It's technically not necessary, but it's also not necessary that the authors give away their samples while they're still running tests (apparently they never even wanted to go public at this stage). The claims will be checked against very high standards, and we will know eventually. But we'll need a bit of patience, the authors haven't even submitted a paper to peer review yet. Science doesn't generally doesn't progress at the instant-gratification speed of social media.
obvious one is companies are going to inject their products into the model for important terms so when people "what is the best X", their product shows up. Going to be the new SEO, finding ways to effectively poison model results
Lead compounds generally aren't good eatin'.
I use ARC and I wouldn’t call it trivial to set up. Took awhile to tweak all of the things necessary to get it working right. It is way cheaper though once it is working
>Most programmers use the US layout anyway

[citation needed]
Burma-Shave
I remember how it was in 2008 on Linux desktops/laptops: AMD laughed straight in the face of their Linux customers. NVidia did support them, although at its own rules (closed source). When the need to run scientific computation over GPUs arouse, NVidia was there, ready.
AMD got what it deserved for ignoring a market of scientists and researchers
Ask HN: Please provide your opinion on the state of React Native in 2023
The last time I used React Native, I didn't have a great experience maintaining the app. But it was 3 years back. Could you please provide your opinion if you have recently worked on developing or maintaining a React Native project. Suggest other alternatives if you had better experience.
Yes. Everything like that now that can just run whatever it wants I run in Docker. May not be perfect but it'll defend against most of what I've seen.

Also a decent solution to this problem, it turns out.
Presumably the hope is, similar to Valve and Wine, there is a company that spends vast amounts of $$$'s on GPUs and so the cost of hiring a couple of engineers to fix the AMD situation isn't a large percentage, and they are able to predict massive amounts of savings.

Whether the Valve situation strikes twice though isn't guaranteed. We already see all the other PC software stores continue to crowd around Windows providing apologies for its actions. If an AI firm can see past the next quarter, it could have huge ramifications.
> or a workable synthesis of a new "drug molecule" to cure cancer.

You mean like this?
https://twitter.com/gigaj0ule/status/1686814611658715136