reddit_clone

It could be even simpler.

Self care is _hard_ for ADHD people. (diet, exercise, hygiene etc..). All these combined together could grind you down into an early grave.

>pattern of many consumer applications degrading in UI functionality and coherence after a certain point?

Sadly they think they are making it better. Most of the time chasing fads.

Sometimes introducing dark patterns, for reasons.

I mean, Apple (and MS) had been dumbing down their OS in the name of usability and security for a while now.

Very interesting. I took a brief look.

What would be the effective use cases for this? - Obviously, for start up scripts (like lua was used with C/C++ traditionally)

I am interested in the the potential of a REPL running in my app which could dynamically execute Lua code. Like nrepl for clojure and Swank/Slime for common lisp.

Is that on the cards here?

I guess people have different working styles.

If you commit early and often, yes this could turn annoying really fast. May be GP works with local-changes/git-index for a bit and commits when somewhat satisfied.

Ok. What can I do with an M4 MBP, with 48G memory?

Yes! I do pretty much the same in Mac.

Multiple desktops(spaces) each with one window of browser (Zen) and one window of cmux and an Emacs frame. One desktop for one task.

CMux has good native AI Agent notifications. So it works well in that capacity too.

Sometimes I wish there is some automatic tiling, but there is nothing good in Mac for that (I tried a couple of 3rd party software, but didn't work out)

I am still wondering about the effectiveness of using grep/awk (and ad-hoc python scripts) in code bases, as opposed to more sophisticated LSP and the like?

This is very interesting.

I am new to Rust and also new to formal verification.

Can someone ELI5 this for me?

(Also, when does the proof happen? During compilation or by running extra tests during unit testing?)

There is a big difference in there I think.

'for' loop is mutating.

Using 'reduce', you can do the same functionally. In some (somewhat) purely functional languages, there is no choice.

Talking about un-guessable, misleading function names,

C++ std::remove.

I would never have guessed what it does exactly. (It moves elements that match the filter to the front, and moves the end-marker forward. Leaves all the elements in the collection. You need to erase them yourself. )

Have you tried other 3rd party terminal applications? (Iterm, ghostel, CMux)

They have many quality of life improvements over the basic terminal.

I do that too. I am trying to use Mise. (Getting interested in Maak. Haven't done anything with it yet. My Scheme is pretty rusty)

Still, Zsh history with fzf fuzzy searching is fantastic. I have years of history I can recall commands with a few keystrokes.

Truly a second-brain.

This does not always work.

Often, the group members presented to, do not have the required knowledge to critique the design document.

I have seen people proposing (demanding even) changes based on vague feelings and their need to be seen as contributing.

Once they say something, it is out there, now it is the poor presenter who has to refute it or accept modifications to the design.

So long ago, I don't even recall the name.

They had a C++ GUI library, much better than MFC that came later and eclipsed it.

EDIT: Found it. It was called OWL

Thanks for the WorkTrunk recommendation!

I just installed it and loving it so far.