ocharles

Oof, that is a high monthly subscription cost

Honestly I would love to see it be the norm, maybe even law, that a recommendation is accompanied by a reason for the recommendation. Is this because I watched a similar video? Or is it because you snooped on my microphone when I was at the local cafe?

I believe Facebook recommendations are somewhat bidirectional - if they visited your Facebook page (by searching you, even if they didn't add you), I think Facebook will recommend that you add them.

1en = 10 ^ n. So 1e0 = 10 ^ 0 = 1, 1e1 = 10 ^ 1 = 10, 1e2 = 10 ^ 2 = 100, etc.

Please tell me that you don't think deepfakes are only ever going to be distasteful. Once this becomes more commonplace, you're going to see it being applied to more personal connections - e.g., deepfaking pornography about friends. While already dark, it doesn't take long for this be essentially inventing blackmail material. Once the quality is high enough, there's a ton of potential for deepfakes to be extremely damaging for ones life. If you don't have the social status to prove to a community that it's a fake, ones can be significantly impacted.

For one real application of blue noise in particular, see https://youtu.be/Ge3aKEmZcqY?t=1350 (22:30 is a good starting point). Here Casy explains a grass planting algorithm for games, where white noise wouldn't be suitable.

Lazy I/O is widely regarded as a mistake, I don't really know any Haskell programmers that advocate that anymore. We have plenty of other approaches that have a better foundation.

A smart watch is only touching one point of the body. More complex ECGs need multiple locations to measure a circuit through the body (that's my naive understanding).

WeWork isn't an open plan office. At least, not the one I work in in London. We just pay an extraordinary amount of money for a small glass-walled room. We internally have an open plan office, but that's just because we opted for a single WeWork room.

70g is definitely not "absurdly high". The British Nutrition Foundation recommends 0.75g per kg bodyweight, though it's unclear if that's lean or not (https://www.nutrition.org.uk/nutritionscience/nutrients-food...).

> The amount you're talking about is the one commonly used by body builders who are using steroids

Sorry what? Those of us who lift and are trying to grow muscle take more protein, but don't just lump us in with steroid users. https://examine.com/nutrition/how-much-protein-do-you-need/ is an evidence based review on the subject.

I'm well aware there's a hostile environment, but if we're going to spread quotes I'd like them to be backed up.

> In England they tried not to have an online presence because, "we don't want to make it too easy for people to apply."

Source?

> First, technically returning 9 for a test of add(4,5) is correct. Your tests define what the function does, not the name. If you are thinking "a correct add adds all numbers", then that isn't wrong, but it is bringing your tacit world knowledge into the code without that knowledge being expressed in the code. And that's Not a Good Thing™.

How do you feel about just starting with tests that are actually more of a specification? For example, I'm starting to feel that unit tests aren't something we should be writing, but are something we should be generating. We should be writing things like QuickCheck specifications. So the first test I'd probably write is:

given x. y. add(x, y) == x + y

This is a specification that is essentially tested against a "model" (native addition, in this case).

Yes, I was, and I was also OK with not using the project while they held that "CoC".

When CoC's exist to foster inclusivity, exactly which "contrarian opinions" are you feeling are being suppressed? That's it's OK to harass or exclude minority groups? I am not trying to put words in your mouth, but the purpose of a CoC is to create a constructive and progressive environment. A CoC is project wide, not internet wide. This is not an attack on freedom of speech, but providing a stable environment and refusing to give a platform to those who's views do not align with a project's. And a project choosing what views it wishes to platform is entirely within its rights.

? The author said PostgreSQL's development gives them a warm feeling. If anything, they are saying everything should be like PostgreSQL, which means more open!

That's a clever use of org-babel!

There's a weird interpretation here that this post is the author expressing frustration with this process. I often have a similar experience and I wouldn't want it any other way! This process of repeatedly asking "what is this?" just doesn't seem to come up in the same way in other languages. This gives me the ability to do some practice I wouldn't otherwise be able to do, one that often has tremendous transfer over to "real work", because I can start to see patterns and get a feel for what is really going on once I get rid of all the dull IO tedium.

If you want an analogy, consider this like studying jazz or something. Sure, you could just notice a II V I progression and call it done, but if you pick away at each individual note, you can find a whole lot more going on behinds the scenes.

Basically, I don't really consider what's happening in the blog post a bad thing. It just has a time and a place, and you need to be aware when it's the wrong time.

Wait what the hell - getting blocked on YouTube would stop you reading your GMail? Did I really read that correctly?

For those who use Emacs, org-capture is probably the way to go: https://orgmode.org/manual/Capture.html#Capture

I imagine just sorting the changelog entries per release (maybe split into sections) would get you quite far, too.

We start with Paeno numbers because they are probably the simplest inductive data type that set the scene for how we tend to proves things in dependently typed programming (inductive reasoning). Proving the things you want are probably doable (I can't say for certain, they are vaguely specified which does not fit with formal methods), but significantly more involved. Trying to take the reader from nothing to that in a single blog post or talk is beyond anyone's ability. Generally, this is because dependent types aren't quite ready for mainstream in terms of convenience.

That said, I'd read some of Edwin Brady's research, as he is actively trying to find the intersection of "business programming" and dependent types: https://edwinb.wordpress.com/publications/

> Always the same outrage has happened, but things normalize then. People, companies adapt, hell does not freeze over, company doesn't go bankrupt.

But that doesn't mean we took the best path. There is always an alternative future if x hadn't happened at all. If x hadn't happened, we might be in a better place, rather than accepting it and doing the best we can.

Important code has a way of starting out unimportant.

Exactly. I just treat Bitcoin as another asset in my portfolio, and manage my exposure. I allocate Bitcoin to be X% of my portfolio, and if my current percentage is drastically over where it should be, then great - time to skim some profits and move it into other potentially less risky assets. I don't see the point of just cashing out entirely - certainly not right now.

3blue1brown is currently doing a terrific series on how neural networks work, which nicely compliments this blog post. https://www.youtube.com/watch?v=aircAruvnKk&list=PLZHQObOWTQ...

Can you share that custom tracer? I'd be interested in seeing that.

I'd get something that supports ANT+ along with an ANT+ usb dongle.

Can you elaborate on how much automated testing is behind this? When it comes to backup tools, I am very cautious.

I don't think it's a coincidence WAL-E is named as it is :)