skysight-inc/HackerNews huggingface dataset:
Definitely disagree
Practical Tips for IndieHackers
This is a truly understated point. My usual routine would be to go to the office once a month, and every now and then just talk to people, meet up with colleagues on the weekend etc.

This is really different from the regular WFH that I am used to.
Dear Darlthus,

The predicate Halt<aType>[anExpression] is true if and only

if anExpression of type aType halts.

The predicate Halt is inferentially undecidable, that is, it

is not the case that for every expression anExpression of type aType that

|- Halt<aType>[anExpression] or |- ~Halt<aType>[anExpression].

Inferential undecidability does not mean that mathematics

is wrong.

Of course, it is possible to have incorrect

mathematical proofs, such as the incorrect proof in

[Gödel 1931] for the inferential undecidability of Russell's

Principia Mathematica. (There is a correct proof here:

https://papers.ssrn.com/abstract=3603021)
Seems a little dangerous to completely rely on work for socialization. In my opinion most work relationship are pretty shallow and not meaningful long-term. When you leave a company, your entire social circle is going to be up-ended.

> Why should where I spend the majority of my waking hours, the majority of my life in practical terms, not also be my primary source of socialization?

I think because the primary goal is to work. Socialization is a plus, but it will never be your main focus, as mentioned above you will not build meaningful relationships (I mean, not entire impossible, just not as likely).

> Relying on your few off hours to satisfy your innate human need for socialization places an unhealthy demand on your off hours, not to mention an unfair demand on your friends and family.

I don't think it's an unfair demand to want to spend time with friends and family (that is the point of them). Anyone that is thinking that is probably not someone you want to be spending time with...

> Humans were never intended to spend so much time alone, we’re social animals.

I think this is what wife/kids are for. I can't speak for others, but it works for me! 99.9% of my time out of work is with them, and have never felt lonely. Not everyone is in that position I suppose, but then friends would have to fill that gap.
Frequent, rapid testing could turn national Covid-19 tide within weeks
OK first draft. If you rewrite it to remove the flaming, more people will read it and take it seriously.
Red Hat deprecated BTRFS in its products (and does not have anything like ZFS).

Its focuses on XFS from 1993.

Its Stratis idea is just a joke comparing to what ZFS is.

They should finally admin (like Canonical) that OpenZFS is the way of future filesystem for now.

Linux world should put their religion (GPL) aside here.

Besides above filesystem 'issue' the PulseAudio, systemd and SELinux are not hated without reason ... many people just 'love' what Lenny has to offer.
Some scientist hypothesize that millions of years ago the Earth's surface completely froze over. It is called snowball earth [0].

[0] https://en.wikipedia.org/wiki/Snowball_Earth
Yes. I strongly suspect that most people who want to go "back to the office" are not really saying that they just want their office workstation back so they don't need to work in their bedroom or kitchen table (though some are). Rather, they want to be back with their colleagues and if their colleagues mostly aren't there, they're not really going to be satisfied.
>I'm simply saying, no matter your situation, do the best you can because that's what you have control over. Also, it's easier to change yourself, than to change the world

Again, you're telling this to people with mental disorders like schizophrenia. They don't necessarily have control over their disorder, and are unable to change themselves alone.

This is why it seems like you're shaming people. You both belittled their issues and are telling them to just get over them, like they haven't been trying all along.
75% of Earth's surface is still flooded :)
I think that's a fair interpretation as well.
>WebGL 2, SDL 2 via emscripten

If you target GLES3, you can have the speed benefits of both.
These researchers also found that blue is linked to purple.
> If you cease forward movement with your eyes so you can, for example, underline a few lines, or draw a bracket next to paragraph, or, dare I say it, highlight a sentence, it will require a large energy burst to get started once again. Too many such stops and starts and your brain will be fried.

For me that's not true. The biggest "energy drain" is when I rush reading something and get fuzzy about what is being said. Understanding the text becomes harder and harder and a lot of will power is required to keep reading the text that no longer makes sense. Re-reading a paragraph 2-3 times or stopping to think more about what was written helps. So the fewer times I stop the more my brain will get "fried".
many many years ago I used to use Rabbit[0] for presentations.
It used to take a different approach, rendering whole images instead of HTML, but was quite fun to use.

[0] https://rabbit-shocker.org/
There's no reason that HTTP has to be insecure for the purposes here - it should be possible to implement browser-side encryption enough to securely transmit the password.

You're never supposed to reinvent the encryption wheel - but this would be a use case for it.
Show HN: A simple way to make HTML websites
Yep, to class 3 standard. Fun job really, everything was small-run so way less boring than typical assembly line work.
This makes sense in the United States, where money is tied to things like childcare, meal preparation, and even seeing other children outside of structured school environments.

I wonder what the results are in societies where the grandparents regularly take part in child rearing, where kids have unstructured and unsupervised play with their neighbors, and where food is more often prepared for a larger community instead of a single family unit. In the USA these "priveledges" cost money, but they used to be free. I'm sure they also radically affect mental health.
Masks mandates worked to slow the spread of Covid-19 in Kansas, CDC research
I have 2 spindles from jianken bought through aliexpress. Both were around 1700 for the bare tool. One does 24000rpm, the other 30000.

Note, if I were starting from scratch with nothing, I’d buy iso 30 stuff.
This and a way to automatically save the slideshow to a video is all that need.
eBPF Is Awesome
How I Teach vim
Those dimensions are also far from fixed. We've optimised our lives with these tradeoffs in mind. If the office we work at is very good maybe we've selected a smaller appartment in a trendier area with more things to do at night. If there's now nothing to do at night because of lockdowns and the same appartment makes for a poor office during the day, misery ensues.

As companies make remote work a bigger possibility we'll optimize differently and a lot of people will be better off after adjusting. This situation has also disproportionately benefited those that already leaned towards that way and left the others hanging. But that's a shorter term issue.
It appears to me that the reason Bayesian probability is somewhat elusive is due to its metaphysical underpinning: what do we mean by probability?

If we live in a materialist deterministic world - which many would cite as an axiom for simplicity - then there really is no probability. Everything happens with 100% certainty.

Then, what is probability? If everything will happen with 100% certainty, but probability certainly appears to exist, then probability must reflect something about our information about something occurring.

The author refers to two foundational approaches to our state of knowledge. The first is the objectivist approach, which states that everyone who has the same state of knowledge about a system will evaluate the same probability of something occurring. The second is the subjectivist approach, which states that a given individual with a certain state of knowledge will evaluate some probability of something occurring. To me, these appear to be the same thing except insofar as the former requires a consensus of many while the latter a consensus of one.

The author asks how we might actually define Bayesian probability without resorting to the frequentist approach (i.e. hypothetically simulating many trials of the same event, however infrequent in reality it may be).

First, he says this would mean "interpreting [the credible interval] like a confidence interval". I am no statistician, but is that necessarily true? I don't see why confidence intervals would suddenly emerge in order to interpret a credible interval.

Second, I am not sure the frequentist interpretation is so problematic. When we interpret the plain-English definition of a probability, are we not mentally simulating repeated trials in order to evaluate something's occurrence? What else could a probability imply? If something has a 20% chance of occurring, then it does not occur 80% of the time, and so we must envision 80% of universes (part of the hypothetical trials) where it does not occur. I don't see any other way around this, frequentist or not.

(Note: I am not a statistician, while the author is, and the above is simply my layman's understanding of the article.)
Being forced to work from anywhere is unpleasant, whether it's from home or an office.
Well, Docker has an API and its own file format (the Dockerfile), I constantly have to look up Docker switches as it's not a tool I use every day and it's not at all intuitive, and I'm still unclear why people love this layered/stack image approach given how unbelievably slow it makes everything. Apps that would once have been a 50mb tarball are now routinely a gigabyte of downloads, perhaps because whatever random version of Ubuntu I downloaded previously is now slightly different? Who knows.

There is, frankly, a lot of appeal to me in a simple INI file that starts up something I unzipped.
Are there any known example of pre-computer printer art — e.g. originally stored on paper tape for teletypes or card for accounting machines?
Lucky for us, all digits are less than 10.
There are parts I miss about the office and parts I don't.

Do miss: Face-to-face meetings, bumping into people you know from other teams randomly, dropping by someone's desk to ask a question.

Don't miss: High density open office environment (honestly don't mind open office that much as long as density is reasonable), commute (40 mins each way), free food / snacks (easier to eat healthy at home).

After weighing up the pros and cons though, I think I would probably choose to go back to the office after the pandemic is over, although I might optimize for a job where I get my own office or a low density open office.
A few games have this setting, Control for one. YouTube streamers like to use it because of the copyright strike nonsense, that way they don’t have to do it manually or turn down the audio.
I'm specifically wondering if there are caps on utilization for those with chronic conditions. This is the part where the vast majority of US health care plans simply seize up and zero out.

From a pragmatic national economic perspective, I'd rather have someone with varying degrees of mental health challenges operating at below their productive potential, with some glimmer of hope of future recovery and/or self-maintenance, and consuming some fraction of mental health care workers' staff time, than absolute zero productive delivery, and causing net negative drain on resources from them eventually lashing out and us cleaning up after the mess from lashing out. There are huge ramifications to this kind of posture, not all good, so it isn't all roses, but I think developed nations are sufficiently advanced enough to shoulder this kind of burden, and I come at this from a kind of "no man left behind" type philosophy about it.
The filesystem, and the file itself, are perhaps the best abstractions ever designed in computing. A database sometimes uses the file API when actually wants to access the disk in a lower-level fashion, for which APIs are fragmented, non stable, non portable. So it's not a fault of the abstraction, but the fact that a different low-level abstraction to access the storage in a way databases need to do is missing from POSIX.
Yeah, I hear and sympathize with you, but it's a bit of a truism and misses the point. If this was about lead poisoning, and not parental income, that leads to mental illness, wouldn't you want to fix the problem, rather than just say buck up?
Metabolic Health, Digital Pause, Storytelling, Digitizing History
So we just give up on the concept of equal opportunity since everyone starts out differently?
He doesn’t understand the culture and instead of trying to learn he throws it in a bonfire.
For some reason the “clutter” is seen as professional, both serious and that you have content. Western culture is being very playful instead with big videos and pictures, which is as fitting for children as adults.

Shouldn’t a designer be able to put themselves into the mindset of the customer?
Thanks for pointing this out, I will dig more into this.
Reflecting on 2 Years of Bootstrapping
Sign Our Letter and Tell Audible to Stop Charging Authors for Returns
Mastering Kitty Terminal
Thanks... but all the things you're describing are still all linear though in terms of servers, no? All the services you're describing will scale linearly.

And if some external bottleneck exists... that's a separate issue and adding more servers isn't going to solve any problems at all.

I guess I still just don't see it... I know servers don't scale "exactly" in the sense that one service will require another server before another service does, but that doesn't make it nonlinear. It just gives it variance (fluctuating both upwards and downwards) around a line. It doesn't turn it into a curve.
Thank you for the clarification. Hacker News tends to lean toward free market solutions, even in cases like healthcare where the free market has many significant failure modes.

Regarding the different time scales for most approvals as compared to the coronavirus approval, my understanding is that there is a vast difference in the amount of resources being put into the preliminary studies. When you have 5-10 thousand deaths every day, it is reasonable to study as many possible routes as possible in parallel, such that one may result in a working vaccine. For diseases with a smaller impact, there may be several candidates on the back burner, but only enough funding to investigate one at a time. If something fails in Stage 3 trials, then in may mean going back to Stage 1 trials on the next option.

(Caveat: I am a data scientist, but not in the medical field, so there are almost certainly considerations that I am missing here.)
Just curious, why as video format? Wouldn't it be the same with an autoplay feature?
Twitter will hand over presidential handle to Joe Biden on Inauguration Day
> National cohort study of persons born in Denmark 1980–2000 (N = 1,051,265).
We can debate separately if companies should force people back to office.

But in this case it is an either or. If the advantage of the office comes from being around your team and colleagues then it very much is an either or between home working or everyone being in the office.
Benchmarking Cloudflare’s Latest Server Hardware
Browsers already scare users on HTTP pages with “not secure” labels. It’s only matter of time until they’ll require extra clicks and confirmations.
Your weekly reminder that the 10x engineer theory is that the best engineers are 10x better than the worst engineers. Which means they are 2 to 3x your average engineer. They aren't going to make your team 10x better unless your team is really bad.
Dont miss it at All we cut ties with the office 6months before corona its the best with small children :)
Umami, open source alternative to Google Analytics
I encountered this problem on my project Soundsync. It's controlled by a webpage that needs to connect to every Soundsync peer on the current local network. I couldn't use HTTP as I need to instantiate an AudioWorklet (which has the same security requirements as a WebWorker). The big browser warning of a self-signed HTTPS certificate is a deal-breaker for a lot of non tech-savy users (which are my target).

In the end, I used WebRTC from an external HTTPS webpage I'm hosting and a "mailbox" service where two peers can post and retrieve messages from a UUID. To communicate this UUID on the local network to the peer, I first used an <img> tag with the UUID in the URL query string but this method was recently broken because of increased security measures by browsers. I now use two methods:

- Bonjour: Every peer listen for every bonjour request on the network, on the webpage I make a request to https://soundsync-UUID.local/. The peer then extract the UUID from the request and connect

- TLS Server Name Indication: I use sslip.io to connect to https://UUID_IP.sslip.io/. This is redirected to the local network IP of the peer which use the full domain name in the TLS handshake to extract the conversation UUID. This method doesn't always work because of some router filtering out DNS records resolving to 192.168.X.X.

All this process is very hacky and doesn't always work but I haven't found anything else better. We still don't have a good way to make self-hosting easy for anyone while making it secure and not dependant on an external service.
I don't know if there are any papers for Covid in particular but it's how the immune system works in general. AFAIK there is no reason to assume it Covid differs in that respect.

> Those are confirmed cases. That doesn't mean there's only 4 total.

I'm sure there are more, but how many? There have been hundreds of millions of infections (according to the WHO). If there are a few dozen or even a thousand reinfections among them, it's not a phenomenon we need to worry about.

We could assume that reinfections are common even without any evidence for or against, but then we are playing something akin to Pascal's wager. Also, I think if reinfections were common, by now we would very likely have evidence for that by now.
Seems like you don't miss the office, but you miss the social aspect.

A good office would allow you to work in peace when you need to. For a programmer, this would be maybe 50-80% of the time. This is where the monitors and keyboards and chairs are. Personal tools and personal space.

But, there should be enough opportunity to socialize when you feel like it; ranging from sofas and coffee machines and team lunches to pool tables and movie clubs and parties and gardens and tennis courts and dinners and skiing trips or whatever.

Universities tend to be pretty good in this sort of thing, actually. You get a room. With total isolation. You also get a vibrant community of smart people with varying interests and a huge range of activities to pick from.

Most of us aren't hermits, after all. Many programmers living in cubicle hell may think they hate people, but maybe they just hate the interruptions and loosing control of their concentration.
I like this idea. You could implement the same password hashing algorithm on the router and in javascript and just transmit the hash.
Connecting to a Minecraft Server over IRC
macOS has the commpage, which caches CPU feature flags and other configuration information.
Geologists generally speaking don't know how the ocean emerged, but all agree it wasn't due to a catastrophic deluge.
It feels like a case of The Emperor's New Clothes when a privatized company can dictate who may use dedicated accounts based on governance rules of a nation.
so cool

especially the mutant developmental genetics that enables this -- the extra germline copies in the embryo to trick the symbiont into the gut area, the early hox expression

and the fact that we can guess that they got this virus by living beside sap-eating insects millions of years ago
You can read some library reason' whys at https://lib.presenta.cc/overview/
sry, already discussed recently: https://news.ycombinator.com/item?id=24198329
The illustration at the top where sticks are used immediately made me want to provide the "outside the box" solution of arranging the sticks in 3D. But I guess an octagon is pretty clearly defined as a planar object.

Something the article didn't touch on but that I think is fundamental when trying to construct proofs: Often, you can get further in a proof by trying to prove the opposite. Assume that what you're trying to prove is impossible and try to construct a counterexample to the original proof. You will reach a point where the construction can't go further - examine closely what invariant prevents you from completing the counterexample and you will happen across something that will advance your actual proof. Note that this need not result in a proof by contradiction - it's usually more about illuminating the way forward.

In a sense, the octagon problem is teaching exactly this step. That is, the "real" problem here (and the proof that the students should arrive at) is "prove that you cannot construct a convex octagon with 4 right angles". How do you do that? You assume that it's wrong and try to find a counterexample to the original proposition - a convex octagon with 4 right angles. The ensuing "productive struggle" leads exactly to the insights you need to prove the original proposition, as detailed in the article.
this is an example of one of my favorite words- "palimpsest"
Thanks for this. It’s beautiful book, and I remember similar books laying around some old relative during my childhood.
The mere potential for spending would create a distortion/bias in favor of/in the direction of larger pools of accumulated capital prior to any expenditure and in spite of whether or not any specific potential expenditure were to take place.
> Instead of asking "How do we become "non-unique""? We could ask "How do we send less data"

The basic principle of information theory is that these two things are exactly the same. There is no "correspondence" between them, they are one and the same thing. The amount of information that you send is, by definition, the measure of how unique it is.
Well even Fincher hated it

>I had to work on it for two years, got fired off it three times and I had to fight for every single thing. No one hated it more than me; to this day, no one hates it more than me.

https://www.theguardian.com/film/2009/feb/03/david-fincher-i...
I agree. One heuristic is the specs of our computers 20 years ago had.

Those computers were an order of magnitude slower. Yet many equivalent apps today run at about the same speed.

Performance is not being prioritized. And I suppose back then, devs had no choice given the resource constraints they had.

I've seen many times devs paying for larger databases instance without first even taking a few hours to try and optimize their queries.
let me guess. you're not a single?
I'm just speaking from my experience. Maybe say "Western society" instead of USA
The comments in this overall thread are pretty much echoing the types of discussions and lessons one learns in System Operations. I wonder if part of the challenge is that so many companies have decided to ditch "systems" people for developers, assuming that software developers have the same knowledge, interests, experiences, and perspectives as systems folks, and that systems folks are no longer needed.

The question isn't "optimize my code" or "add more servers", it's both, and determining when it's appropriate to do one or the other at a given point in time based on current load and expected future trends. But generally, "optimize my code" can be pretty low hanging fruit in complex systems, because if you lack systems people, you end up with everyone focused only on their specific component and nothing else.
Which metric? Leaky abstractions is a "Law", not a metric.

Are you looking for experience?

[ see Wikipedia for contextual meaning of law here, https://en.wikipedia.org/wiki/Law_(principle) ]
The Botanist Daring to Ask: What If Plants Have Personalities?