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 initially shocked that someone would rewrite it themselves. Then I saw the breakdown of the algorithm and realized it may not be as complicated as I first thought.

All that being said, as a general rule it is hard to know what the hidden complexities may be until you are finished implementing the algorithm.

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 the language and “standard library” (if you could call it that?) is well designed and has excellent documentation.

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 also used it to generates quotes (in terms of finances, invoice etc.). It was neat because all of the logic for adding up the subtotal was written in the language (and was fairly easy to understand). I can imagine trying to do that logic in LaTeX…

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 product when acquired.

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 profound impact.

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. Similar to OP, I haven’t been able to achieve the clarity of mind and creative thoughts that are promised by a second brain.

While I do think that deleting the whole thing is extreme, I can imagine that there is a level of catharsis experienced by that.

Lately I have subscribed to Oliver Burkeman’s (author of “4,000 Weeks”) line of thinking where life, and subsequently thoughts, are more meant to be experience rather than optimized. For me, I have seen a negative drop in “life enjoyment” when I have tried to capture everything, and have yet to realize the results and even stick with it consistently (which may be the reason for not seeing the positives).

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 be longer than a line.

I agree that this is a tooling problem, but magit is a breath of fresh air in many ways (including verbose commit messages).

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 website is the best that I have found! Thanks Hakan.

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 model gets complex it can become unwieldy.

We used it to create models of networked biological systems (e.g. the immune system, gene regulatory networks, etc.). The network topology was constructed from mined academic literature and then the model was constrained using data. The great thing about using MiniZinc was that it could propose multiple models with the same or similar “accuracy” to the data. You would then have an ensemble of models from which to make predictions (i.e. how does a drug affect the system).

We would have MiniZinc files that were 10s or 100s of MBs and would run for days. Sometimes they would be unsatisfiable within a few seconds, other times within hours. Many of the solvers are single threaded, and those that are multithreaded don’t seem to be much more efficient with more cores.

MiniZinc is very difficult to debug and the paradigm shift can be jarring coming from procedural languages. However, I am grateful it exists and for the work that many have put into it. Similar to the train yard comment, we used Python to construct the MiniZinc models and then submitted them to the solvers via the minizinc-python package which is well written and meek maintained.

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 objective

- Picat, http://picat-lang.org/ a general purpose language that specializes in logic and optimization

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 concept of "layers," but IMO it is much easier to figure out what the layers are doing and customize them from there.

Also, I have found Doom to be much quicker (takes about 2 seconds to load, not using server/client) and less buggy than Spacemacs. I would highly recommend giving Doom a try!

I really enjoy using ox-hugo to blog as well, it works very well and does everything that I need it to do! @kaushalmodi did a great job developing it