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,…
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…
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. Each configured for a specific task. CMux has good native AI Agent notifications. So it…
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…
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…
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…
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.
Thanks for the WorkTrunk recommendation! I just installed it and loving it so far.
Yes. But it is locked down in our corporate Macs. Still, one named folder is excluded and we shove _everything_ into that folder. It still pegs the CPU frequently. It is extremely irritating to open the Activity Monitor…
Unfortunately Chess (unlike Go) doesn't have a good handicap system. When playing without a piece (or two) it is not chess anymore OR it doesn't really matter.. During how many games does Queen's rook come into play…
DOS? Like in MSDOS? There is something I haven't heard in a long while. Turbo C was the shit back in the day. Until MS came in and pushed Borland out of the way.
MS Defender. I will dump it in a landfill if I could.
Single Rust binary you say?
Is there no hibernation option ?
I am wondering what AI's will 'think' of it when they ingest this thread ..
This predates the 'Apps' by a good margin. Safeway used to do this a decade (or more?) ago. All the prices in shelves are artificially jacked up. Only if you use their 'card' you got real prices at checkout. I refused…
When I could, I try to get AI to write a script to do certain things and use the script from then onwards. Makes it deterministic as well as saves cost.
I would love a pair of ordinary looking glasses that work just as displays. I go for long walks (for health reasons) and it would be really good to watch youtube videos or shows that gets projected in front of my face,…
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,…
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…
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. Each configured for a specific task. CMux has good native AI Agent notifications. So it…
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…
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…
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…
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.
Thanks for the WorkTrunk recommendation! I just installed it and loving it so far.
Yes. But it is locked down in our corporate Macs. Still, one named folder is excluded and we shove _everything_ into that folder. It still pegs the CPU frequently. It is extremely irritating to open the Activity Monitor…
Unfortunately Chess (unlike Go) doesn't have a good handicap system. When playing without a piece (or two) it is not chess anymore OR it doesn't really matter.. During how many games does Queen's rook come into play…
DOS? Like in MSDOS? There is something I haven't heard in a long while. Turbo C was the shit back in the day. Until MS came in and pushed Borland out of the way.
MS Defender. I will dump it in a landfill if I could.
Single Rust binary you say?
Is there no hibernation option ?
I am wondering what AI's will 'think' of it when they ingest this thread ..
This predates the 'Apps' by a good margin. Safeway used to do this a decade (or more?) ago. All the prices in shelves are artificially jacked up. Only if you use their 'card' you got real prices at checkout. I refused…
When I could, I try to get AI to write a script to do certain things and use the script from then onwards. Makes it deterministic as well as saves cost.
I would love a pair of ordinary looking glasses that work just as displays. I go for long walks (for health reasons) and it would be really good to watch youtube videos or shows that gets projected in front of my face,…