skysight-inc/HackerNews huggingface dataset:
This article is from 2017. In the meantime, the Haskell community has been playing around a lot with Effect Systems, which give you similar benefits with much better performance and generally less boilerplate. In particular, the effectful package (https://hackage.haskell.org/package/effectful) would let you write the code in the article as:

reserve :: (SearchTrains :> es, GetTypology :> es, Log :> es, RequestReservation :> es) => ReservationRequest -> Eff es ReservationResult
reserve request = do
trains <- send (SearchTrain (_dateTime request)) -- Search for trains at date-time
forM trains $ \train -> -- Loop on all the trains
typology <- send (GetTypology train) -- Get the typology of a train
... -- Implement the reservation rules
send (Log "Confirming reservation")
confirmed <- send (RequestReservation reservation)
...

(In actual usage you won't tend to use the send function - you'll write wrappers that do it for you).

This lets you avoid having to write an interpreter for some particular ReservationExpr monad - instead, you specify individual effect handlers, then use them as you want. For example, we could write something like this:

-- Make search train never return any trains
runWithoutTrains :: Eff (SearchTrains ': es) a -> Eff es a
runWithoutTrains = interpret $ \_unusedHere (SearchTrain name) -> pure []

ignoreLogs :: Eff (Log ': es) a -> Eff es a
ignoreLogs = interpret $ \_unusedHere (Log _message) -> pure ()

What's even more fun is that you can actually interpose effects. So, I can write this:

loggingTrainSearches :: (Log :> es, SearchTrain :> es) => Eff es a -> Eff es a
loggingTrainSearches = interpose $ \_unusedHere (SearchTrain name) -> do
send (Log ("Searching for train " <> show name))
send (SearchTrain name)

Being able to play around with handlers like this is really useful, both for testing and for adding on niceties to business logic.
Of course, this is nonsense and people use containers because they deliver real value, not because of Google marketing or name recognition (most don’t even know containers come from Google, but would likely attribute them to Docker). I’m not a container purist—eventually micro VMs and unikernels will eat a lot of their market share (that’s my prediction, anyway), but until we get there containers are invaluable and criticism like yours is devoid of substance.
I continue to see people stumble at mastodon resource requirements when setting up their instance, but I fail to understand why everyone is going for a mastodon instance for their personal use.

I am running https://github.com/superseriousbusiness/gotosocial on a micro instance, probably using 100M ram, with a 30M sqlite database.

True, I don't have all features. It is pure backend, but I can use https://pinafore.social/ as web client and https://f-droid.org/en/packages/su.xash.husky/ as Android app. It implements a good chunk of the Mastodon API. I also use it from Emacs with mastodon.el.

Took me 35 minutes to setup. It runs as a single binary from systemd. Most of the jail features enabled. Not even a system user (DynamicUser).

Mastodon != Fediverse.
If you're curious, ProtonDB is the place to check if the game you're interested in is supported (and how well).

You can also just browse and see what is supported. Here is the list sorted by the highest user ratings: https://www.protondb.com/explore?sort=userScore
That wasn't what I said.
Not the same.
Would have done, but Twitter didn't let me do it because I don't work for Twitter.

My modern art ambitions are blocked by myself and not external parties.
It was out of question in the mind of those officials, at that time. NATO was expanded under later administrations.
There was a time when last.fm recommendations were uncannily good. I haven't used the service for a very long time so I can't say much about what they're like now or how they compare with stuff like music.youtube, Spotify or Pandora, but I recall when they were the darling "it" thing as far as music goes.

"Audio-Scrobbling"! It was hot off the end of the web 2.0 craze along with flickr and delicious. Good times. We weren't expecting the evil parts yet. I dropped off probably around 2012 or earlier.

As much as I enjoy good recs and an endless, mildly interesting playlist, the surveillance capitalism in the sauce is a real turn off.
What if we just talked about moderation in all things and kept to ourselves?
Ummm... Isn't this like really frigging cool? Surprised there are no comments beside mine on this submission.

Can't wait to try and find a usecase for it :)
I don't think anyone believes themself to be irrational, even crazy people.
Okay, but what does it actually do?
I just recently bought a Ugreen Bluetooth 5.3 Adapter in the hope of a more stable bluetooth connection for gaming with my xbox elite controller. I also hoped that my Airpods may have an acceptable latency under windows. I was disappointed, as with any Bluetooth dongle before it. This time I am experiencing multi 100ms jitter every other second. Has anyone had luck using Bluetooth? My only positive experience was on iOS with Airpods and with recent Macbooks.
CharaChorder aims to radically boost typing speed on existing keyboards
Generative AI Builds Bridges Between Creative Mediums
So now two people try to fix Twitter after they failed to deliver FSD.
I'm wasting my life working on world changing problems when I could be spending it playing WoW.
Yep, but extensions still have to adopt the more restrictive permissions.
Also worth nothing that about 4/5 of the content moderation team were laid off, so anything that involves a human in the loop will be compromised (more ML processes than you might think have a manual review phase).
Do you mind clarifying what you're referring to?
I am not trying to argue, rather being curious.

I've tried to look up what "pure functional" means exactly, and failed to find anything better than Wikipedia[0]:

In computer programming, a pure function is a function that has the following properties:
1. the function return values are identical for identical arguments (no variation with local static variables, non-local variables, mutable reference arguments or input streams), and
2. the function has no side effects (no mutation of local static variables, non-local variables, mutable reference arguments or input/output streams).

I don't see how that excludes exceptions. I agree that exceptions kind of "feel" imperative rather than functional, but could you maybe help me find an accepted definition which excludes exceptions?

[0] https://en.wikipedia.org/wiki/Pure_function
The question is not now much time you spend at a screen, but who is on
the other side of it.

Much of the conversation so far concerns time, and the virtues or
vices of how we spend it. Not all pastimes are equal. Knitting a
jumper, taking a hike, or skateboarding are actions one performs on or
in the world. Reading a book is more of an action that the world (the
author especially) performs upon you. It is a different frame. Movies
and video gaming are somewhere in the middle. Some media forms, such
as daytime trash-TV and TiKTok are at the extreme of the
passive/receptive frame. It is a pipeline of affect directly to your
hypothalamus. Any discussion of harms or benefits must be understood
in that light.
I don't know the answer to the questions you asked, but it's worth pointing out that "overpaid" can just as likely mean "I could have gotten it for cheaper" as it could "I paid more than it is worth."
The main idea I saw in that article is effectively an observation that if the older generation and younger generation disagree about what is proper and not, then the older generation currently gets to say that the younger generation is doing everything wrong and should be nudged towards proper (as elders understand it) ways, and the younger generation currently doesn't get to do the exact same thing in reverse.
I don't really see how this would make sense or even be possible purely from the frontend, I think you'd need to modify the typeahead service unless I am misunderstanding the requirements.
I'm not sure Blow cares that much about widespread adoption; he seems more concerned with quality. Personally I'd love an open beta, but I can understand why he might want to reserve the right to make drastic changes to the language before he releases it.
Huh TIL. Never played WoW and everything I've heard about it has involved guilds and raiding with people. I didn't even know it was possible to play solo.
Growing up in suburban Houston our options truly were limited to make WoW not a bad option to engage with all sorts of people. ALL other social activities require a car, so until my mom or dad will was available to drive me my only recourse was the internet.

Now I live in Taiwan and I envy the young people who i see out and about all over thanks to the bus and train system, participating in all sorts of random activities.
An unfortunate title, completely devoid of any hint about the Very Interesting content in this post:

This is an insider story chronicling the evolution of Twitter 1.0's approach to build infrastructure and developer efficiency strategies at scale on teams of hundreds to thousands of SWEs.
This design is really pleasing to my eye.
Happy to see a fix for final fantasy XIV launcher. That thing had been an infuriating ordeal.

Kudos to the proton team for supporting such an archaic technology.
Wasting time is relative. Everyone always has some excuse for it, for why they think it’s okay to burn their brain on TV WoW TikTok whatever.

Just do your thing and live your best life. Unsubscribe from what other people think.
This topic strongly resonates with me. I remember Dan Luu’s controversial take on how being better than 95% of people isn’t that hard: https://danluu.com/p95-skill/

I find it fascinating that some people are able to achieve so much in the same time I have on this planet. I believe it’s those super-talented and hard working individuals that actually push our species forward. Newton, von Neumann, von Braun, etc etc.

How can one not feel sad when they think about similar people.
This doesn’t make any sense. Forgive me for being crude but for the vast majority of over 65’s… it just doesn’t matter what they do with their time. They’re waiting around to die.

Children will grow up to build the future so what they do or don’t do matters a lot.
Probably not, because video game addicts will not admit they have an issue, much less one that wastes valuable time.
Basically anything recent but not the latest components will work well. If you want hassle-free then going with amd everything is the most efficient IMO.

I'm running a ryzen 3600 and a radeon rx5700xt, and i've not had any driver issues, be it with x11 or wayland. I've been playing a bunch of games from my library but there are still some games that aren't compatible (for ex. Vermintide 2 has non-compatible anticheat) so i keep a spartan windows instal on a 128gb ssd for those and VR. VR is a non-starter on linux.

That being said, nvidia has RT cores now, which can do very fast matrix multiplication which is advantageous for ML workloads (on top of a lot of ml work being optimized for cuda cores). Can't speak to their drivers but older cards should be safer, especially considering the 40 series hasn't been shown to be worth it over used 30 series.
Intermittent Fasting Increases Risk of Cardiovascular Disease Mortality
Meal Skipping and Shorter Meal Intervals Are Associated with Increased Risk of All-Cause and Cardiovascular Disease Mortality among US Adults
If I'm reading OP right, their issue with Rust is the borrow checker - none of those features require one. They're asking for a language that's safer than C, not as safe as Rust, but simpler and easier to ram things through. I don't necessarily agree, but I think that's what they're saying.
I've yet to have a game not work because I was using the wrong distro.
Yeah, after yet another "fetch 5 random organs" quest I gave up in disgust around level 20 (twice).
Northern communities in Canada are a perfect application of this tech. Currently, they mostly burn diesel for power.
As an automotive company I would also divert my ad spending from plattforms that are controlled by the ceo of one of my competitors...
Will desktop excel actually run smoothly on this? It's been ages since I've tried, but I didn't have much luck in the past.

I'd really love to ditch my windows machine, but my employer makes use of excel plugins that only run on the desktop version.
> "At some point functional programming became equivalent in people's minds to complex type systems (e.g., monads), and that caused the value of Lisp to be lost to history. It's a shame."

This is nonsense. Types help us name, categorise, discuss and share abstractions. These abstractions are useful in any language, typed or otherwise. Lisp lives on in its descendents ML and Haskell.
If someone doesn't want to learn anything new, then they are themselves "lost to history".
still a mystery to me why anyone wastes their life 140 characters at a time

....I mean. I'm wasting my life on HN. but at least I learn something from it occasionally.

(job interview: someone make a filter for HN to remove all the stupid blog posts that are just opinionated rants and startup ads? I'll hire you if you do. but actually I won't hire you. but do it for me anyway)
> "A mentally healthy person, when shown a display of excellence, is impressed, energized, and motivated."

I would add "inspired" to your list … I frequently visit digital art sites well known for the excellence of the work of their many artists, and scroll through the "showcase" areas especially, seeking out that specific thing. That which impresses me also often inspires me. Helps get the "creative juices" flowing before working with any of my favorite art creation tools (Blender 3D, Inkscape, Krita, Godot game engine, etc…).
We have come full circle: x86 killed the mainframe; x86 has become the mainframe.
They are both of the "This is all so much simpler than all the other dumb people are making it" variety of person, about to learn yet another lesson
GPU shipments saw biggest nosedive since noughties recession
Ada and Rust aren’t really comparable, and more importantly Ada and C++ aren’t really comparable. The key feature of Rust isn’t that it’s safe — many programming languages are, after all. The key feature of Rust is that it manages to have an explicit safe subset while maintaining C++’s goals of sophisticated zero-cost abstraction.
Others have already covered Proton being actually usable without tweaking compared to Wine. But I want to dispute your other point.

Obfuscating usually means to make harder. Steam generally makes it easier to download and play games with features like automatic updates, remote play and cloud save sync, not harder.
This already happened. FTX was paying out lots of money to YouTube finance influencers for promotion. There is some public push back on some of the bigger influencers right now for their role in encouraging people to sign up with FTX, Graham Stephan, Meet Kevin, Andrei Jikh, Jeremy Financial Education are among 4 of the biggest names in this space.

Nobody knows what FTX compensation was, but there are rumors suggesting Graham Stephan was making 5 figures per month from FTX alone.

But, as the article states, legal liability will only apply to things deemed a security. FTX was a company, not a security.
My own experience with Proton has been a bit more spotty, maybe because I tried it with some really old games that are not that well tested? Bioshock 1 crashed several times, then I got it to work with some hints from ProtonDB, Bioshock 2 worked "out of the box", Batman: Arkham City (which I bought years ago and never actually got around to playing) didn't work, and I wasn't motivated enough to fiddle with the settings long enough to get it to run. One way to improve Proton would be to provide a possibility to automatically import settings from ProtonDB (it's called "DB", but actually it's more of a forum). But if you look at ProtonDB, every user seems to have different problems and different solutions for these problems, so it's hard to see if some kind of consensus has emerged on how to best get a game to run.
Why is it that every time I read an article about modern British politics and culture, I walk away almost feeling happier about the state of the US?

It's almost like God, while planning the course of current events, looked at the inhabitants of the US recovering from 4 years of Trumpian misrule and decided to console them by having the original English-speaking developed country end up even worse off than they were.

(I'm kidding, of course. God doesn't actually exist, and I know there's a lot of places way worse off than the US or the UK. I'm also not actually this American-centric in my views. My point is that the UK somehow seems worse off these days than the US is, and that's a sentence I never thought I'd ever be saying 10 years ago.)
https://www.npmjs.com/package/as-fetch

this has 7 weekly downloads... I would expect more?
Do you use bookmarks right now, and have you tried manual tagging?

I believe Pocket premium has AI-suggested article tags. Maybe something similar makes sense for Unclutter, but I'm not sure of the demand for it.
Nice to see last.fm on the front page, it brings back fun memories when we were mocking each other about leaving the player playing all night just to get the stats up.

Shameless plug: I'm a firm believer that human recommendations are superior, which is one of the reasons I'm creating https://digs.fm, something like Goodreads but for music[1].

[1] https://news.ycombinator.com/item?id=32551862
I am talking about native Linux ports and people who complain about the lack of native ports instead of, at best, Proton ports.
Eight movies to watch after finishing 'Andor'
Yeah, that's the downside to learning about end-users.

But it's better to know than to be ignorant, usually.
Back in 2014 there were a lot of studies on wisdom of the crowds. You’d have to explain why they beat experts at many fields yet in others they would be worse. Most of the failures (FTX, MtGox, Softbank, invasions of Iraq and Ukraine, wars in general) are the result of centralization, not the regular people (who don’t want to kill others en masse). Centralizing power and decision making in a few hands leads to a lot of consequences:

https://www.npr.org/sections/parallels/2014/04/02/297839429/...
Unknown if this qualifies as "beginner guide" but the in-tree document is titled "STARTER GUIDE ON WRITING MAJOR MODE WITH TREE-SITTER": https://git.savannah.gnu.org/cgit/emacs.git/tree/admin/notes...
True, but AI significantly increases the throughput and ease at which it can be done.
Because burning coal kills people?
Julia is pretty nice for less common things like neural ODEs or neuro-symbolic models.
1 - if you think you're extraordinary or want to be extraordinary you're almost certainly ordinary (and there is nothing wrong with that).

2 - the saddest thing about this very sad piece is the idea that "extraordinariness" is about accomplishments and success.

3 - I think it is fair to say that many actually "extraordinary" people would say that it is at best a mixed bag and not automatically something to feel jealous about. We live in a society where being "not ordinary" aka abnormal is not accommodated and often not accepted or tolerated - and where being right in the center of the bell curve of human experiences and realities means that the world is optimized for you.
It's funny how HN was really big into self-quantification during the early 2010s, I remember how there were several popular posts of people who built dashboards to log their own personal metrics. Actually I think that's still a trend that persists.
This was kinda me, I literally have never done a single raid in WoW despite absurd hours of /played. Still doesn't fit definition of parasocial but since we've diverted: that was the cool thing about WoW, you really could make it your own game back in the day (200...7? To about 2010ish). My buddies and I, irl and online-only, would spend our time chit chatting either in game or using VoIP software while flying around on the game's transit system, levelling alts. Or I would be sitting in a city getting into political debates on /2 (channel available across all cities for your faction when you're in a city).

So it was still a very social game even if you weren't raiding. And the problem solving was very strong back then for the pvp scene, the concept of "meta" was still in it's infancy, I remember when one guy utterly changed the entire game of pvp with his pvp warrior videos, or another dude started publishing naked rogue gank videos. Anyway point is the social aspect was like any human society: incredibly diverse in form.
If I explained to you that Musk’s decision to buy Tesla was founded on his principle of “make the requirements less dumb” , would it be pedantry to inquire what I meant?
Really? I have nothing but problems trying to play native Linux games. 99% don't even launch.

Proton is a much better experience.
> You should actually thank the critic for bringing the issue to your attention, because in doing so, he helped you.

Heckling is not "helping." Nobody wants to be humiliated by public criticism they weren't prepared for, which may or may not itself be valid-- but a poor response from the presenter makes one look incompetent in front of their peers nonetheless.

Callouts are sadistic and unprofessional. That anyone should thank someone for punching them in the face as criticism for not seeing it coming is ludicrous. It's bully logic.
As usual, changes to behavior that have benefits also have downsides. See also: wine, exercise.
One of the few subscription services I would happily pay more for, for the recommendations alone.
Every well known credit card / credit data breach has been of a PCI-DSS compliant party.

To any SAs reading this: you're not secure because you're compliant.
For me the login prompt has been replaced with a notification enablement nag screen.

At least this one can be dismissed / closed [X].
Excel and Word in Office 2016 work pretty well in Crossover. (I don't know about the newer versions.)
I don’t understand where this sentiment comes from. Don’t vote?? It’s not like being tired is being dead. The status of the world/country/society still impacts older people too.
And I'm sure Michael Phelps couldn't deliver mail as well as those postmen. Leaving aside the obvious physical differences between working as a cop and olympics training, what point are you making exactly?
I’m honestly wondering the same thing. I’m convinced I’m misunderstanding the requirements given the constraints.
It's hard not to interpret this as a kind of "youth is wasted on the young" sentiment - that children shouldn't be allowed to do things they enjoy if those things are seen as wasteful, but that retirees should. I'd submit that society might be better off if we only required people to work to a degree reasonable for their mental and physical health, and didn't frame our entire lives around "getting somewhere" so we could finally be left alone. That might mean profits stop growing quite as quickly, but I think that's a fair trade for people actually being happier.
I didn't play very long (under a year) but I had a ton of fun mostly thanks to my guildmates. I didn't mind some grinding, and WoW has plenty, but most of what kept me coming back was to meet up with other players I had gotten to know and had a lot of fun playing and chatting with.
You can have it automatically generate an image over WiFi to a computer with an external drive. I mean, it requires iTunes, but it's trivial.

But compare that to an Android phone, where I have no idea how to get access to anything more than pictures without ADB.