darkkindness

9 ms·

31.
by darkkindness 7y ago
If you're interested in going through "Seven Sketches", John Baez taught an online category theory course in 2018, with "Seven Sketches" as the text. Check out past lectures (and student discussion) here: https:&#x
32.
by darkkindness 7y ago
Nice find! Abstract: > These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need
33.
by darkkindness 7y ago
I tried running this a year ago and remember some things which stood out. But again, a year ago -- details are fuzzy, and likely outdated. pros: - The no-cost self-hosted setup was easy enough. I didn't have to jump through too many in
34.
by darkkindness 7y ago
Remarkable, I've also been learning J901 for AoC. I'm curious, what resources have you been using to learn?
35.
by darkkindness 7y ago
I read the OP differently. Type-level programming (not to be confused with type-oriented programming) is using the typechecker to perform computation on types, which proves guarantees at compiler time. In this case, types are less about doc
36.
by darkkindness 7y ago
That's interesting. Atom (last I checked) shows you profiling of how each package contributes to start-up time, and it's always been slow regardless. It seems like it's been consistently slow for 5.5 years now, which is unfor
37.
by darkkindness 7y ago
I'm a big fan of Alfred ( https://www.alfredapp.com/ ) however the GUI automation feature called Workflows is paid. The killer feature for me is being able to create global keybinds or custom Spotlight commands that can
38.
by darkkindness 7y ago
Just inject: td:nth-child(3) > span.pagetop { color: transparent; } Hides karma, leaves user and logout intact (as they're links)
39.
by darkkindness 7y ago
The following paragraph is a good summary, I think: > Anyone who cares about getting good grades has to play this game, or they'll be surpassed by those who do. And at elite universities, that means nearly everyone, since someone wh
40.
by darkkindness 7y ago
Thanks! > From the OOP perspective, though, monad is a pattern where you only have one behavior (bind) that you can customize, and you have to do everything through that one behavior. That looks like a straightjacket. Sure, it composes w
41.
by darkkindness 7y ago
> When playing AI Dungeon 2 the player can choose from several possible settings and characters. These choices generate a starting prompt and context sentence. The context sentence is always included as input to the model to help keep it
42.
by darkkindness 7y ago
I always see monad tutorials like this conflate (1) "understanding using particular monads" with (2) "understanding using monads in general", which are completely different things. Luckily it's easy to not confuse t
43.
by darkkindness 7y ago
Someone close to me taught me how to square knot, so my hoodie-tied-around-my-waist would stop slipping, as I was using a double overhand knot before. I'd also like to add that learning knots is honestly more of a 5-minute commitment t
44.
by darkkindness 7y ago
I've been trying to get into Notion, but the biggest downside is that I can't edit the markdown source of my documents nor can I use my own editor to edit their documents. I'm not happy with Notion's editor -- for instan
45.
by darkkindness 7y ago
Could you (or someone else) elaborate on Coinbase going beyond KYC requirements?
46.
by darkkindness 7y ago
Yes, yes yes! Encode invariants in your data, don't enforce invariants on your data. I particularly think this point needs to be stressed more, because practicably speaking, not every language has the typechecking faculties of Haskell:
47.
by darkkindness 7y ago
The author addresses some if not all of these points: "It's awkward as hell to use and takes way to many brain-cells to achieve simple results." > Even I find the above [react.js FRP] code hard to read, despite having writ
48.
by darkkindness 7y ago
Here is another example that is less of an isolated event: https://www.nytimes.com/2019/07/02/opinion/surveillance-stat...
49.
by darkkindness 7y ago
What I got from the article was that this is the wrong question to ask. Even if there are "right things" to be thinking, always feeding children the "right things" means they don't learn to deal with anything else.
50.
by darkkindness 7y ago
Ah, thanks for the link, that's super neat! I was looking for making changes that would persist across page loads or browser restarts, and this is exactly that. It's a shame that it's not a feature in Firefox's dev tools
51.
by darkkindness 7y ago
What's your process of editing client side JS? Is there some method to capture scripts before they load so you can make your modifications?
52.
by darkkindness 7y ago
I used to avoid sci-fi because of non-realism. Not my cup of tea to read insanely powerful tech used in really disappointing ways (e.g. Sophons from Three Body Problem writing timestamps), or for example societies in 2030 that are culturall
53.
by darkkindness 7y ago
Cheers!
54.
by darkkindness 7y ago
oh my, sure! [email removed]
55.
by darkkindness 7y ago
https://lobste.rs/ is a very similar community to HN. The catch is that registration is invite-only. By the way, if a lobsters user is reading this, I would love an invite :)
56.
by darkkindness 7y ago
That's also fun up to some point. Whenever I optimized for fewest cycles in Codex it usually turned out to be "work with as many atoms per cycle as you possibly can", or something silly like building a solution on one side an
57.
by darkkindness 7y ago
I love that. I've played most Zachtronics games as well as Robot Odyssey at 15, was hooked on Robot Odyssey for a week for the same reasons. The difficulty was a challenge rather than an impediment. What really got me was that the game
58.
by darkkindness 7y ago
As a future educator interested in how people think about code, I like these submissions! Whenever things like functional style or language syntax pop up on HN, they tend to create a big stink in comment threads, as people defend their (obv
59.
by darkkindness 7y ago
I love this koan but I would replace 'strong' with 'pure'. The fact that Float32 -> Float32 does not permit IO is due to purity. 'Strong' is kind of an ambiguous term here.
60.
by darkkindness 7y ago
Either and try-catch are basically the same thing, except try-catch is, as you say, baked into the language, while Either is just data, a value you can manipulate however you want. Usually they will have the same functionality, but in some

More ›