cloogshicer

I run a small programming YouTube channel and someone with a Gmail address asked if they could sponsor me. They wanted me to review this VSCode extension[1]. Everything seems super dodgy: The extension only has 2…

Most of my waking time is spent staring at a screen. Both at work and at home (YouTube, Games). I'm wondering if anyone has suggestions for fun things to do that don't involve looking at a screen at all. Here are a few…

I've admired animations like the ones on [1] and I'd like to create some myself. What tool/library would you pick? Looking at the source of the above site [2], the author seems to hand-craft them using the canvas API,…

A VC backed company (I don't want to name them because they don't deserve the exposure) is sending out emails without an unsubscribe link that are clearly marketing. Support tells me "they're part of onboarding" so you…

Mainly curious about things that annoy you when your coworkers do them, stuff that makes code hard to understand/reason about.

I'm a developer trying to learn more about formal methods. I don't understand the precise difference between a specification and an implementation. For example, in this video about formal verification [1], the person…

Hey everyone, I teach CS courses at university and used GitHub Classroom for the purpose of creating the student repos. I just wanted to warn anyone who's teaching, this product is not ready for usage yet. - Currently,…

I learned about loops first. For most problems, I find recursion easier to reason about.

I learned about recursion first. For most problems, I find recursion easier to reason about.

I learned about loops first. For most problem, I find loops easier to reason about.

Even after learning to understand recursion better, by reading SICP and similar books, I find recursive code generally more difficult to reason about than iterative code. I'm wondering if this is only because I learned…

I learned about recursion first. For most problems, I find loops easier to reason about.

I've been using Backblaze for a few years for my home computer. You know how everyone keeps telling you, a backup is only a true backup once you've done at least one restore? Now I know why (silly me). I just got a…

Things that come to my mind: - ML/AI - Games (but only some) - Scientific simulations Any other ideas?

Where is the flaw in the following argument? You can formally verify software/algorithms for correctness, but formal verification is difficult and takes a long time. So why can't we do it in piecemeal? Imagine something…