skysight-inc/HackerNews huggingface dataset:
Right you are exactly the kind of person I'm talking about. You think your code is clear. It is not. The logic your code performs is the distilled by-product of higher level reasoning. Reasoning that should be the basis of your comments.

People reading your code will not be in the same mind state that you were in when you wrote it. That is what the comments are meant to assist with.

If you write comments for anyone, write comments for yourself first. You will not remember years from now the reasoning that went into the code your wrote.
back in 2002, I built a floppy that had a linux kernel (2.4.18-rc4) with multiple ethernet drivers (back then tulip was taking over the 100mbps ethernet world, so pretty sure that was included, as well as the 3c509 driver), X (vesa driver), busybox (or proto/fork busybox), rdesktop to build a a thin client on a floppy. I even had a version that was able to squeeze in vncviewer by using the over 1.44MB modes of writing floppy disks.

the project's point was to showcase stripping shared libraries of unused symbols to get the per binary density of statically linking across one's entire set of binaries. (useful for saving space on embedded systems) i wouldnt claim that it was unique (I believe Debian did something similar), but was a fun project.
Well, some can't afford it.

If anything, I'd think the choice of incoming freshman is even clearer assuming they can defer--including financial arrangements. I'm sure they could find something better to do than severely compromised campus activities that might revert to full-on remote a month into the fall term.
Paywalled article. Without a link to the full article I am not sure this is right for HN.

In summary for international readers, the situation in the UK is that the British government changed with Brexit. There is the Prime Minister who was elected to get Brexit done, his unelected special adviser and fellow Brexiteer Michael Gove.

With the election the ruling party only have pro Brexit MPs, the pro-Europe supporting members of the party were replaced.

As a consequence government is not by cabinet, there is the clique of the Prime Minister, the special adviser and Michael Gove. Michael Gove has a proper job title but few Brits know it.

With the current lineup of the cabinet the special advisers for each cabinet member now have to work for the prime minister's special adviser. These civil service jobs are now political appointments.

There have been other changes that this article is about, essentially civil servants from the top down are being replaced with Brexit supporters. Normally civil service jobs go to those with experience and skills, not Brexit ideology.

In the process the trio running the country have picked a fight with the whole civil service.
The compiler is unlikely to yell at you, the runtime normally will. Runtime errors are not usually very helpful, you are better off testing every division yourself (the Pony checked division model). Note that most non Intel CPUs don't have runtime exceptions for division by zero, Arm returns 0 and AFAIK Risc-V returns -1 but I might have misremembered. Intel is unusual in having an exception.
It seems like a bit of a mixed metaphor since you don't normally paste wallpaper onto a desk's top.
"...whether or not murder is acceptable..."

Here you're begging the question. Murder is unjustified killing, and by calling something murder before you've even fully determined the truth of the justification, your premises irrationally assume the truth of the matter.

By definition murder is not acceptable. The question is, were Kaczynski's actions "murder," and how well does this argument stand the test of reason.

This is extremely difficult, because morality is in large part determined by education and propaganda. For example, if you took someone from our time and raised him in the civil war south U.S., under that system of education and propaganda, would they see a black man's killing of his slave master because he thought it was the only way to escape as unjustified and therefore murder? This is not to say that the morality of all killing is relative! It is merely to point out that the society in which you live has a great role in determining moral justification. Was Kaczynski justified in his actions? Were the people he killed only moral from the perspective of an evil society that is destroying the earth and enslaving humanity? The answer to these questions lies in the truth value of Kaczynski's reasoning. And in this area there is very very little open and honest debate... precisely because, I think, the ideas are far too dangerous and uncomfortable.
Understanding it would entail taking responsibility for actions already taken, and the harm already caused by those actions.

People want to be "good". They want to feel that their actions, if not perfect, are at least morally defensible. This seems to lead to a sort of tipping point where once a person has acted in a way that would make them "bad", it becomes easier to construct a new narrative where refusing to wear a mask is heroic and patriotic, than to process the remorse of having made a terrible mistake. And that's especially appealing if there is an entire group of people eager to tell you that you're right and good, in order to reinforce their own worldviews.

The bottom line seems to be that in order to lead people back to reality, you need to find a way to let them feel good about their choices. Maybe that means nodding along when they say "The science was unclear. We couldn't have known." I'm not sure. I've been thinking about this for a while now, having relatives in Sweden who just don't seem to take the pandemic seriously. The problem is that their institutions still haven't reached the point of admitting that they were mistaken, so the public can't seem to begin that process either.
kitboga does this on Twitch, Jim Browning also has a bunch of YouTube videos of doing this. There's even a community for it on reddit: /r/scambait/
I’ve watched a lot of YouTube videos of, ironically, people using Raspberry Pis to watch YouTube videos. The UI seems snappy, and I can live without full screen 1080p — the only thing that seems poor is full screen full resolution video.

Is there anything else I should be looking out for?

Raspberry Pi 4 is now OpenGL ES 3.0 certified, so I’m expecting it to only get faster with time. My main concern is a Pi5 being released and my “old” hardware becoming obsolete.
https://en.wikipedia.org/wiki/Toyota_Production_System

This is a good jumping off point
Most Visited Mental Health Websites – Updated, June 2020
In theory?

Advertisers pay because the creator has content worth watching, and so can deliver watchers. The creator and watchers can find an equilibrium where it is in everyone's interest to take the advertisers $, in exchange for something like 50% for the creator, 50% for the viewers. Top twitch streamers, say Ninja, DrD, Shroud (none of which are on the platform currently- LUL) could earn awesome normal people incomes ($250k/annum??), while their viewers get modest income ($10-$30/month?? based on a few assumptions).

In reality, like most situations like this, the creator will be rent-seeking, and have the power to demand more and more of the $ that would otherwise go to the watcher, such that ultimately only the platform and creator get $ (which is sadly the case now).

My guess is that there are already Phds in Economics showing this is true.
Mathematicians not working in type theory generally agree that 1/0 is undefined (or if anything, they would set it to infinity, but even saying that would probably be too cavalier for most mathematicians). They do not necessarily for 0^0. There are good algebraic and combinatorial reasons for 0^0=1, while analysts will complain about non-continuity.
Also check out Kaczynski's books: "Technological Slavery" and "Anti-Tech Revolution."
I was confused with the previous comment until I read your reply :) I disable javascript by default.
About the only time I use comments are to delineate a block of code that for whatever reason can’t be a method or because I am working around some bug and I think I might be tempted in the future to remove that code as “useless”. (Think “the dispatch_main here ensures that the code runs on the next runloop iteration, which is necessary for the animation to work”.)
Global Catastrophic Risks Survey (2008) [pdf]
> Think about this in a way an accountable official would think.

No they wouldn't. I've held various (small scale) public facing offices before and this isn't how I would think.

Thinking of the consequences of your actions is a very important thing.

> If you make an exemption for people who are currently already in the country, what would that solve?

Decrease the damage done?

> So you have to craft such a "heavy handed" rule in such a way that it doesn't have loop holes that can be exploited. Don't think lawyers didn't review this exemption for weeks.

They probably didn't. We've seen this administration do bullshit orders before. This isn't a new one. Remember when they banned green card holders from coming to the US and there was chaos for 12-24 hours until they came and said whoops those are exempted?

> And my earlier points still stand.

Your wrong points do stand, yes.

> But understand where it comes from

I do. It's bullshit.
No! He is defending the impetus of artists to use beauty as a motivator for their works. He is not diminishing the subjective variations in different cultural beauties, or claiming only one kind of beauty exists. The problem is that modern Western art no longer considers beauty itself a motivator. And that’s a problem because beautific recognition is a deeply human need.
Great Year for a Gap Year
This strikes me as having some interesting similarity to the practice in Haskell of placing type class constraints on functions, not data types. A deprecated feature of Haskell used to allow you to write data types like:

data Ord k => Map k v = ...

This defined a data type representing an ordered map from k to v, with the additional restriction that before you can talk about such a map you had to know that the type k is orderable (has an instance of the Ord type class which defines comparison operators).

This may be considered to be similar to the definition of (/) requiring that its second argument is nonzero.

This style was supplanted by leaving the data type definition 'bare' and placing the constraints on the API's functions instead:

data Map k v = ...
insert :: Ord k => k -> v -> Map k v -> Map k v
lookup :: Ord k => k -> Map k v -> Maybe v

This style is similar to instead placing the nonzero-ness constraint on the theorems which define the API of (/).

In both cases there are basic engineering reasons for the switch:

- Having the constraints in the definition of terminology (Map, /) doesn't save any work, as you still need to prove those constraints to do anything or refer to it (in Haskell this meant sprinkling `Ord k =>` in the type of anything that referred to Map k v).

- In fact it results in doing more work than necessary, as you are sometimes forced to prove the constraints just to mention Map, even when what you are doing does not require them. For instance defining the empty map 'empty :: Map k v' shouldn't require you to know anything about k, because an empty tree doesn't contain any keys, let alone care about their ordering. In this case requiring Ord k in order to mention Map k v would be superfluous.
Every OS that I am aware of gives the foreground app unfettered access to the clipboard. Is anyone aware of any counter example?

Given that Android has even allowed background applications to constantly monitor the contents of the clipboard, I don't feel particularly let down by Apple giving me a way to see which apps are accessing the contents of the clipboard without any user interaction on my part.
Until all of one's marginal income is at the highest marginal tax rate, the government has already done that calculation for you.

At least until then, marginal utility is essentially linear with marginal gross.

Not sold? Boom, imagine that your loved ones are suddenly ill.
If the "you're the product" and whore/prostitute reference eluded you in the reply, the 1st post split a few hairs for entertainment purposes, but the message was pretty clear....

Bad haircuts are funny
The self documenting one always gets me. It's not like the person has never read code that is difficult to understand.

Yet they think it is just other people who write 'bad' code. Their own code can't possibly be bad. In fact it is so good that it 'documents itself'. It's just a statement that drips with arrogance.
You could also go out and buy your groceries, which is what many people do…
It's not so much about it being able to handle 4K, but Youtube already has too low of a bitrate for 1080p (resulting in MPEG artifacts, color banding, etc). So I like to watch in 2.7K or 4K downsampled, since at least I get a higher bitrate.

The bigger problem that I didn't mention is with videoconferencing: FaceTime is hardware accelerated and has no issues with 720p, but anything WebRTC seems to prefer VP8 or VP9 codecs, which fails on my Mini and strains my 2015 MBP. Feels like a waste of perfectly good hardware to me.
If Apple is the sleeping giant of PKI, Microsoft is the come-back kid. The actual set of CAs trusted by Microsoft has massively shrunk under the leadership of their new Root Program manager, and their transparency greatly improved. https://aka.ms/rootupdates shows a regular cadence, particularly on even months, of removing trust in a large number of CAs. While they still add CAs faster than any other program, they also have strong contractual guarantees on CAs in a way unlike that of Mozilla, Apple, or Google. And Microsoft is notoriously not afraid of using lawyers for noble causes.
My gut instinct is to agree with you... but I think we should be a little more sympathetic, since we have so many examples of seeming smart people falling for various scams.

I think it is foolish and wishful thinking to think we are immune to being scammed just because we can see through all these ruses when we read about them online.

Whenever something bad happens to other people, our immediate first reaction is to find out reasons why it would never happen to us. We wouldn't fall for it, I wouldn't put myself in that situation, I would see it a million miles away, I would have done this instead..... this is a defense mechanism because we don't want to feel vulnerable... we want to think that bad things are preventable, and we would always prevent the bad things.

This is simply not realistic, and gets in the way of empathy for people in bad situations. Just think back in your own life when things went wrong, and how looking back there are always things you could have done differently... but you didn't, because you are human and make mistakes and didn't have perfect knowledge of what was going on like you do in hindsight.
Put pressure on universities to have in person classes, thus making it appear like things are "back to normal" for US based students before election day? The college educated suburban voter is where Trump has been shedding support.
What I’ve noticed is that code is the only medium of communication that is non-ambiguous. Designers, product people, stakeholders, etc, all use ambiguous mediums. It’s impossible to understand just how pedantic and explicit you need to be when writing code versus, say, giving your human colleagues instructions.

So it's 0% ambiguity for code. 100% ambiguity for the rest. In other words, communicating with the computer is overly pedantic, and code bares all the frustration. Can we make it more fair? 70-30 perhaps?

Rather than concentrating on mediums that help with communication (as this post mentions: Design Docs, TLA+, comments…) I want a new medium that allows me share the burden of overscrupulousity with the rest of the people in my team, and not just developers.
This has been submitted to HN multiple times, the most popular discussion with 45 comments is [1]. One new thing is that the book is moved from Antonopoulos' personal Github account into a Github organization specific to the book

[1] https://news.ycombinator.com/item?id=7493916

[2] https://github.com/aantonop
How did you land your current job with AWS Consulting without grinding leetcode for a whiteboard coding interview, though?
"The tranquility he's describing would, I imagine, guide one to understand that you can't control other people's actions."

This makes no sense.
Terraform – Getting Started on Azure
Yes, you're obviously correct, the compiler won't yell at me. I wasn't thinking clearly when I wrote that. I did mean the runtime. :)

But I disagree that runtime errors aren't helpful. They are very helpful to surface logic errors (if you have proper logging). If you catch a semantic error as early as possible, you have a better chance of making sure it doesn't propagate somewhere else, and it will be easier to debug the eventual issues. This is why I generally like assertions.
By the way, 3 and 4 are pretty much the same in Lean, assuming you define "R\{0}" using complementation rather that somehow defining the nonzero reals from scratch.
Definitely one of the more rapidly growing parts of the convenience economy. With the much higher average spend and less time dependence, grocery delivery looks much more palatable as an investment and lasting market.
Well at least it's not "wind, solar, and clean coal" anymore.
I was responding specifically to harryh, who said "There are a lot of borderline cranks" after having responded to a different comment of mine with a dismissive Fed talking point.

I do agree with your previous comment that "No taxpayer money is being loaned out here". "Public money" would be an appropriate description though.
The entire ad campaign around OxiClean: "usages the power of oxyzen" as if it natural and chemical free. It may be natural, but it isn't the [semi] friendly O2 variety that we breath.

Read some of the Q&As for Ozone Generators on Amazon, many people think it's safe for humans and pets. The internet is a dangerous place for information at times.
I used to do this kind of stuff in junior high, high school, and college...back when I had the time now. Now with a day job it's time to find some time to muck around and really explore things with your curiosity and imagination. I totally see where you're coming from.
True. I just addressed this in a reply above this one as well: Youtube already has too low of a bitrate for 1080p (resulting in MPEG artifacts, color banding, etc). So I like to watch in 2.7K or 4K downsampled, since at least I get a higher bitrate.

Can't do that anymore without either buying a new computer or youtube-dl and recompress the bigger version (which takes hours for minutes of video on my poor machine).
"His approach was not successful, no."

According to what criteria do you make this determination?
It's even worse right now with the COVID-19 lockdowns.... so many of the systems are ad-hoc right now, which make them seem even more shady.

I am working on a refinance right now, and I agree... so many things I am having to do seem ridiculous.
Capital One Air Mile Points Are Changing
Over 10 years ago I signed up for the capital one aspire travel point card. Perks were the following: 10,000 points upon signing (equal $100) 10,000 on the anniversary date. 2 miles per dollar spent. No expiry, you can book with any airline and you can travel anytime.

This past week I received a letter, dear Mr x we are changing your capital one aspire travel policy. Now there is no longer a 10,000 point anniversary. And now it's 1.5 airmiles per dollar. Everything else stays the same. For the card itself it's a 150 yearly charge.

All this means is I'm looking at other air travel cards and companies comparing options. What air mile card do you use? And why?
I'm not sure what you're trying to say? Bool can have 2 states, but in software we need things that have 3, 4 or N states too. So we need an abstraction that is like Bool but can have any number of cases. Moreover, bool is clearly not sufficient as it not only has 2 states, it can only represent exactly 1 bit of information. Whereas, e.g. in Haskell "Maybe X" has 2 states either "just X" or "nothing" but can represent arbitrary amount of information. (imagine having Go compiler forcing (bool, X) pair to have only two states either "(true, X)" or "(false, null)" such that compiler doesn't allow you to construct e.g. "(false, X)"). So bool is like very very specific example of what is being discussed here.
Turn off JavaScript (e.g. using uBlock Origin) and you can read it in full.
This is great. Would love to be able to enable this on my keyboard for typing everything as a bit of an upgrade over my super clicky mechanical keyboard.
I never said “per year”. I am comparing the total lifetime impact of Covid on some cohort of people to the total lifetime impact of other ailments.
I'd recommend checking 'Dopamine Fasting'. It is a deliberately catchy title, no, you don't/can't abstain from dopamine, but the content is rock solid in terms of taking breaks from over-stimulation loops.

I personally try to mimic no-electronics "sabbath"s on Sundays (no religious affiliation). It is not as harsh as it sounds, just away from fast reward loops of apps and internet to more long form content such as a 3hr podcasts, an actual physical book, wandering in nature, conversing with people important in my life etc. Also feelings like loneliness and anxiety can present as overuse of tech, so I take that as a sign to double down on healthy self-care basics such as meaningful connections, adequate exercise, outdoors, sunshine, whole foods, laughter etc.

> At this point I'm even considering finding Adderall

I personally recommend you don't, based on my half decade, personal experience until about a year ago. Yes it will increase your task salience and perceived energy because your brain will be swimming in dopamine, but you won't have the matching wisdom to pick your tasks or use that energy appropriately. Believe it or not, feeling bored or not motivated is a crucial part of picking what we spend our energy on so that we can achieve meaningful, sustainable long term goals. Psychostimulants bias your sense of bio-economics, everything has a lower threshold of feeling like a good idea to do. You'll read reports of people cleaning their houses or masturbating all day on therapeutic doses (Yes these are outliers, but it exemplifies the class of errors you'll be liable to make on it.). Also over time your dopaminergic systems will physically downregulate to adapt to exogenous stimulation, in which case operating without meds will be harder and harder.

Obviously your current state don't seem to help achieving meaningful, sustainable long term goals either, so I recommend getting help in the form of talking about it. People overestimate their ability to call themselves on their own bullshit, but the ability of someone else seeing our self-deceptive patterns outshines it. Find a loving, caring professional invested in your growth and slowly make adaptive changes to this whole system. Slowly build such a nourishing, satisfying life that the shallow stimulus of internet feels like a waste of your life.
These are non-immigration visas that don't allow you to work in the country, or entitle you to any particular benefits besides 'you can learn and spend your money here, for a few years'.
Same here. Though if you are putting thought into the code you are writing - the logic, the structure, etc.. Then those thoughts should probably be written down as well as comments.
People in Japan still buy and use a lot of physical media. Piracy of every kind is more harshly punished and strangely, compared to the US, people feel that they should buy the work of artists they enjoy to support them. There’s also thriving secondary markets for everything from CDs to movies to games if you can’t afford to purchase new.
We need to stop at some point though. Do we need to make our own wires? That's surprisingly difficult to achieve.