skysight-inc/HackerNews huggingface dataset:
I don't do graphic design any more, but I started with GIMP - when I was first able to try Photoshop (pre GIMP redesign) it was awful, nothing made sense, nothing was where it should be. In contrast, when I first used Corel Draw it seemed intuitive.

Just like using a Mac after having been a PC user; or being forced back to MS Windows after using Linux/KDE for a couple of decades.

I used to use Inkscape heavily, but having not used it for a few years, I go back and the UI has changed, similar experience; I feel lost when I should feel capable.

Photoshop was one of the first applications that I noticed using the 'give it free to college students to capture the market' technique. That works so well because it takes a couple of years for for you to adopt the software as an extension of your way of thinking - changing application means a productivity loss, and a feeling of incompetence, and no professional wants that unless they can clearly see an ultimate gain.
If UK couldn't see Israel as terrorists group guess they don't do much about Hamas and Jihad.
"I'm sooo not like those white supremacists!"

Sorry to break it out to you, both them and you are in the common pursuit of comfort and safety. One from the edgy teenager, I'm-totally-not-like-my-parents point of view, the other from I'm-totally-not-like-those minorities.

The fact is, you want to be treated in comfortable ways by them. Assuming you are a minority. If you are not, well, how's mom? And why was she so emotionally unavailable?
_Regenesis_, by George Monbiot.

About how we can realistically feed everyone on the planet long term, in a way that doesn't destroy nature, keeps soil healthy and more able to deal with climate change, and is also affordable.

Very good. Very well sourced, sceptical of romantic ideas that just don't scale.

Given that we currently use 60% of our agricultural land to feed livestock, that we then use to produce 12% of our calories (and 40% of the land for the other 88%), and that methods of agriculture that leave the ecology healthier have lower yields than current industrial methods, he takes as a given that we'll have to do without most of the livestock.
most of them do. it's what a /r means. it's how cli programs can easily output a spinning wheel/similar for busy status.
or hd (hexdump -C)
The problem here is not about modules breaking. Even if gitlab went away nothing would break because of vendoring and proxies. The problem is if gitlab goes away and someone buys it and starts pushing malware through it, there is no way to distinguish a malicious update from a legitimate one.
The Culture series by Iain M. Banks. I actually randomly read Look to Windward years ago after being lent a copy. It stuck with me and recently started the series from the start. I'm up to Excession now. It's possibly the most "colourful" thing I've ever read. Often amazing, sometimes disturbing. The writing is second to none.
Interesting thing is that Prince name change wasn't just a whim. It was an attempt at breaking out of dystopian corporate IP capture.

https://www.bbc.com/news/magazine-36107590
“The investigation” by Stanisław Lem

“Neuromancer” by William Gibson

“A fire on the moon” by Norman Mailer
> streets ... don't change very rapidly

In many parts of the world, it does.
I mean... isn't the task that you're optimizing 'has a function and a set of lemma that all pass'.

How does the MCTS distinguish between 'generated a stupid lemma that is true' and 'generated a valid lemma'?

Is there any reason to expect that a 'good' partial subtree will result in a 'good' output?

Why do you think this approach will generate valid lemmas?

(Not structurally valid; valid as in, they assert a solution to the given problem).

It seeeems a lot like going like this:

"Generate me a function for X and a bunch of tests that verify X".

"If the tests pass, the function is good"

...but, there's no specific reason to expect that to be true?

How is what you're doing different?

Clearly (from the examples) in a trivial case, it is true, but generally speaking as the task complexity increases, this type of 'auto validation' seems to struggle...?

Using grammars to generate a structured output seems like a similar (and successful) approach, used by many people, but because it doesn't have the associated auto-validation, it's robust against LLM randomness.

I guess I'm struggling to see how this is superior / novel to existing approaches in that space.
Why don't all streets have garbage cans?
That analogy doesn't really work.
The people currently building out to expand the global green hydrogen production fourfold are already planning, with advance contracts on the table, on shipping 'hydrogen' as ammonia.

Unprocessed hydrogen doesn't have to be shipped to be useful, global hard rock mining currently consumes about 10% of global energy - a 24/7/365 mining operation can use solar farms for direct power and hydrogen production during sunlight and convert hydrogen to electricity off peak - all within the mine footprint planning which has already in modern times had to include a small city | large town power station.
Not sure if that fits, but maybe the piano piece is the Philip Glass album "Solo Piano", which is variation on the same base melody thorough the whole album?
Map of Space Invader Mosaics in Paris
No legal obligation, but perhaps a moral and ethical obligation.

The law is there to support society...but in and of itself cannot create it. Only people can.

So perhaps it's an obligation to the kind of world you'd like to live in...?
Hasgeek Ai Community - https://hasgeek.com/generativeAI
I've capitalized that word specifically for you, but yes, if ignore speed, then bad keybinds are in the same realm.

Likewise, having a single E key to jump down by 10 items in your realm would be no different than pressing the down arrow 10 times , or using search to find the file which ends with "_abc" is no different than using your eyes to find all such files and then using a cursor to nagivate to them and select - after all, these are all keyboard-only (except for the find part)!
It isn't that hard to make good stuff. The Scottish distilleries are expanding massively, and as long as you can get barrels and decent weather, it is just aged distilled beer.
The stuff you take in your suitcase when you travel has “emotional value”? What do you take with you when you travel?

Since our case is quite unusual, if I travel somewhere like a typical person and carry a weeks worth of clothes, that’s five- seven pairs of pants, 5-7 shirts, some underwear and some socks and maybe a change of shoes.

When I traveled for work, I also had some gym clothes.

That’s around $1500 - $2000 of clothes max. I fly mostly Delta and occasionally AA. Delta is not going to quibble about $2K for lost luggage. They claim less around .66% of luggage is lost or delayed.

This is how often the average person flies in a year.

https://news.gallup.com/poll/388484/air-travel-remains-down-...

The chance of the average person experiencing luggage being lost or delayed is slim.
> nobody

Nobody, no, but certainly companies which you entered an agreement with, and paid for the transportation of yourself and your property.

It's inexcusable that with the current existing technology companies "lose" your luggage due to anything other than bad-faith.
Bit snarky PTSD induced rant: Thanks for the unsolicited advice on the situation you have nigh no context on.

A bit of context: I could put decent logging and metrics inside the buggy System.Data.SQLite library, to know why it fails to do its job in remote Linux machines... which would be quite and effort (Comparable to forking and fixing it, which might be the goal, but getting the info for the problem is rather an interactive problem. Even opening the database didn't work). Also Logging from inside libraries is... a bit divisive topic.

At our shop logging and metrics are not always the best answers, when *developing*, they are mostly useful for *operating* a solution.
I really don’t understand how so many smart people don’t understand this and continue to consume animal products regularly.
While Haskell's Array type indeed immutable, there is an incremental update function

(//) :: (Ix a) => Array a b -> [(a,b)] -> Array a b

that gives you a new updated array. As long as you no longer refer to the old instance, this is as efficient as a mutable array.

But Haskell also offers the mutable STArray and STUArray, for boxed and unboxed types [1]. These preserve their purity by being monadic.

[1] https://hackage.haskell.org/package/array-0.5.6.0/docs/Data-...
Caravan of the Damned by Chuck Dixon. Conan the Barbarian as envisioned by the writer who created Bane.
I'm eyeing with Rider, just have no capacity at the moment to evaluate it thoroughly.
They also have shorter lifespans, so they are not a 10+ year decision and commitment compared to a dog, but that's also a negative :(
For those kinds of cases, I love having as-simple-as-possible reference code checked in alongside it, even if it's just #ifdef'd out for common builds. Having a baseline makes it sooo much easier to understand and debug the optimized code.
> Using an editor that shows type inlays (e.g. VSCode) helps a lot but not fully because a lot of types are inferred as generics.

That is because they are generic most of the time.

This is also fun when using `#trace`in the REPL and all you see is `<poly>` instead of the "real" value
Someone is presumably harvesting email addresses from the SMTP traffic to my VPS
I have personally operated a mail server for several years now, hosted on a VPS by Vultr.com with my domain attached. I recently started transitioning from my Gmail address to a personal one on different web services, using the service_name@mydomain.tld template to know, which one leaked my email address, if that ever happens.

Just a week after this change, I received a Logwatch report with incorrect authentication attempts for these new email addresses:

dovecot: auth: passwd-file(service_name2@mydomain.tld): unknown user : 17 Time(s)
dovecot: auth: passwd-file(service_name4@mydomain.tld): unknown user : 68 Time(s)
dovecot: auth: passwd-file(service_name1@mydomain.tld): unknown user : 16 Time(s)
dovecot: auth: passwd-file(service_name5@mydomain.tld): unknown user : 68 Time(s)
dovecot: auth: passwd-file(service_name3@mydomain.tld): unknown user : 17 Time(s)

1. The VPS is 100% not compromised (besides, why would anyone brute-force a password to something they already have access to?).

2. All software on the VPS is FOSS and is almost always kept up-to-date; the logs are not shared anywhere (e.g., they're not uploaded to a third-party SaaS for analysis).

3. The listed web services do not provide any public profiles that contain these email addresses.

4. All listed services sent confirmation emails upon the change of email address.

5. Services that did not send confirmation messages are not mentioned in the logs with the authentication attempts.

6. I found no evidence that those services have the same ISP, hosting/cloud provider, or even backbone provider (this was analyzed by tracking SMTP client source IP addresses and network traces to them).

7. All this suggests that the email addresses were harvested from the SMTP traffic to my VPS, either at Vultr's infra level or through one of their network providers in the Amsterdam location.

P.S.: My mail server is configured with STARTTLS support, but for some reason, the SMTP clients of those web services chose to use plain SMTP for the confirmation messages.
>It's an open question whether they take jobs from the locals. If they can't work in the US, then the same person can just work outside the US.

Such an underrated point. The workers aren't independent farmowners. They're low-paid employees of massive corporate farms that own that land. We utilize an incredibly small fraction of our land capable of growing crops and we use excess as a diplomatic tool for US hegemony. I just don't understand this distaste for immigrants. Let them in and we're all better off. They even pay into SS and never pull out a dime and all they get is pseudopatriots at the wall cosplaying and directing hate towards them, despite allowing them in being a net benefit to all of us.
it's not discoverable in the slightest, but if you hit fn-control-f2, you can access the menus via cursor keys instead of having to use the mouse
Appreciate the focus is on the US but for contrast in the UK, 'theft by finding' is a specific offence - whilst you can generally keep unclaimed lost property you should make some effort to find the owner before doing so. People have been prosecuted for keeping money they have found on the floor [1]. That said, these days the police don't have the resources to track lost property so it's unlikely most items would ever be reclaimed and after a certain period it does become yours.

[1] https://www.bbc.co.uk/news/uk-england-stoke-staffordshire-39...
I’m really happy that you found a way out of the trafficking life.
That was a really nice thing to read and I think a lot of people will resonate with it. (Computer nerds that had tough times in life). I’m wishing you all the best in your fight against addiction and I’m definitely adding Unlocked Labs to my list of donations. Thanks for sharing your story.
No, "\r" means return the cursor to the start of the line without clearing the line.

Try this:

$ echo -ne "ooo\rf\n"
foo

If a "\r" cleared the line, you would just see a "f", not a "foo".
Fully agree, the quality of private healthcare in the third-world for common conditions and ailments could be even higher than the first. If they are not being stingy with treatment because everything costs a lot and they're understaffed, then they are thinking what to overtreat because it'll bring in the money. Health of course, is just a secondary concern

PS: Btw Rulopotamus-related? (he was a minor celebrity, loved professor in a certain college in some place of this galaxy)
Watchmen the movie isn't bad either.
This seems like they anticipate first customers to be deeply dissatified with the product and resale price tanking right after the relese making it hard for them to sell new stock.
i3wm might be what you're looking for.
You don’t need AI for that.

https://apps.apple.com/app/hewell-personal-tour-guide/id1535...
My experience is much the same, far from "I've essentially got 15-20 high-priced world-class consultants in every field that I chose to pull from, working at my beck and call..." that OP mentions.

I suspect it is because I tend to have off piste questions which are not recipes or high-level ideas. It is where it'd be most useful to me, but it is at the same time where least training data is going to be.

It is also where actual legitimate experts are most useful: the special sauce, not the meat and potatoes.
There's a bunch of things like i3wm. But I have to give a big warning. These are very addictive and you'll go down rabbit holes making your system beautiful and easy to use (for you and absolutely no one else) that you may lose lots of productivity (well... work productivity?). So caution, do not visit /r/unixporn and do not search tools like picom and rofi. Sure, the life looks glamorous but it is an addiction worse than MTG or Warhammer, albeit cheaper. Fuck it, who am I kidding, go for it.
What!? I never realized there are bluey books
This is from That Mitchell and Webb Sound, a radio show they did. The BBC don’t tend to region-lock audio, so you should be able to listen at https://www.bbc.co.uk/programmes/b007lqrh (or using the BBC Sounds app).
> It's also fair to say 14:45 when it's actually 14:41

Also fair to simply omit the hour entirely when it is largely known and merely utter "45"

> An answer to the above

s/above/below (I failed to consistently update after a paragraph move for clarity)
Sales contracts can have terms that are in force after the transfer of the asset. A more classic example is when the car seller also extends you credit. They are allowed to repossess the car if you stop making payments, even though you are the owner.
Some dumb questions:

- What are the differences and use cases of NetBSD, FreeBSD, and OpenBSD?

- Are they viable as a backend OS?
Unlike other car manufacturers who go through dealerships, Tesla has an up-to-date view on orders and deliveries (from/to actual customers) versus production. They check this weekly and adjust accordingly[1]. I don't see why they would let unsold cars pile up.

[1] I don't have an exact reference, but this was explained in one of the earning calls after they started cutting prices at the start of this year.
I'm an American living in Switzerland for over 10 years, and this was definitely my impression as well. But that isn't really the case anymore here - you can no longer have anonymous (i.e. only numbered) accounts, and Switzerland is no longer a preferred locations for dirty money.

The ironic thing is that one of those new hot spots, in addition to the usual suspects like Cyprus, the Caribbean, etc., is the USA. See https://www.washingtonpost.com/business/interactive/2021/wyo... for some juicy details.
Not knowing the answer to these questions makes me wonder at who I am sometimes. How would I react to being thrown from a plane, a gun to my head, starving on the street. I thank God I haven't had to experience those things, but I still wonder at what kind of man I am.
Been reading a lot of Romance books lately. They are like a cozy blanket. For a to be considered Romance, are required to have a "happily ever after" eg no sudden character death. It ensures the author isn't going to mess your day up.

Also, a lot of them have sex, which is nice.
There's such thing as unlawful clause. I'm hoping that in the future courts will strike more clauses as unlawful with penalty to the company that made them. So the companies think long and hard about including them in their purchase terms.
If you're getting into comics, I can strongly recommend Transmetropolitan, The Invisibles, Saga, and the original Sandman books (there are a tonne of new ones now, and none have really clicked).

I'm also part way through Supergods by Grant Morrison. It's not a comic, but an autobiography-cum-history of the superhero genre. Worthwhile.
>Most of us wouldn’t pass this exam because even if we took Latin we probably didn’t take Greek.

Even if we do know Latin, it's because we were raised Catholic and probably wouldn't be allowed to take the exam any more than a Jewish person. It's 1899 we're talking about. These pathetic superstitions were no doubt prevalent.
Lawn darts used to be sharp and had fins. A horseshoe is blunt
Downfall fallout lawsuit: Intel knew AVX chips were insecure and did nothing
lol, I just figured out I'm being trolled. It was subtle at first, but you went a little over the top with the comic book guy style 'well akshully' stuff at the end that let me suss it out, but you really did have me going for a while. Kudos.
My theory is that these designers use very large displays with very high resolutions and put them meters away from their eyes.

Although, I'm not sure how they can read text on UI elements at the same time.
True! In a way my desire for aesthetics somehow wants to like such ligatures - probably a bit too much - but they always fail for me because of the corner cases and leaky details and the pragmatic me yells at my aesthetic one for being so hung up on useless shiny things ;)
The long good-bye by Ramond Chandler. I enjoy every sentence. He was a master at his craft and capture me with the language and the story telling.
> Right but in practice most OCaml code does not have explicit types.

Most OCaml code use .mli which does have types. This is the recommended practice but I noticed a lot of beginners coming from other languages are reluctant to use them (because of duplication). It's a simple idea but I think it's a strong point of OCaml and it makes easier to program "in the large" than Haskell for instance.
Search is how you find things you know are there.

Discoverability is the measure of how well an application presents features to you that you didn't necessarily know were there.

A menu may be a list of features, when you open the menu you discover those features.

A search box is a box. It shows no features. Search results might show features but those features might also not relate at all to the task you're doing, which means they're out of context. That's extremely poor discoverability. You can find all the features, you can't discover them.
Prompt for ChatGPT4: give me a quick breakdown regarding how i can become a "space bear trainer" who specialises in preparing bears for space missions.

Answer:

To become a "space bear trainer," a role that combines aspects of zoology, space mission planning, and training for extreme environments, you would need to follow a multi-disciplinary approach …
Spent $12b in stock buybacks, now worth $7b, and loaded with debt.

When will companies learn that stock buybacks are a terrible way to spend their money, and in AA case, their debt...

Their debt would be at 50% of its current without that buyback, and its entirely possible the stock price would be unchanged.

Buybacks basically never have the stated outcome of boosting the share price, they just use up all the money, so now your company can't spend it in making itself better.
"The complaint alleges that Intel has told customers since the release of its 9th generation CPUs in October 2018 that it implemented a hardware fix for the Spectre and Meltdown flaws and had mitigated those vulnerabilities on older processors. But the corporation, allegedly, knew its AVX instructions allowed a similar sort of attack."
I have multiple books in my reading stack, picking up depending on the mood:
- Fentanyl, Inc by Ben Westhoff
- Arabs in Medieval Sindh by Rafi Samad
- Rework by Jason Fried (re-reading it)
Indeed; at 9.2 trillion m^2, the Sahara desert sits right in that range at 1.8% of Earth's 510 trillion m^2.
> Maybe just the modern Nintendo strategy of having no third party software is enough

Have you looked at the Nintendo store?
Holy crap! How long has this been available? Every time I read up on it, finding it was like the thing of legends.
> I'm honestly surprised there seems quite a few professional coders in this thread who don't do the first Stackoverflow first scenario

You just found your path to become a better developer than the majority then
There are two books which I keep coming back to learn from:

* Structure and Interpretation of Computer Programs: SICP changed the way I view programming. It's an excellent intro to the mindset of solving problems with code and how to iteratively build up a software design. You need to be comfortable with Scheme, though, in order to get the most out of the book.

* The Mythical Man-Month: Not strictly about programming but more on how to succeed with software projects. Hence, The Mythical Man-Month is more about people than code, which is why it has aged so well: people is a fairly stable construct.
Binge watching series on apple+, Amazon, Netflix and the others.

If you ask me, it's an expensive Hobby.
Just finished “Heavy weather sailing” by Martin Thomas and Peter Bruce. Grim but good stuff. Now following up with Fatty Goodlander’s “Creative anchoring”.

On the fiction side, read Arkady Martine’s “A memory called empire” recently, and about to start with the sequel.
Another useful feature killed off.
It is not enough. As long as you also have other actors such as Federal side stopping you making start-ups. Like Uber of hard drugs. Imagine if everything from ethanol, to weed to all the way to fentanyl was delivered at moments notice to your door by network of independent sellers.

Unless you get to that point you have not decriminalized them enough... And it will clearly fail as it stays underground.
OpenTrashmail – Selfhostable OSS Trashmail and Email to RSS/JSON
So shouldn't you try gpt4 before complaining?