I’m genuinely curious why you’d want to do that. Mine is timed to coincide with the circadian rhythms of the GPS coordinates and those are provided as hard-coded values in my config. I suppose the only optimization I could imagine is a script where it would get my IP then correspond that with GPS coordinates so I could have circadian screen coloring wherever I go with my laptop.

My point is, it’s a setting that I don’t turn off because that would defeat the purpose of the app.

I do this on NixOS. I have a NAS at home where I store most of the files I work on. My computers are internally immutable and almost all the files that change reside solely on the NAS as NFS shares. All of my computers are configured to auto-mount one of its folders at boot. NixOS sees that as an internal drive.
Then, simply navigate to the project folder where I have a flake and a .envrc file containing the command use flake .which will make direnv use Nix to provision the dependencies automatically. Whenever I save, those changes are reflected on all computers.

I like to also version control everything using git and this method allows that transparently.

The only part that I am missing is getting the permissions to align between all computers accessing that same folder. Sometimes I have to create a temp folder that uses rsync to keep up with any changes. If anyone has any pointers, I’m all ears. It rarely gets in my way but does rear its head sometimes. Otherwise, this setup is perfect when I’m at home.

Removed by mod

95% likely China could use them as a DDOS attack vector someday. They’re ubiquitous. Espressif Systems is a Chinese company based in Shanghai.

We need widespread adoption and innovation in OPEN ARCHITECTURES like RISC-V. Anything else is just citizens and companies being used as pawns to do the dirty work for rivaling nation states that spy on and stifle the liberties of their own citizens.

The US government has most likely hidden a back door in Intel chips and China has most likely hidden a back door into ARM, ESP8266, ESP32, and other chipsets. No one can ever prove this conclusively without violating NDA’s because these are closed architectures.

Hopefully this sticks. IMO, movie studios need to keep attracting customers or the whole film industry will stay dead.

Sounds like a politician that yearns to profit from pharmaceutical companies like his big brothers in the corrupt United States.

:)

I am definitely 5’11" and 3/4" and I definitely don’t report it as 5’11" no one is going to pull out a measuring tape on me.

Hard to describe in one phrase other than to say:

NixOS is to Linux as Unison is to Haskell

Content-addressing used in the context of programming languages in the service of solving the problem of distributed systems and their inability to share code across time and space.

Haskell has a content-addressed module that was perhaps influenced by Unison.

Here’s an excellent interview with one of the authors of Unison:

https://youtu.be/zHzpoVgqgc4

As others have said, Haskell and Rust are pretty great. A language that hasn’t been mentioned that I REALLY want to catch on, though, is Unison.

Honorable mention to my main driver lately: Purescript

I used to think json was the best until I found json lines or line delimited json. Thank me later. I use it all the time. You can append until you’re blue in the face. It’s great for log files. Each line is a valid json file.

No problem. I hope others can be more helpful. I’m most often interested in working with a virtual condom over top of JavaSvript. 😜

Perhaps it is irrelevant to your question since it does require transpilation (Purescript Module), but I have recently fallen in love with the Deku UI framework in Purescript. It works in an FRP style and draws direct influence from React. Purescript is SUPER obscure, but in this context, FRP is really elegant. It even has a mechanism to type-check raw chunks of html at compile time.

The Documentation: https://deku-documentation.vercel.app/

the part most relevant to your question: https://deku-documentation.vercel.app/functional-reactive-programming/events

It’s not important unless Xmonad was being used for some kind of task where human lives are at risk if a mistake was made. In my case here (and indeed much of the Haskell world) it’s just fun to surround myself with software of that kind of code quality/reliability.

I’m glad you asked!

Formal verification is an automatic checking methodology that catches many common design errors and can uncover ambiguities in the design. It is an exhaustive methodology that covers all input scenarios and also detects corner case bugs.

One of the most futuristic companies I know of is Runtime Verification that uses formal Methods in industry. They have a list of accomplishments that seem like vaporware including a semantic babel fish called the K framework that can translate between languages based on formal, semantic definitions of each.

Try Xmonad! I run a community for it at https://infosec.pub/c/xmonad

It’s super lightweight and is the only formally verified window manager. There’s a new version being created for Wayland called Waymonad.

deleted by creator

deleted by creator

deleted by creator