Viewing profile — colelyman

The plans may have comparable prices, but the API rates are much cheaper. Especially because it is open weights, so there is competition on places like OpenRouter.

Could you elaborate as to what the difference is between your overriding goal and your next step goal?

I have had good success with the plans generated by https://github.com/obra/superpowers I also really like the Socratic method it uses to create the plans.

I feel like going to the source of an algorithm/implementation is a super power, as illustrated by this example. Having used Graphviz for fairly complex visualizations I was initia…

I haven’t explicitly recreated a template for an academic venue, but I have recreated a custom template to match and existing PDF. It was pretty straightforward to recreate it as t…

I love Typst! Currently rewriting my CV in Typst and it has been an excellent experience. One small hindrance is the inability to have multiple bibliographies. In the past I have a…

Agreed, to make it even more interesting Browser Company discontinued Arc earlier this year. So not only did they do all of the things OP listed, but also didn't have a current pro…

Interesting to think about if finding a database dump of messages 30 years from now would bring back the same nostalgia. I would think that the tangible aspect would have a more pr…

I have been enamored with developing a second brain and other productivity hacks, but have recently been turned off to them, because I believe the benefits are over-promised. Simil…

I went to the link thinking that I could now file my taxes with the IRS through GitHub, which I honestly have mixed feelings about.

Did you follow plans for your homemade transmitters? Or if not, have you written it up? I would definitely be interested in making some.

Have you seen http://www.hakank.org/ ? Mostly about constraint programming, but definitely in the realm of operations research.

> lasts a lifetime You need to renew the license every 10 years, but as long as you renew you don't need to take a test (which is maybe what you mean by "lasts a lifetime").

One tool that I think promotes commit messages like the OP is magit in Emacs. Before using magit, I always used `git commit -m '...'` and didn't realize that commit messages could …

First I have heard of this term, but may be referring to searching for gold along a stream or River. Source: https://www.doc.govt.nz/parks-and-recreation/things-to-do/go...

Hakan’s examples have illustrated so many constraint programming principles, his site is a wealth of knowledge! For the comments referring to examples more complex than Sudoku, his…

I used MiniZinc extensively in my previous position, and have mixed feelings about it. As is stated in other comments, it works very well for specific small problems, but when the …

Have you tried https://ohmyz.sh/ ? It is the closest thing to SpaceMacs/SpaceVim for ZSH that I know of.

Perhaps I’m missing something, but how does Substack have increased rigor over a personal blog or Twitter? Not meant as a criticism, but asked in earnest.

A few tools that I use for solving optimization problems in practice are: - MiniZinc, https://www.minizinc.org/ a constrain set programming language that can also optimize an objec…

I completely agree, I have had a very similar experience with Henrik.

I am a convert from Spacemacs to Doom, and I have found that one of the main differences that sets Doom apart is easier configurability than Spacemacs. In Doom, there is still the …