skysight-inc/HackerNews huggingface dataset:
The UI to Photoshop is horrific (and unbelievably old and crufty, though not as bad as Illustrator.) I used to be convinced that the reason people think it's reasonable is Stockholm Syndrome. Now I'm convinced it's because most Photoshop users only ever use Photoshop/Illustrator/InDesign, and simply aren't familiar with other software.

It's bizarre that a search bar that unfolds a vertical menubar when highlighted but unfilled is supposed to be a great advance. It's so unimpressive that I 1) don't mind it at all, and 2) think the menu aspect is useless. It's just a menu command search bar; a good UI library could construct one automatically. Stick it in a corner, or automatically open it when people start typing with no obvious object. It's a triviality.

What bugs people about the GIMP is that it's not Photoshop. All of the GIMPs menu options are placed in eminently logical places. although it's a grammar that probably makes sense over time. Photoshop options are mostly placed randomly, and some of them turn out to be ads. That's not a huge dig at Photoshop, because it's pretty amazing that they ever fix or move anything with so much industry adoption, and adding things has to be a nightmare.

But the GIMP puts things in places because they make sense there. They don't have the base that would get enraged if they moved things. It's extremely telling that when put to specify improvements that could be made, the suggestions are either trivial, like

1) a search bar, or

2) an extra statusbar above the statusbar (in case they want instructions over their instructions), or

3) to make it single-window (because just not moving things is not enough, they have to be prevented from moving things),

or they're just:

4) "Make it more like Photoshop! When I use Photoshop I know where things are, and when I use GIMP, I don't!"

The GIMP is wonderful and its problems are technical: it has lacked some of the ability of Photoshop, but that gap slowly but surely continues to close.

edit: I can't believe I forgot the worst one: "Why when I click Save does it save my project, but when I want to export a file based on my project, I have to pick Export?"
A lot of biology is still a black box for us. You investigate a block box by pushing its buttons and recording the results. Hopefully, there are enough buttons and eventually response patterns begin to emerge. Or someone invents a way to open the box, just a little.
I wouldn't trust a crypto convention to not drop the roof on my head.

Seriously, I've put on shows and it's a lot of effort with a million things that can go wrong, some of which can go deadly wrong. I won't go to a show if I don't have faith in the outfit setting up the show and so my faith in any crypto company to not create deadly environments is pretty low.
i had some of the same problems; here's how i solved them, though keep in mind i am no ocaml expert, just a dabbler

at some point i got sick of trying to debug mysterious compile errors about types in ocaml and started declaring types for all of my function arguments; ocaml lets you do that. an example is http://canonical.org/~kragen/sw/dev3/mukanren.ml (an implementation of a tiny logic programming language, sort of like prolog with superpowers; cw inappropriate intimacy) where, for example, instead of writing

let rec disj g1 g2 t = mplus (g1 t) (g2 t)

i write

let rec
disj (g1 : goal) (g2 : goal) (t : state) = mplus (g1 t) (g2 t)

which is more code, to be sure, but i think easier to understand because it's more explicit. and the compiler doesn't report your type errors in the wrong function anymore when you do that

if you aren't sure what the types should be (easy when parametric polymorphism gets involved) you can paste the code without type declarations into the repl and see what it says

in this case that looks like this

# let rec disj g1 g2 t = mplus (g1 t) (g2 t) ;;
val disj : ('a -> 'b stream) -> ('a -> 'b stream) -> 'a -> 'b stream = <fun>

and in fact my `goal` type is more specific, `state -> state stream`, thus favoring comprehensibility a bit over flexibility (i can always go back and generalize the type more later)

this makes the code a bit more verbose but most functions are more than five words long so it's not actually that bad

maybe i should declare the return type too

let rec
disj (g1 : goal) (g2 : goal) (t : state) : state stream = mplus (g1 t) (g2 t)

but so far parameter declarations seem like about the right balance

declaring parameter types in your own code doesn't help with code you didn't write, but you can use the repl to find out what types the compiler inferred for it

# List.map ;;
- : ('a -> 'b) -> 'a list -> 'b list = <fun>

presumably editors with lsp support have some magic keystroke to display this on demand in your editor or something, maybe an lsp user can tell us what it is
Yes. But lots of people also have to use eg Windows.
He or someone else said they found a similar or better result with smiling instead of shock face open mouth so there are variations being pioneered. Think it was mrbeast talking about a new analytics a/b tool or might be confusing it with something else
Thanks, fixed. I meant Falcon Heavy. And it's actually a little more than that to GTO, but then the thing has to get itself into GEO, so it's not all payload:

Falcon Heavy has the second highest lift capability of any operational rocket, with a payload of 63,800 kg (140,700 lb) to low Earth orbit, 26,700 kg (58,900 lb) to Geostationary Transfer Orbit, and 16,800 kg (37,000 lb) to trans-Mars injection.

https://en.wikipedia.org/wiki/Falcon_Heavy#Design
From the article:

> The 2022 injury rate at the company’s manufacturing-and-launch facility near Brownsville, Texas, was 4.8 injuries or illnesses per 100 workers – six times higher than the space-industry average of 0.8.

So it doesn’t seem good…
Fedora is great and my second favorite distro, with OpenSUSE being my favorite one.
There are barely a handful of people contributing to Gimp regularly, how do you want to split that into multiple teams?

It looks to me like people are regularly fantasizing the size and structure of this project.

Couldashouldawoulda do not work when there aren't enough hands. We shouls be thanksful to have those powerful programs provided to us first and foremost.
Why would you bother to send a nuke to high orbit?
"every dev can use kubectl to deploy" may be less horrific than the previous situation but it's still pretty bad practice tbh. So is "a script to automate all the kubectl invocations".

There's existing tooling for that : Skaffold, ArgoCD ...
Boeing and Lockheed are union shops IIRC. Any major injuries like those mentioned in the article would mean a major shitstorm and stand-down.
It’s an anti-proton collector
Android at least has great support for web apps.
People say that OCaml is like Rust, but unlike Rust, OCaml has Exceptions that could appear everywhere. How is that safe?
There is a point at which even dependent typing won't save you, but sum types are a useful tool to reduce negligence. Don't let perfect be the enemy of good.
Omg..I have that physics simulation and made crappy sound tones in audacity for it. I want to use this to make better sounds.

I added a music block to Goober Dash level editor:

https//gooberdash.winterpixel.io/

When your Goober, or a physics crate, hits the music block, it plays a note. I didn't release this branch yet. Can I use the piano notes from this lib in our game? I wouldn't be adding the generator code to the game, I just need sound files.
Brilliant. I've lost count of the number of times I wish I had this.
Not for long.

https://www.gimp.org/news/2023/07/09/gimp-2-99-16-released/#...
did they try against BTs
Are you maybe mixing up Starshield, the defense oriented Starlink service in which the DoD controls cells and has the rights to do whatever they want with since it was sold to them with that intention, with Starlink, the civilian internet service being provided to Ukraine?

Haven't heard anything about the DoD overruling the controls on Starlink in Ukraine.
It was the same in the US. There wasn't any mainstream consensus, and the people claiming they were sure it was X or Y were all fringe.
Update: there's been a bunch of great messages so far, from people all over. But most importantly we've had a

');DROP TABLES;
Almost like people want some functional features without all the extra baggage.

I guess I would even say it's like... most people just want the banana, but got a gorilla holding the banana and the rest of the jungle as well.
Probably, which is exactly my problem.
That is THE YouTube splash screen - I assume it’s the one that gets the clicks since almost everyone who produces YouTube content uses it
You are contradicting yourself. If it is your only choice, it means it is usable. Is it without fault, no. Usable yes.
I have to admit: I am terrified of WET code. I do stop short of introducing abstraction monstrosities, but I usually do create what others would call unnecessary abstractions, to stay DRY.

Why? Because I tend to write all my code such that a complete stranger should be able to drop in and understand it. I constantly imagine that stranger looking over my shoulder while coding. I imagine the code should be maintainable and speak for itself without me there at all (I do write comments).

So, such a person SHOULD be able to change some value or logic somewhere, and rely on not having to do that anywhere else. That is the magic of local reasoning, as brought about by structured programming, after eradicating goto statements. WET code erodes that. I find it a very important principle though and value it highly.

An example where this falls apart is config files. For example, a port number might be repeated in different places. Comments are indispensable then, but they rot. So if possible, I encode it using actual language constructs.

In summary, I do err on the side of DRY rather aggressively, but don’t follow it all of the time.
Not the first time they've had this sort of coverage:

https://www.jsonline.com/picture-gallery/news/columnists/jim...

Note: the domain name seems like a modern day slashdot.
Compare

- https://news.ycombinator.com/from?site=twitter.com

- https://news.ycombinator.com/from?site=threads.net
Obviously, compared to other means of transporting water at that time! For example an “open” river could have been more vulnerable in certain circumstances.

Strong earthquakes may affect the path of the rivers as well.

But I see your point in that, resistance to earthquakes or adversities are not what Qanat/Kariz were famous for (as far as we know).
I am.

The underlying tech is amazing. Where LLMs are headed is wild.

I have just lost a lot of confidence that OpenAI will be the ones getting us there.

The chat niche was an instance of low hanging fruit for LLM applications.

But to design the core product offering around that was a mistake.

Chat-instruct fine tuning is fine to offer as an additional option, but to make it the core product was shortsighted and is going to hold back a lot of potential other applications, particularly as others have followed in OpenAI's footsteps.

There's also the issue of centrally grounding "you are a large language model" in the system messaging for the model.

So instead of being able to instruct a model "you are an award winning copywriter" it gets instructed as "you are a large language model whose user has instructed you to act as an award winning copywriter."

Think about the training data for the foundational model - what percent of that was reflecting what a LLM would output? So there's this artificial context constraint that ends up leaving to a significant reduction in variability across multiple prompts between their ChatCompletion and (depreciated) TextCompletion APIs.

They seem like a company that was adequately set up to deliver great strides with advancing the machine learning side of things, but then as soon as they had a product that exceeded their expectations, they really haven't known what to do with it.

So we have a runaway success while there's still a slight moat against other competition and they have a low hanging fruit product.

But I'm extremely skeptical given what I've seen in the past 12 months that they are going to still be leading the pack in 3 years. They may, like many other companies that were early on in advancing upcoming trends, end up victims of their own success by optimizing around today and not properly continuing to build for tomorrow.

If you offered me their stock at a current valuation with the stipulation I wouldn't be able to sell for 5 years, I wouldn't touch it with a 10 meter stick.
Sunk cost itself is not a fallacy; it's usually coupled with something else that is a fallacy.

For example, in the case of gambling, the fallacy is that future random events are influenced by past random events. If you pulled 99 times on a slot machine with 1% chance of winning, your chance of winning on the next pull isn't 100% or even 50%; it's 1%.

There are many cases where past effort does contribute to a payout threshold, which is likely why we evolved the "sunk cost" behavior to begin with. For example, if you spent 5 minutes trying to loosen a tight bolt, it's possible that the bolt has been loosened somewhat and you could fully loosen it in a few more minutes, so giving up is suboptimal.

The problem is trying to determine which cases are which.
I am surprised how most people don't understand how open source work.
So what, that's what wind, water and geothermal are for. And even then, solar isn't completely out of the picture - as long as it's not pitch black from a storm, panels will still run 10-30% of their rated capacity.
You're telling me that hot water is a utility in Iceland? You don't just get a cold line and heat it with your own water tank?
I'm not trolling. My educational credentials >> the downvoters, that I can say
There are two different pronunciations for Andrea in English. The one that's _not_ like Spanish or Italian is maybe a bit more common, but I've met people with both.
Fedora has been my choice of distribution since it was first released two decades ago.

What many don't realize is that the Fedora project is much more than just the Fedora Linux distribution - it is a large and vibrant community of contributors and users with 4 strong values: Freedom, Friends, Features, and First (this last one is why Fedora is often touted as being the first Linux distribution to mainstream radical new features like Wayland, btrfs, and Systemd).

You can find the community forum at https://discussion.fedoraproject.org/
It's not the same display, but probably comes from the same mother glass. Same subpixel layout, same density.
I’ve seen quotes that something like 40% of all California politics revolve around prop 13. The promise your parents aren’t going to lose their house from arbitrary reassessments is a strong one (instead it will because they can’t afford medical bills). Prop 19 (2020) at least put a dent when it came to multi-home ownership and inheritance.
I want to see the source code changes made to implement MCAS.
I remember the first time I wanted to install Android Studio. The problem was that the name of my user in Windows had an accent, and for some reason it wasn't installed correctly (I don't remember it that well, it was a long time ago). What I did was just changing the user name.

The problem with this is that i tried a lot more that just this, I hand't except this could be the problem.
most compapies data policies forbid this for good reason.
> that the app would not “do anything to encourage” the sharing of news

Sounds good to me. Funny how news folks complains both when social media shares their content and when it doesnt.

The hard reality is that news have become a cesspit of divisive toxicity. Hope threads - not that i would use it - keeps news out.
Formula 1 didn't realize Las Vegas would be cold in November
In practice, it's a tiny market. CRTs are bulky, unsightly... and for the most part, really not as amazing as claimed. Plus, they are difficult to ship. Most of them end up in the landfill.

Meanwhile, antique phones, typewriters, cameras, and so on are popular enough that people make replicas: https://www.ebay.com/itm/266280860021
But they can just be auto-generated in documentation. It gets pretty annoying to type annotate everything for nothing but warm fuzzies when the compiler can figure it all out for you.

Also, any decent IDE will show the types any way.

The complaint about the types is just strange and shows a failure in getting Rust out of their head. Once you get used to F# and OCaml, then going back to a language that forces type annotations everywhere gets old and seems archaic because you spend all this time telling the compiler what it already knows (in a language like F# and OCaml). However, there are times in which type annotations are needed, especially in F# when dealing with objects. I generally type annotate when I feel the name of the argument doesn't capture the type.

Writing F# often feels very Pythonic or Scheme-y, but at the end of the day, everything is being statically typechecked, so it's the best of both worlds.
I second this. KDE spin has been absolutely fantastic on both my custom desktop (all AMD) and my Framework 13.
Not true. I bought a new Icoca recently.
Or Asmongold. That face just…

I’m so offended by the attempted manipulation that I outright block accounts that do it.
Or they could just have a similar gmail address they frequently get wrong (or that looks like yours when written in the terrible handwriting they fill in forms with)

There's probably a single digit number of people with my initial and surname in the world, and I still get order confirmations for one of them, car promotions for another and am on some sort of targeted B2B spam list for a third to my Gmail address in that format. I quite like the order confirmations tbf, most of them are for a fish and chip shop I actually used to get food at when I was a kid and my grandparents lived nearby so they're oddly nostalgic
Are you suggesting that ChatGPT only had access to examples of games, and not any of the rules of the game? ChatGPT has been exposed to the entire internet. I’m sure the rules of the game are on there somewhere.

I’m also a bit curious as to how far you’re willing to take your “illegal moves don’t indicate lack of understanding” logic. What if it was making illegal moves 1 out of 10 times? What about 1 out of 2 times? Even if it made illegal moves 80% of the time, 20% is still better than randomly picking up pieces and putting them down. So maybe this could count as “understanding” too.
why do feel exceptions make a language unsafe?
https://en.m.wikipedia.org/wiki/List_of_countries_and_depend...

Give the US a few centuries to catch up to European density and let's talk then.
That guy with the Volkswagen Beetle was using an Apache helicopter engine wasn't he?
My understanding is that in most cases toxoplasmosis cures itself, and our bodies left producing antibodies to reduce the chance of reinfection. And the study associates the antibodies with frailty, not the actual parasite. Could this be 'long toxoplasmosis'?
Let’s at least grant the benefit of the doubt, that the poster knew to salt the hash. We can take it as given that incompetence makes for poor anonymization.

Your example of “transactions in Chicago” is much more salient; there’s clearly a cat-and-mouse dynamic where data can be de-anonymized, especially if the dataset is public. How much that will actually be possible will be specific to the data in question; but the risk is non-zero. There’s certainly a case that no amount of obfuscation is sufficient if a user has not explicitly consented to their data being used this way.
There is nothing that I can think of. The tools of the trade are mass spectrometers, most dominantly right now the high end Orbitraps and the TIMS-TOF. If you’re interested in instrumentation I can send you some resources.

There’s a few good reviews I can send you if you’re interested. Let me know, I’d be happy to connect.
F# has exceptions. You can just pattern match on them.
Android and HTC Dream phone Q&A With Andy Rubin (2008) [video]
I'll throw my result into the ring. I get 37 years:

<https://www.wolframalpha.com/input?i=%284*pi*%2812733km%2F2%...>
> The 2022 injury rate at the company’s manufacturing-and-launch facility near Brownsville, Texas, was 4.8 injuries or illnesses per 100 workers – six times higher than the space-industry average of 0.8. Its rocket-testing facility in McGregor, Texas, where LeBlanc died, had a rate of 2.7, more than three times the average. The rate at its Hawthorne, California, manufacturing facility was more than double the average at 1.8 injuries per 100 workers. The company’s facility in Redmond, Washington, had a rate of 0.8, the same as the industry average.
That’s the best friend tier: calling (c-word) mates, calling mates (c-word).
Also
- https://news.ycombinator.com/from?site=blueskyweb.org

Is there a way to get Mastodon linked news?
No, but I would have had preparation by high school if that was what was expected from me

And if I wasn’t enslaved or sharecropping, barred from all forms of credit, as well as landownership, homeownership, and happened to already be in the upper crust of society with the aforementioned assets, and welcomed by the others who also had those things

whoops I “politicized” it by describing reality
The problem is trying to determine which cases are which.

If you don't know there is nothing you can do. But the situations where teaching sunk cost can help is is when you DO know, but emotionally don't want to let go.

Like when you your business is lost, and shouldn't put any more money in, but emotionally are clinging to the "I've spent so much time and effort and savings on this, I can't just walk away".
Somewhat related: Earth Gravity Map, GOCE, European Space Agency (ESA)

Visualized: https://www.youtube.com/watch?v=d4E5T9PSbo0

> ESA's Earth Explorer GOCE mission was dedicated to map Earth's gravity with unrivalled precision and provided the most accurate model of the 'geoid' ever produced to further our understanding of how Earth works. After more than four years in orbit, the mission came to a natural end on 11 November 2013, but the wealth of data from GOCE continues to be exploited to improve our understanding of ocean circulation, sea level, ice dynamics, Earth’s interior and climate change.

GOCE: https://www.esa.int/Applications/Observing_the_Earth/FutureE...
Well SpaceX launches rockets into space and the others don't so it seems unfair to compare right? :-P
I have had loans with Navient. It wasn't anything particularly interesting.
Modern x86 (Golden Cove, Zen 3/4) is currently 6 wide. [https://i0.wp.com/chipsandcheese.com/wp-content/uploads/2021...]

A17/M3 is 9 wide [https://files.catbox.moe/vkbop7.png]

From what I've heard, Veyron V2 has only 4 wide rename.
> and First

Isn't that arch?

> mainstream radical new features like Wayland

Even if you qualify "First" with "mainstream", I think there might be more Steam Decks (running an arch variant) than Fedora installs :)
From February. Seems current work might be in https://github.com/CyberHive/rust-cheri

Did not realize until watching the video that this seems to be funded by the UK, thank you! https://www.ukri.org/what-we-do/our-main-funds-and-areas-of-...

The DSBD program has some interesting looking videos on YT. Another short (11m) one is about why you'd want hardware capabilities with a safe language (don't lose safety when calling unsafe code, IIUC) https://www.youtube.com/watch?v=sNbdOFk26jw
The economics have certainly changed since we last looked (early 2010s). Not enough for me to sell my working cars, however.
Exactly this. They just only recently found the time to migrate to GTK3.

The last thing they need is people who have no wish to use their program or contribute to yell at clouds and insult their work without moving a finger themselves.
https://m.imdb.com/title/tt0084796/

Pretty close. Got the MST3000 treatment too, but honestly I kind of liked it. Campy but eerie. Could be remade really well.