While laudable, this seems significantly harder to implement than banning advertising. Not that either are particularly feasible policies but this one seems harder.
https://www.hillelwayne.com/post/graph-types/ gives an interesting take on why we don't see a graph type as a primitive on more programming languages. Essentially boils down to graphs being very vague and depending on the topology of your graphs you are going to want different implementations for reasonable efficiency.
I like this. Testing the browser extension now and pretty happy with it (after tweaking so returning to a tab has a grace period). I was using StayFocused, which is okay, but too tempting to just disable it (and annoying if I need to access a blocked site for work purposes).
Java Streams and Kotlin Sequences provide similar iterator capabilities. Iterators are great for this lazy performance but can sometimes be difficult to debug. Especially if you are nesting many iterators, then extracting the underlying collection can be complicated. But necessary in many workflows.
Excited to hear about Hardcover! I like StoryGraph but the lack of API frustrates me - I want to be able to sync back to my general notes store (Obsidian). Hopefully Hardcover works better with that.
>Debug information tends to be large and linking it slows down linking quite considerably. If you’re like many developers and you generally use println for debugging and rarely or never use an actual debugger, then this is wasted time.
Interesting. Is this true? In my work (java/kotlin, primarily in app code on a server, occasional postgres or frontend js/react stuff), I'm almost always reaching for a debugger as an enormously more powerful tool than println debugging. My tests are essentially the println, and if they fail for any interesting reason I'll want the debugger.
What are some of the challenges involved with international hiring in a remote environment? I work at a fully remote startup with ~200 employees. We hire from a couple dozen countries but I know there are fairly significant barriers whenever we add a new one. What are some of those challenges? Are they getting more streamlined?
But the nonempty list never has an element, so we don't need to worry about the type mutation of removing an element from it. Filter just returns a nonempty list.
The problem is that user inferring doesn't scale. For small projects this is reasonable but for enterprise software engineering it is easy for a constraint that isn't enforced by the type system to be missed by an engineer leading to a bug. Whereas typed constraints naturally propagate throughout the system.
Big fan of todoist. I've been using it for less than a month, but have already switched to the yearly subscription. I use Obsidian for my notes, but for remembering to do something, I now use Todoist. Any passing thought that I want to deliberately go back to (or even patterns of thinking, like every 6 months, reflect on this concept) can be put into Todoist and I know that I'll see it again.
I contemplated trying to do all of this in Obsidian but the conventional advice seems that while you can, it isn't worth it. Todoist offering a simple mobile interface where I can quickly add a task is great. I wish reminders worked a little better (I'd been using alarms on my phone for reminders I want at a specific time, and Todoist reminders aren't nearly as attention grabbing).
I've noticed some streaming platforms have ads for other shows/movies they've made. I don't love these but can tolerate them because:
1. They are only at the start of a show, so I'm not interrupted.
2. They offer a skip button.
3. They are ads for somewhat-relevant content and I don't tend to explore the space of other things to watch very much.
That said, it's a knife-edge for me. If they got even a smidgeon worse I probably wouldn't watch anything on those platforms.
Linking is an exceptionally good idea. It is very transformative to how I think about organizing information and doing it with Obsidian the past few months has felt great. Besides future proofing, I love the speed of processing a simple text format like markdown (plus local first) allows. Everything opens instantly, which feels very different from things like Google docs or Microsoft Word. About the only note tool it doesn't replace for me is spreadsheets that use math. There are plugins but it doesn't feel quite as clean as Google sheets for this purpose.
Highly recommend Freya's various deep dives into various game development contents. She also has twitch vods for developing those videos which are also fascinating.