Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches

AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

  • 163 Posts
  • 562 Comments
Joined 1 year ago
Cake day: June 17th, 2023
  • demesisx@infosec.pubtoProgramming@programming.dev•Working from multiple computers - thoughts on auto-push branch to git repository?English
    13·
    11 days ago

    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.

  • demesisx@infosec.pubtoTechnology@lemmy.ml•China’s infosec leads accuse Intel of NSA backdoor, cite chip security flawsEnglish
    341·
    19 days ago

    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.

  • demesisx@infosec.pubtoEngineering Porn@lemmit.online•Gues what this is:English
    2·
    23 days ago
    the real answer from reddit

    This is a differential flowmeter used for measuring CO2 emissions in Lowstream Refinery. Its a DN1400 pipe with flow disturbing element, and measures pressure difference infront of and behind the cone, pressure difference is then electronically calculated into flow rate. Accuracy is 0,5% and saves milions of euros every year on emission allowances. All you need to do is input the density of the gas.

    :::

  • demesisx@infosec.pubtoAsklemmy@lemmy.ml•Can someone ELI5 why often lights set up with a dimmer also flicker?English
    2·
    2 months ago

    Hi Lazaro!

    That’s not always true, actually. For example, Digital Sputnik lights (and some LED tape that I have that I use my current control dimmers on) utilize current control dimming. This alternative type of dimming allows them to work even with super high speed frame-rates due to having very little or even no perceivable flicker. It’s certainly unpopular in comparison to PWM but definitely not unheard of in the film industry.

    I used to use the technique you mention with >2K tungsten lights for footage above 1000 fps. I figured out (in the absence of a budget that could afford a DC rectifier) that if I ran the same amount of lights on each of the legs of a 3 phase Delta style Gennie that they would effectively fill in each others’ pulses. I further enhanced that effect by shining all 6 5K’s (for example) on the same rag.

    I used that technique here: https://youtu.be/w9-NoEnWSgk

Moderates