skysight-inc/HackerNews huggingface dataset:
That has in the matter of weeks become the lowest form of commenting, and more aggravating that "This" or "Underrated reply".

It is rude to reply to anyone with a link to "Let me Google that for you" but apparently "Let me ask ChatGPT for you" is widely accepted.
Ask HN: Disrupting established industries with LLM-based products?
I'm gathering data points and doing research for an upcoming social media post on my personal social media.

I'm mainly collecting disruption stories where a startup launched a product based on large language models, became a success story and is now eating an established company's lunch money.

So please share your disruption story.

Disclaimer: I happen to work for one of the "IBMs" in one of these heavily disrupted legacy industries - which only adds to my curiosity.
What a great time, different companies, live streams
this is what I'm here for.
That's a big "if". The author themselves mentions modular implicits and points out that they haven't been updated in something like five years. I don't think modular implicits are going to happen in Ocaml in our lifetimes.
> Those shortcomings are more relevant to intensive, wrong, unregulated and mindless practice

On average 90 percent of meat and eggs raised in the U.S. come from CAFOs

https://mostpolicyinitiative.org/wp-content/uploads/2021/01/...
I’m going to take anything a private charter jet company says about the carbon footprint of private jets with a very large grain of salt.
IMO What we're consistently failing to see is that necessity is the mother of invention. Mankind has summoned seemingly unfathomable ingenuity and effort in response to dire need. It seems it will be Gen Alpha/Beta who will have their "ww2 moment" but in response to existential threat from Environmental and second order societal collapse.

Likely changes will include mass adoption of nuclear (potentially including Fusion or Thorium based), Carbon (and other gas) sequestration, Biodomes (to deal with a toxic environment), etc.

It clearly wont be the end of mankind, just mankind as we currently experience it.
This is so good. I tried playing around with whisper.cpp last week and got absolutely terrible performance. I played around with the "step size" as well as "n" (not sure what these do, I should probably read the docs seriously).

I tried a lot of tweaks but this one is definitely the best I've seen.

How did it know how to spell my name correctly when I just spoke into my microphone??? The two L's usually trips up the transcription models. What????
I think they were talking more about mental health. But that is just speculation.
Thanks, I’ve taken this as a “known.”

I’ll update the comment.

https://en.m.wikipedia.org/wiki/Timeline_of_the_far_future

As far as I understand, the habitable zone in our system is not stable. It’s shifting. Between 500m and 800m years from now it’ll have moved sufficiently where our carbon cycles start grinding to a halt.
In Chrome that's using Google's servers to transcribe the audio (last I checked) and it doesn't work on Firefox.
Somewhat clickbaity:

The dramatic shift in its new “Energy Security Scenarios” is not explicitly acknowledged, but, as Carbon Brief’s analysis shows, is hidden in plain sight.

So, no, they haven't admitted it at all.
I think that’s not really relevant, in the same way that it doesn’t much matter when they take a football prospect’s running times that someone could go much faster on a bicycle or in a car.
To no one's surprise and to almost everyone's disappointment, the model has learned from pictures on the Web that such an author looks like a white guy, usually older than 30, with a simple/bad haircut, exhibiting varying degrees of unkempt facial hair, typically wearing thick glasses, standing in the middle of a bland-looking room... and ticking every other checkbox that goes with the stereotype. At present, that stereotype accurately represents reality.

Oh, and some of the faces are... recognizable (e.g., one of the images looks like a younger Geoff Hinton with facial hair and an early-Beatles haircut).

Along with most people on HN, I look forward to a future in which the training data, and the generated images, will be more diverse.
What are the "all things equal" here, though? I would tend to disagree that someone who can complete the coding challenge faster is the objectively better candidate. Especially if we are talking about leet coding, where there are people who study their asses off and memorize the common leet code problems. Or maybe the coding challenge isn't leet code, but just so happens to be something that the candidate has done before, or has done recently. Just because one candidate lucked out and has done this very specific thing, doesn't mean they are better than a candidate who could figure it out in half a day, if given a little more time to do so.
This comment is not correct. GNOME Foundation didn't co-opt or sabotage GTK. For a very long time it's just been mostly GNOME people contributing. It's a known problem that GTK needs more people contributing to fix issues on other platforms. No one I've talked to at the Foundation is happy about this either. If you're bothered about this, you should consider showing up and start contributing.

GTK4 and Adwaita apps can still be styled however the developer wants. If some app developer wants to make a Windows theme, go for it.

Overlay scrollbars aren't forced. The app developer can disable that and make the scrollbars always show. You might not want to though, because some Windows apps do have overlay scrollbars. For example: VS Code.

Keyboard shortcuts are also up to the app developer. If someone wants to have some compile time setting to change the keybinds when building on Windows, go for it.

I have no idea what you're saying about libadwaita separation. You can very clearly look at the libadwaita code and see what's in there versus what gets upstreamed into GTK. No one has any way to lie here. It's just an extra set of GTK widgets you can optionally use.

The draft MR written by Paul is still open. I doubt it will be merged in the current state it's in, because it has bugs.
They mean no way back.

Photos have been staged / forged for a long time. The big difference is the ability for AI to create fake photos in seconds which could inundate future historians unless there was an equally quick way to spot a fake photo.
What tools are you given in English? And how many of the tools in Maths are you still using?

Like, I’m very happy that I got to learn probability theory, but all the differential equations that broke my mind seem entirely pointless now.
Yeah, the worldwide data seems more relevant. Still, if you look at it, apparently Windows has lost more than 5 percentage points just in the last three months. It seems to be a historical low. I don't know what triggered this, but at least in the US, Windows seems to be on its way out. Though it could have also to do with Apple's very efficient M CPUs, which aren't available for Windows, not just with MacOS itself.
Fully agree that we should all do our best to make IRL interesting. I think the best thing is to do both: control access to digital stimuli, and enrich analog life (in healthy ways! ;).
Right, but, to a large extent, Americans love the burbs and you are not going to be able to get them to vote for their demise, no matter how many benefits you can see .
He is personally responsible for saving MLK's Birmingham campaign when it was at risk of failure and collapse. RIP. Turn the world around.
C++ / Eigen performs a lot of optimizations that you might expect from a Fortran compiler. For example, it ability to broadcast and perform reductions is pretty slick, e.g.:

X.noalias() = (A - B).colwise().squaredNorm().mean();

Short of having tensor cores, this does a good job of static optimization for underlying vectorization support.
> It drives many engineering constraints for spacecraft systems.

Here the only thing it's going to drive are thermal requirements-- which are admittedly significant problems. There's no need to continue to use large amounts of power for comms, etc, like on most GEO birds.

And, of course, the grid needs to deal with the power disappearing for an hour in the middle of the night for short periods of the year.
These debates have been done to death and mostly I also think that the article is a fairly typical strawman argument. Take the worst way to do a live coding test, point out the problems and then dismiss the whole idea.

What else are we supposed to do? Take the fact that you can talk a good game as enough of a signal to invest 10s of 1000s? Assume that everyone with 20 years experience is as good as everyone else?

The problem is that there are no reliable signals. Most Developers I have interviewed have a massively inaccurate ability to judge their own ability (in both directions). I've lost count of the number of times candidates have rpomised that they can just learn whatever they don't already know and haven't been able to do it to any degree.

Qualifications are meaningful in some contexts more than others but most people in the UK don't have comp-sci qualifications.

So yes, I will use various coding exercises because depending on the level, it shouldn't phase someone to be given something quite simple and to see how they approach it (do they write tests first? Ask some good scope questions? Explain why they've done something the way they did?)

I have failed one of these tests in the past thinking I was a good Developer (I am!) but I don't blame the test or the process, I realised that my approach was haphazard and not an objective good look to an Interviewer so it was actually helpful.
This can’t possibly be true. The Inuit for example lived almost entirely from meat before agriculturalists started trading wheat flour to them.
My first job split the programming interview in two. 45 minutes where the candidate drive (typed) and 45 minutes where the interviewer drove while the candidate guided them. The first half disqualified a lot more candidates than the second. It was usually pretty clear how the candidate would do by the end of the first half. Occasionally a candidate would be too limited in their communication to do well while not typing.

That job had a lot of people working in pairs very frequently so it made tons of sense to do it that way there.
0.2% of all emissions sounds like a disproportionately big win. Like the entire emissions of small country. That's a low hanging fruit. Let's do it!
Not true, but don't let facts get in the way of your kneejerk racism.

> The U.S. is leading in global LNG supply growth with an additional 5.9 million tonnes of capacity in 2022, for a total of 80 mtpa.

> Norway saw the second-largest growth in LNG supply, with an additional 2.8 million tonnes of capacity. Malaysia and Qatar were close behind, with 2.4 million tonnes and 2.3 million tonnes of capacity growth in 2022, respectively.
Building the world’s largest online diamond exchange
Playing around with Stable Diffusion yields a lot of images that are kind of dream-like. The pictures can be fascinating, but a lot of the details are weird or inconsistent, or somehow "off". I suspect this isn't a coincidence. Neural nets are modeled after organic brains, and the mechanism that produces our dreams may have similarities with the noise generation functions in AI image models.
can't understand the downvotes, may someone explain?
Not really third-party; ocaml-ppx is something similar to `javax` in the Java space? But it is optional and doesn't come bundled with OCaml.

Recursive structures are only rare in Rust _because_ they suck to write and have terrible performance characteristics in the language. In languages like Haskell, OCaml and Scala using tagless initial encodings for eDSL's [2] are really, really common.

I don't write Rust like I write any semi-functional language with function composition because, well, it's _painful_ and not a good fit for the language.

> `T.show foo` or `Foo.to_bar value` is a lot of syntactic overhead

The `T.()` opens a scope so OCaml code generally looks like:

```
let foo = T.(if equal zero x then show x else "not here")
```

for,

```
fn foo(t: T) -> String {
if(t == T::ZERO) {
t.show()
} else {
"not here".into()
}
}
```

Even when talking about usage, each language community for better or worse has a predefined workflow in mind. Your questions and workflow are specific to a particular language; you don't, for example, ask about the REPL, the compile times, debugging macros, the cold-start of the compiler, whether hot-reloading is a thing, the debugger, how it interacts with perf, how to instrument an application. Presumably because the language you use or the programs that you make don't have those components as part of their main workflow.

[1] https://github.com/ocaml-ppx
[2] https://peddie.github.io/encodings/encodings-text.html
I had an employee who lied about a diploma in ~2015. It was pretty bold, he even included a student ID number. Eventually we just called the school's registrar's office and asked if we could verify a diploma. They asked for the name and then told us they had no record of a student by that name. I asked if they could tell us if the student ID number was realistic and was told that it wasn't even close to what their ID numbers looked like.

So it looks like your mileage may vary.

IIRC, providing false information about a diploma in California is a felony.
Tech Downturn Fuels LSAT Boom
I think reviewing code is a much better method.

It's a real skill you'll actually employ. You're coming at the code cold, which is actually a realistic scenario you'll encounter on the job. Your ability to catch bad ideas and prevent them from getting literally codified is a valuable skill. And all of that is worthless if you're in a state where you can see a mistake, but are too afraid to speak up; this gets tested too.

It might not be so great for newbies and people fresh out of college, but even they should be able to read the code and discuss it.
I don't have GPT-4 API access so can't comment on that yet. The code quality via chat has been comparable.

One of my goals in the coming weeks (when I get access) is to formally run tests across the models.
hey! author of the post here. I wanted to document all of it, so I went overboard with the links in the end. My Go implementation can be safely removed from here, as it is in the nascent stages. I would recommend going through Pekka's repo for code.
Less than a year after the landmark Loving v. Virginia decision by the US Supreme Court, Harry Belafonte and Petula Clark made history when Clark touched Belafonte’s arm on US primetime TV: https://www.vanityfair.com/hollywood/2018/04/harry-belafonte...
The number of refineries, etc. in those places are only decreasing. Sure, there might be some additional projects but for the most part: no.
I love the design aesthetics of this wiki. It also makes me happy that someone bothered with a custom tool stack and hosting solution to get something near to exactly what they wanted. Here's a page describing this:

https://gwern.net/design
How many of those can be repurposed to refine or carry natural gas?
> experts that were promising us that two weeks of strict lockdowns would help us defeat the last pandemic for good

No. Experts (ie the IPCC) are much more pessimistic than what Shell is admitting in this headline. Current models predict that we need to go way way beyond merely ending growth of fossil fuels to even stay below 2C of warming. We'd need to drastically drop the usage, which we are not on track to do with current government policies.

> how does anyone in any position of power expect us, the populace, to follow the same road of hard sacrifices “because science!”?

Would you sacrifice based on a hunch? Of course not. Science is frankly the only thing that should convince us to make climate friendly policies. I suspect you really are just unwilling to sacrifice regardless of any reason - it's a waste of time pretending it's because some higher bar hasn't been met.
>How did it know how to spell my name correctly when I just spoke into my microphone???

if the variations are pronounced the same? luck, probably.
There's also the widespread use of the term ricing, which, yes, I kniw has been debated and broadly accepted by the community
Not that any of those save you from malware, necessarily. Nor the App Store - NSO has proven that you don't even need to install anything to get your iOS devices compromised. At some point, we have to acknowledge that all cell phones rely on their user to not mess things up. Even on iOS you can respond to the Nigerian Prince on iMessage with an Apple Pay of $300 (to be repaid as $1,000,000 in the Kingsland, of course).

If people want to use only Apple-sanctioned apps, that should be an option. It should not be the impetus for keeping features off the iPhone though.
The solution is to buy devices that you actually own.

Sent from my Librem 5.
Today you can install the .NET runtime, as well as the .NET development tools, on both Windows and Linux. They handle F# as well as C# out of the box.

You can `dotnet publish MyApp.fsproj` on either Windows or Linux, copy the resulting `publish/` folder to another machine with a different OS, and use `dotnet MyApp.dll` to run it. There are also ways to create containers, though I have never tried them for lack of an actual use case.

As for libraries, .NET comes with a huge standard library, much larger than what you would find on a different language. Off the top of my head, here are a few things that come with .NET that would have been a third party library in other languages: text encodings, protocols (HTTP client, TLS, QUIC, SMTP), mainstream hashes (MD5/SHA1/SHA256), mainstream crypto (AES/DES/RSA/EC/ChaCha), serialization (JSON/ XML), weird formats (X509/ASN.1/tar/MIME), mainstream compression (deflate/brotli/zip), binary data manipulation (e.g. endianness conversion, AVX intrinsics, memory-mapping), runtime code generation, in-assembly resources, interoperability (COM, JavaScript, Objective C, SQL), concurrent collections, async...

Besides, since C# is popular, many tools have .NET-compatible clients or libraries which can then be accessed from F#.
Scientists Make Paint Using Ideas from Nature
Ship / Show / Ask (2021)
While bacteria evolution can't be reversed, the antibiotic resistance usually have a cost to maintain (the fitness cost¹) and without the evolutive pressure cause by the antibiotic, bacteria without those costly genes will eventually dominate.

1) https://www.nature.com/articles/nrmicro2319
There is no single silver bullet, but if you combine tree planting with nuclear / renewable power with remote work with electric vehicles ... eventually it starts to add up.

Shooting down solutions because they aren't the entire solution will mean we never make any progress.
During the pandemic I bought a $500 mattress from Amazon but didn’t like it. So they just gave it to me for free and refunded my purchase. So now I’m sleeping on a free mattress that I don’t really like but it was free.
So does this work with Docker Swarm out of the box? I guess this breaks the default networking stack of Swarm, right?
Let me put it into perspective.

1) AFAIK Teslas cannot be driven remotely. But even if they could Tesla is not using cars for errands, like wtf c’mon. And if they wanted to do that and paid me for it, I might be interested in helping the environment.

2) Tesla is able to remotely unlock a vehicle if they verify the owner. This replaces a call to a locksmith and/or the towing company and is way more convenient. So yes, people are okay with being able to have their car remotely unlocked by a third party who they authorize, we always have been.
Detecting a cycle in a directed graph is useful (in certain domains I've worked in), but doesn't have a cute trick answer.

[Edit: I in mind ‘Detecting the cycles’ rather than ‘Detecting a cycle’ but wrote the wrong thing. Mea culpa.]

Your actual job will be more like implementing a maximally performant directed graph in safe Rust. (Not really. It won't be that interesting.)
People are (correctly) upset when Apple, Facebook, Google etc have anti-poaching agreements. Then whenever developers switch companies, and similar features are announced, this is the inevitable response.

Either employees should be able to move around freely, spreading the knowledge and skillsets in problem domains or they should not be able to do so. The legal frameworks are patents and code copyright. I'd like to see patents go away in general, but the abuse that is alleged here should be examined

All that said, the statement here that "apple steals people" is fundamentally and ethnically wrong. People are not owned by corporations.
Ron Minsky of Jane Street has explicitly said, many times, that their choice of OCaml attracted great developers who wanted to work with it.
Selling stock isn't entirely how you make money from buybacks.

Buybacks inflate the stock price, making what you're holding more valuable, even if you don't sell. More valuable assets are useful for all sorts of things, including leveraging them for other activities, or selling them for capital gains.
You have representation. Most of those congress critters are just lying about their affiliation anyhow.

The US isn't even close to the laws imposed by any even vaguely religious country like Iran or even Isr*l.
My understanding is it would help quite a lot, and would also not be sufficient by itself to solve the problem.

Too many people jump from "it's not sufficient" to "therefore, we shouldn't do it".
Well if someone other than humanity wants to step up and save life I’m sure we would be okay with it but my dog still spends his time licking himself and my houseplants are not especially active so I think it’s up to us.
500m is a lot of time even evolutionarily. Dinosaurs were around 245m-66m years ago. There very well may be another animal/civilization in the next 500m years that has a decent shot at escaping from earth.
Neil Gaiman who introduced me to the French Republican Calendar in a story set during the French revolutionary period (The Sandman #29). I didn’t have easy access to an encylopedia (or the Internet) in the early nineties so Thermidor was the only month I knew for a long time.
Not making any decisions because we need to thoroughly review every option, even bad ones, so that everyone can feel good about themselves and all sacred cows coddled is precisely the way that we've been sitting on our asses for the past 40 years.

The tech exists to solve the problem. We have 4th generation designs that cannot melt down. We fail to deploy them to the shame of all of the so-called environmentalists.
> On the other hand, type checking is not optional, so having to solve a NP-complete problem for that would indeed be problematic.

Not necessarily. There are plenty of NP-complete problems that can be solved optimally fast enough to be useful for the instances that actually come up in real world applications.

For example the Traveling Salesman Problem (TSP) is NP-complete, but there are exact solvers that run in reasonable time for instances of a few hundred vertices. That's fine if you are say a delivery company trying to plan the day's itinerary for one of your delivery trucks.
But cross-contamination in a shared production facility can happen fairly easily (and is important for folks who are sensitive to a few parts-per-million of gluten), hence why lots of packets have that warning in the small print. An obvious "gluten-free" label means that the producer is asserting that this cross-contamination hasn't occurred and you don't have to search the small print.
Or just completely drop the ball and never get back to you.
grep isn't necessary at all here:

lsof -s TCP:LISTEN -i :$port
Hi, I'm Daniel, and I'm a todo list software addict
The geography's fine, it's the zoning that destroyed it. You don't need to have your entire country be oceans of parking with a few buildings sprinkled in the middle.
Microsoft or Apple don't invest any effort in making their toolkits look native or even work on other platforms. Would GTK benefit from directing 100 percent of its already limited developer resources and money on Linux?