They're pretty easy to type on Android keyboards and on macOS (option + shift + -). You can set up a similar compose key thing on Linux.
16,934 karma · joined September 12, 2011
I am interested in programming languages, functional programming (especially Haskell), domain-specific languages, static analysis and program synthesis.
I am working on apply programming language ideas to supply chain planning.
I worked on supply chain optimization at Target for several years, and co-authored a textbook on reinforcement learning based on that experience.
contact: http://jelv.is, tikhon@jelv.is
They're pretty easy to type on Android keyboards and on macOS (option + shift + -). You can set up a similar compose key thing on Linux.
You can take it further with a reasoning model and let it generate + consume a bunch of additional tokens before getting your output. Still not writing or running any programs.
To my understanding, that's how the examples of determining which game a small neutral net was trained to play. The weights of the neural net for into the context window, and then Astra was able to analyze them purely by reasoning rather than running external tools.
Writing safe C is a matter of either radically different (much, much slower) process or better tooling or both. Skill is not sufficient.
And we've also seen how legacy systems refuse to die :(
Point being, outside competitive games, I do not expect monitor hardware to be anywhere near the bottleneck for latency and response times.
Good times.
I don't remember too much of what I did, but I made a couple of maps one of which was hosted on a server for a week or something. It wasn't especially good, but it was a pretty amazing experience that somebody else thought something I made was good enough to try out, and that I could log into a "real" server and see it in action :P
Hell, I've worked with programmers who, entirely honestly, treated "object oriented programming" as a synecdoche for good programming...
Now, is it possible that Apple's software issues are proximally caused by production pressure? Absolutely. That's almost definitely a major contributor. But the production pressure is not inherent to their device business; it's a choice the organization, collectively, makes.
The upsides of having a de facto monopoly, I suppose—lamentably common story in tech.
Depending on context saying "I'm going to rob the bank X tomorrow" might also count as a threat?
But, in either case, writing this in a private diary could not be incitement or a threat because you are not communicating with anybody except yourself.
Having an effect system so that Claude is not tempted to throw in side-effects everywhere helps a lot too!
And to build up a large amount of new capacity yourself, you need to invest a massive amount of capital into something relatively risky.
But, in my experience, the projects where I have a constant pulse on the core design and abstractions in the code end up moving much faster than the ones where I don't. And I've been working on one of each at work recently, so I have a decent point of comparison.
But on my desktop with two 27" monitors, I find tiling incredibly useful. It's really nice to be able to quickly arrange a mix of Emacs windows, browsers and random other programs to use all that space. If I need to closely read through some documentation while also looking at code, I can quickly open a browser next to the code window. Later, when I want to focus on just code, I can send the browser to the other monitor or to a different workspace altogether. And I can juggle "side" stuff (chat windows, OBS, music, whatever) just as easily.
The key thing is that XMonad with some lightly customized layouts gives me the operations to do all of this quickly without needing to think about it. It only takes a couple of keystrokes to get to the state that I want at any time and, after a pretty short time, those keystrokes became muscle memory. Using a mouse to drag things around is more intuitive and flexible, but it requires shifting my attention far more than just using a single keyboard command. (And thanks to ADHD, that kind of distraction can be a real drag on my mental energy!)