skysight-inc/HackerNews huggingface dataset:
I find CT highly fascinating, worked through parts of 7 Sketches in Composability and have a functional programming background. I see the appeal, but I came to the conclusion that my time is better spent observing, learning about and designing with abstractions like monads, applicatives and so on rather than to learn the theory behind it.

There seems to be a tiny handful of people that can use category theory as a resource to craft something relevant to software (the stereotypical example in my mind being Edward Kmett of Haskell Fame), but I am certainly not one of them, and that is not something that would change with learning more Category Theory (whatever that might mean: Proving some theorems, discovering more categories, ...)

To the author: I am looking forward to a retrospective at a later time. I wish you a good journey, happy diagram-chasing!
After recognizing that risk, Estonia famously signed an international treaty with Luxemburg "in the spirit of the Vienna Convention" to host an offsite backup (and plans to extend such initiatives).

https://www.riigiteataja.ee/aktilisa/2280/3201/8002/Lux_Info...
Sounds like a lot of space wasted?
> Do lawyers or doctors typically earn less than $125,000 or $250,000/household?

One of my friend groups has a lot of young doctors and recent med school grads. They are all looking for the best ways to take advantage of this, including things like accelerating marriage timelines to be a "household" instead of individual so they can qualify under the limit. Starting salaries for family practice physicians, for example, can fit under that $250K limit.

I'm not opposed to loan forgiveness for certain people, but the $250K household limit without a gradual phaseout is a baffling move.
The article you link to discusses "lunatic" being offensive when used in law in its original sense to refer to real people with real mental health problems. Whether that is offensive (and I think it probably is) is a completely different question from whether its modern, colloquial use is offensive.

The word dramatically declined in popularity through the 19th century but started climbing again after ~1995[0]. The recent increase in usage is driven entirely by a much milder, colloquial meaning of "wildly foolish"[1].

I think being offended because our great-grandparents used the word literally is a bit silly.

[0] https://books.google.com/ngrams/graph?content=lunatic&year_s...

[1] Meriam Webster identifies the older meaning as "dated": https://www.merriam-webster.com/dictionary/lunatic
As a 20-year full-stack veteran (and once-upon-a-time English major), I second this. Even the best writers in literature had editors.

To gamify documentation and review, add a static analyzer that measures documentation coverage to CI. Not sure what your stack is, but for Ruby one I've had success with was Inch: https://github.com/rrrene/inch.

Once documentation is incorporated into the workflow with metrics, it can be addressed along with any other technical debt, enabling the team to improve their writing over time.
Or perhaps just drop minutes/seconds. And maybe don't store the date altogether for files that are small enough?
One in four older teens now has a probable mental health disorder
Me. The movement and ideas are good even if the most famous person connected to it is bad.

You don't hear about the vast majority of EAs who just quietly try and improve girl's education in Indian or distribute malaria nets (to mention two I know personally).
It was indeed, but in absence of 20-year licenses or the like, I'll happily take the reduced friction of easier online renewals.
They do, you need to submit at-most 6 month old photo while renewing. Or go to the office to take one. Either way, you also still need to go get the document from the office as it is only handed over by person (but you can pre-book a time slot!). Passport is a bit more complicated, since it requires fingerprints as well.
Birthright. Parents, grandparents, etc. fought for their wealth, freedoms, rights, etc.
I think the point is that the education system has to embrace this strategy rather than fight it with zero tolerance policies.
> Apple blocked AirDrop in China

Just to be clear, it's still possible to use AirDrop in China — the change was that you can't set your device to receive from 'Everyone' indefinitely. It's now limited to 10 minutes. I don't support this change, but we shouldn't conflate it with blocking AirDrop entirely, which would be much worse.
I'm just tired of bullies claiming to be victims. It's such bullshit.
The whole android experience is a minefield though. It's like having a needy psychopath in your pocket that after 18 months disowns you.

I'd rather they resurrected windows phone.
Neither does Last-Modified, as we just saw. If we were going to alter the meaning of a header for this, it should be ETag. Just agree on ETag formats that browsers can verify are just hashes, and have them throw away any opaque ETags or dates.
Yahoo Pipes would be have been proud.
You're the one that suggested it, but I'll bite: you might want to embed say ruby in BEAM if you wanted to take advantage of hashicorp terraform. Perhaps you want to support middleware or a query system in another language but have the bulk of your architecture be BEAM. You might want to deduplicate internal libraries shared between teams. You might want to use a 3rd party library written in one of these langs. You might want to transition between lang X and a beam lang and what you need is to leakily expose BEAM modules using shim code as an intermediate. You might just be crazy and want to do weird shit for fun.
What even is a “private speech”? Are you worried Alexa is listening to you as you rant to yourself?
Related tangent: get your team into the habit of writing things down more often. I split my time between VSCode and Obsidian, and capture devnotes as fodder for "real" documentation as a natural side effect of using a great tool for the job of thinking and designing and trying things and solving problems. Good devnotes are a superpower, and I'm convinced teams that realize this and adopt this approach will gain huge returns.
The title is a litte misleading since

> The Estonian government estimates that going digital has saved the state and its citizens, 820 years in time and resources

It didn’t save it it just estimates it and we’re not sure how they arrived at this number.
It feels like this is optimizing for safety rather than realism. The davinci models today would have a much better shot at passing the Turing test.
My company gives us credits to order lunch, as it's cheaper and easier than scheduling catering every day.

But yes, other than that I rarely use these services. Before my company offered this perk, for lunch we went to a nearby canteen, where we'd often pay less than half what we (well my company) pays now.
TLDR is JPEG XL is a new standard (not related to JPEG 2000) that among other things allows lossless re-compression of JPEG images with roughly 30% space savings, as well as a bunch of other useful features (better progressive decompression, bigger blocks, reduced banding, higher bit-depth, etc.
I will also defend a coal plant operator who is protesting against animal cruelty in the meat industry while I'd object to and protest their pollution separately.

China having mask requirements, what kind of mental stretch is it that I must therefore also support everything their government does? Or am I misunderstanding your comment?
I agree with almost all of what you're saying, but I still stand by the point that _simply_ advising someone to "ban those words" is not helpful, especially when that guidance is delivered without the (correct and insightful!) description you gave of _why_ that jargon might be a "writing smell". A good writer can write meaningful, clear, useful communication which still uses buzzwords (they'd probably choose not to, but they _could_); a bad writer who is _only_ advised to avoid them will reproduce the same empty sentences with different words. Telling someone not to do something without telling them _why_ is the kind of thing you do to a child you're trying to keep safe, not something you do to an adult you're trying to train and...upskill ;)
I’d recommend The first two sections of On Writing Well by William Zinsser - it’s short and following the guidelines will get you to clear understandable writing. If you forgot what is said, you can just read these short parts of the book again. The later sections can be referenced as needed.

Writing is hard. You need to edit again and again to get clarity. Programmers are used to this in code, but text is no different.
Honestly, curious ... if I understand this correctly, you are deploying multiple versions of your application? So if you have 100 clients, you have 100 deployed versions of your application?

Do you have infrastructure in place to deploy all at once? All I can think about is a time back in the dark ages where I had 50 different instances of an application deployed and some clients didn't want to upgrade. Some didn't care. And some did. It was an absolute nightmare trying to keep all of the individual systems in sync?

I get the feeling that's not what you're describing here though? It sounds like a really convenient setup you guys have, but I just can't envision it very clearly.

Anyhow, thank you for sharing a bit of your infrastructure.
I just googled that reference. Weugh.
We would be well served to be a little more discriminatory against cyclists.
IIUC, aside from non-deterministic timing of simultaneous updates, the things that are different about redstone in bedrock are mostly things that _could_ be considered bugs. eg. block spitting (extending a sticky piston for only one tick leaves a pushed block behind, rather than pulling it back in, which makes flying machines more compact in Java), and BUD power (interaction between block updates and redstone state changes)
Should it? If I say something to someone in private that causes them to think I'm a raging asshole, should they not be free to share it with others, and should that not have consequences for me?
None of which you did anything to earn.
I am genuinely curious about your point of view. Of course there are some similarities, but clearly there are many striking differences between the protests in China vs "the west". From the US the biggest differences I notice are:

1. In the US: Lockdowns were very controversial, and public protest were considered an appropriate civic response to challenge the government. In China this appears to be very different. Complaining about the govt. via protests is illegal and you could go to prison for an extended time even for peaceful actions.

2. Protests are freely documented in the press and on social media. In China images of protests are censored. And people who spread information on such protests can again face serious consequences from the state.

3. In the US lockdown was largely voluntary. Worst case might be fines for businesses that defied them. In China people are physically locked in their homes and forced to PCR test. Even complaining about this be considered illegal.

So yes while there are some similarities, there are also incredible differences from my point of view.
What is this false dichotomy between inheritable/genetic traits and "things that are under your control"? There are plenty of attributes to the human body that can be acquired from the moment of fertilization and on through a person's life that are still far outside a person's control.

Signed, someone with (uninherited, acquired, incurable) narcolepsy.
I found this one of the most obnoxious aspects of riding the Zephyr.

Even when there were plenty of open dining tables staff packed us in like sardines with complete strangers who half the time devolved the conversation into insane right-wing politics and spouting q-anon level conspiracy theories.

It only served to further cement my preference for fasting on train rides. That round-trip was shared with my mother who attended every meal in the dining car, and sometimes I just went with to keep her company. The social aspect could be great if the quality of the people were more predictably good... but it's an outmoded form of travel inching across the USA, I found the people mostly unwelcome at the shared table.
> The bigger news to me was that Apple blocked AirDrop in China

The article you linked doesn't say anything about blocking. It just says that they changed the "Everyone" option to "Everyone up to 10 minutes." How is that blocking? Do you have any other source to support your assertion that they blocked it in China?
I'm not sure I understand how filling a constrained space with a exhaust gas is at all similar. I'm not saying that there is no measurable impact. I am saying I doubt there's a long lasting impact beyond a few thousand years.
Why would one conman’s association with an ideology condemn the entire ideology? Because he said he was using it as a ruse? Why are you still selectively believing the conman?
And writing something like improve my team's writing skills is just too many words to countenance?
No. Though some people created "moon landings were faked" materials which were misleading.
Then what is the "crazy leak[ing] in" you're referring to?
I have never used one, but I think it is interesting that Epson does sell a line of printers that have easily refillable ink reservoirs.

https://epson.com/ecotank-ink-tank-printers
Just nitpicking, but code monolith does say nothing about the way it's deployed. Could be a massively distributed system, fwiw (we did that and were quite happy with it).
At least he called them ‘teammates’ rather than ‘Dashers’ or some other cringe.
It's always hard to point out when some very abstract knowledge has guided your intuition, but I apply monads very often to compose things that go beyond "purely functional immutable data function composition". for example, composing the scheduling of PLC actions so that error handling / restarts can be abstracted away. The more recent insights of learning how to model things with just morphisms are broadening my concepts of a functor. I used to thing of a functor as some kind of data structure that you can map a function on, but in CT a functor is a morphism between categories that maps objects and morphisms while preserving identity and composition. This means I can start generating designs by thinking "I wonder if there is amorphism between my database schema category and my category of configuration files or whatever. Maybe something useful comes out, maybe not.
I'm very surprised the property ordering would matter. Seems like the JS engine itself could easily fix that, no? Silently re-order the properties to fit its own optimization

Do you have a source for the above info? (both because I'm a little skeptical of some parts of it, but also because I'd love to learn more about this topic and I've had trouble finding concrete info in the past)
> But where is the Category Theory?

I have no idea. I don't think I have really yet to grok the ideas around categories and morphisms. I'm very slow at learning this stuff.

I do know that each of the small number of intuitions I have gained has sharpened how I reason about my code, that once I grokked a single intuition, they seem both simple and profound, and that there are even more that I don't yet understand.

So for example, when you wrote "Also having commutative operations makes for Abelian Groups, which enable operations to be reordered, and makes for implicit parallelism", I never thought about that. Initially, I could almost feel like something coming together. After I let that sink in for a bit, and then it starts opening doors in my mind. And then I realize it's something that I have used before, but never saw it in this way.

I was mainly answering the parent comment about why someone might want to drink the kool-aide as it were. I suppose my answer is, even though I know there are some powerful ideas with CT itself, the intuitions along the way each have many applications in my day-to-day work.
It's situations like this that show the truthfulness of these statements and the organizations that make them. Un this instance, it shows that Apple is only using privacy as an excuse to achieve whatever ends they're aiming for.
I suspect he does this because being popular on Twitter is more important than having a popular blog. "The Algorithm" is hands down the dumbest thing we've ever invented, and is destroying the Internet.

Want to read/see something interesting? Nope! Want to microdose something that might be interesting, and now you're too deep to bail because you're 16 tweets deep? Okay!
> changing our architectural practices to support multigenerational households

This is true about so many things. Infrastructure and architecture around us lead to a majority of emergent properties in the way society interacts.

In the 3rd world, it is fairly common to purchase an apartment for your parents in the same neighborhood as where you settle in. The free daycare itself makes up for the mortgage and the old people sitting by benches on evenings serve as communal protection while the kids play seemingly unsupervised.
Do you mean "free from public consequences"?

For example, if I say something controversial to my SO at home it shouldn't cause me to get fired because Alexa overheard and its recording leaked?

I suspect there is a lot of nuance to both sides here. Like if the president of the US tells racist jokes to their lover in private, then public consequences after a tell-all book may be in order. (By public I mean people may chose to vote them out.)
I always assumed that at the time it was a relatively harder problem, with lower-level languages that are mostly array-focused, no real built-in containers and no for-each support. This was cured with better programming languages.

On the other hand, cache invalidation and naming things are problems that grow harder and harder when systems get more complex, which they obviously did.
Free and open-source graphics device driver
Things I Wish I Knew Before Learning Software Engineering
Software engineering would've been much easier for me had I known what I know now. I just published an article going over a few of the things that really made a difference to my learning journey so you can have an easier ride!
When a company grows at a steady rate staffing can be carefully managed alongside the implementation of new technology to manage said growth.

However, when a company grows rapidly due to high interest in their product, the quickest way to manage that growth is typically going to be manpower.

There are indeed better solutions, but manpower works in a lot of industries, particularly those that grow their volume quickly.

I think the surging popularity of crypto prior to our current downturn sparked some rapid growth and the need for more workers.

On the technical side you really want to build your infrastructure so that it can scale up quickly, but on the customer facing side that's not always possible and thus you might need more personnel to man the chats and phones.

It's sometimes easy to look at a problem from an external view and go wow why do they do it that way, but in my own experience there are unseen internal reasons or obstacles for why a company is not doing it in a seemingly obvious better way.
> unless they were working in lower-paid positions (think rural doctor

Fun fact: rural doctors actually make more than city/urban doctors usually.

[1] https://dailyyonder.com/pay-is-higher-for-rural-physicians-n...
[2] https://www.fiercehealthcare.com/practices/primary-care-docs...
That’s not a free speech or “cancelling” problem. That’s a privacy problem.
In this case, we're talking about secret sabotage of someone else's Internet access. This falls outside of the common concept of intervention. In general, if you have to act secretly, you're almost certainly in the wrong.
Yes. So clearly it's not a question of being able to run, or of weird graphics quirks or something. It's a strange omission. Given that Mojang is now owned by Microsoft, it's slightly suspicious…
My SO of 7 years postponed approaching me for months because she thought that I am a generally angry person.

Many other people have reported that I appear "unapproachable" when I am working, although the opposite is true. I am one of the most friendly, helpful, and jolly person that I know.
Same here. I drank the cool aid a few years back, and started using fp-ts in my frontend projects, hoping to use algebraic data types regularly. But today all I use is the Monad. I can't find any motivation to write abstract algebra to build UI widgets.
This question has been asked so many times, and answered in such detail, that it's exhausting to see it still raised. Especially considering, it's almost always coming from someone who has made up their mind that human driven climate change isn't real.

It's not much different than asking how scientists can come to any conclusions about anything.

Also, what makes you think that we need the entire historical record of the planet's climate to draw a conclusion like this?
Yeah. They also missed the espresso and a cigarette breakfast option...
I absolutely confirmed that my diet is the biggest factor in sleep patterns.

If I eat takeout or delivery food I will be groggy all day, sleep late, have trouble going to sleep at the same time every night.

If I prepare my own fresh, organic meals at home, including a yogurt and muesli breakfast every day, I awake refreshed and ready with the sunrise. I have energy throughout the day. And I fall asleep at about the same time every night without relying on drugs or medications.
Doesn’t this beg the question of what exactly “consequences” means?

Most people would agree free speech doesn’t mean a local restaurant has to serve you. But what about other businesses?

Can dentists refuse to treat you?

Can hospitals refuse to give you life saving treatments based on your political views? Many hospitals in the US are private businesses.

Most people agree that social networks can kick you out. But what about ISPs? Can they refuse your business?

And if ISPs can refuse your business, what about water or electricity companies?

Certainly freedom of speech means freedom from certain consequences. As codified in the First Amendment it means freedom from certain legal consequences. Of course freedom of speech is broader than 1A though.
I wish we'd at least go back to putting walls in houses. These open floorplans that look so nice in real-estate photos and have that "wow" factor when you walk through the front door suck to live in, but it's most of what gets built these days. Give me rooms with doors, damnit.
I'm in Canada and all I can think of is how my Mom, uncles, other older relatives do not have a computer. They have no interest in anything on a computer and have never touched one. You could put one in front of them powered on, logged in, web browser open, and they'd have no clue how to operate it to enter info.

We had a hurricane here and Mom applied to the Red Cross for disaster relief. She got a PIN for her online banking which she doesn't have or ever will.

There are quite a few people without computers. It's maddening to see some or proposed government services only be offered exclusively on the Internet.
South Dakota Governor Bans Tik Tok on Government Devices
The exercise and sleep part makes (obvious) sense, but the breakfast part seems a bit off. You are already awake and engaging in activities by the time you have made and then have eaten breakfast. A lot of people don't immediately grab food as soon as they wake up.

If the point of emphasis is not to be groggy when you wake up, then that state (of being groggy or not) has already occurred by the time you have finished breakfast. Which depending on your routine, could be 20 minutes to even an hour later, after waking up. For instance some people take showers or brush their teeth first in the morning. It seems the point, of waking up alert and refreshed, should have nothing to do with breakfast. It should rather be based on how soon a person can achieve the state of being alert and functional, after they have woke up.