demesisx

joined 1 year ago
MODERATOR OF
[–] [email protected] 13 points 1 week ago* (last edited 1 week ago) (1 children)

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.

[–] [email protected] 11 points 1 week ago

Thank you, Simon Peyton Jones.

[–] [email protected] 11 points 1 week ago

This is ABSOLUTELY the case in Boston.

[–] [email protected] 20 points 1 week ago

Looks like we won’t be getting fired for using Nix very soon.

[–] [email protected] 2 points 2 weeks ago (5 children)

Says the Zionist piece of shit, cheering on a genocide.

[–] [email protected] 9 points 2 weeks ago

Loving this bot. It allows me to not have to be alert constantly about new videos on this subject.

[–] [email protected] 18 points 2 weeks ago* (last edited 2 weeks ago)

They usually prefer girl bosses that aren’t publicly proud of being steaming piles of racist and sexist dogshit.

She chose the wrong crowd to pander to. You see, the poor (of every race) are the only minority that Disney Co truly loathes.

[–] [email protected] 15 points 2 weeks ago

Thanks for setting me straight. I’ll still be pushing the idea of RISC-V.

[–] [email protected] 24 points 2 weeks ago* (last edited 2 weeks ago) (13 children)

Look it up. The latest generation of Intel chips have incredibly egregious issues.

If you think you’re owning the Chinese by supporting Intel, you’re very misguided. Instead, you should be hoping for RISC-V to catch on because closed architectures are vastly more vulnerable to exploitation. They represent an unknown tech stack which is a no-no for anyone who actually values freedom, privacy, and liberty. They also cost tens of millions to create while RISC-V costs significantly less since it doesn’t require a company to buy a million dollar license to build on a closed architecture.

[–] [email protected] 15 points 2 weeks ago

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

[–] [email protected] 57 points 2 weeks ago (8 children)

Don’t be conflicted. RISC-V or GTFO.

[–] [email protected] 37 points 2 weeks ago

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

 

The most recent release of GHC includes a technology preview of a WebAssembly backend. This allows Haskell code to run in many new contexts.

GHC's WebAssembly backend is based on an earlier research compiler called Asterius. In this talk, Cheng Shao, the main author of both projects, presents an introduction to WebAssembly and why compiling Haskell to it is different than other platforms. The talk includes many details about why the backend is the way it is, along with instructions to work on it.

This talk was presented at the 2023 GHC

Contributor's Workshop in Rapperswil, Switzerland, colocated with Zurihac. The workshop was arranged by the Haskell Foundation, OST Eastern Switzerland University of Applied Sciences, and the GHC development team.

Cheng Shao is a full-time software engineer at Tweag, where he has been working since 2018. His main contribution to GHC is the WebAssembly backend, which grew out of his early research project, a Haskell-to-WebAssembly compiler codenamed Asterius. He focuses on maintaining the GHC WebAssembly backend, adding new functionality, as well as other GHC work that involves code generation and the runtime system.

 
 

I've seen a bit of chatter recently in the PS community about dependent types. Many of us that have been using PureScript for years love it because of its simplicity and elegance, and there has been resistance in the community to build out the complexity, both syntax-wise and implementation-wise, of a full-blown dependently-typed language à la Idris and Agda.

But another reason that there's not much community momentum behind adding dependent types to PureScript is because PureScript already has dependent types 😁

 

Discover how #blockchain is transforming identity management in this panel discussion held in August 2024 at Rare Evo in Las Vegas, Nevada.

In this panel discussion, 'Identity in the Age of Blockchain?' David Harding, General Manager of Atala PRISM at Input | Output moderates a discussion between Charles Hoskinson, CEO at Input | Output, Mike Ward, Chief Product Officer at Input | Output, Daniela Barbosa, Executive Director at Hyperledger Foundation, and Jon Bauer, CEO of Sign.

 

cross-posted from: https://infosec.pub/post/17757735

MGpai and Alex Chepurnoy host the Weekly Update and AMA - they will be updating the Ergo community and answering your questions, so please ask them anything in the live chat!

Ergoversary 2024: https://youtube.com/playlist?list=PL8...

  • Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ -

Website https://ergoplatform.org/ Whitepaper https://ergoplatform.org/en/documents/ Ergonaut Handbook: https://ergonaut.space/en/home Block Explorer https://explorer.ergoplatform.com/ Github https://github.com/ergoplatform/ergo Exchanges https://ergoplatform.org/en/exchanges/ Twitter https://twitter.com/ergoplatformorg Reddit https://www.reddit.com/r/ergonauts/ Telegram https://t.me/ergoplatform Discord https://discord.com/invite/kj7s7nb BitcoinTalk https://bitcointalk.org/index.php?top...

#ergo #Platform #blockchain #Layer1 #crypto #smartcontracts #pow #cryptocurrency #ergo2top10 #5.0 #proofofwork #Minable #mining #merge #LowCapGem #Bitcoin #UTXO #eUTXO #BPSAA #Gem #NFT #Oracle #ErgoDEX #OraclePools #PoWtothePeople #AMA #DanFriedman #IOHK #Cardano #AlexChepurnoy #kushti #smartercontracts #zengate #dexy

Sigmanauts: A community-run platform bringing exposure to the Ergo ecosystem. http://sigmanauts.com Join the sigmanauts: https://ergoplatform.org/en/blog/the-...

  • Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ -

Website https://ergoplatform.org/ Whitepaper https://ergoplatform.org/en/documents/ Ergonaut Handbook: https://ergonaut.space/en/home Block Explorer https://explorer.ergoplatform.com/ Github https://github.com/ergoplatform/ergo Exchanges https://ergoplatform.org/en/exchanges/ Twitter https://twitter.com/ergoplatformorg Reddit https://www.reddit.com/r/ergonauts/ Telegram https://t.me/ergoplatform Discord https://discord.com/invite/kj7s7nb BitcoinTalk https://bitcointalk.org/index.php?top...

#ergo #Platform #blockchain #Layer1 #crypto #smartcontracts #pow #cryptocurrency #ergo2top10 #5.0 #proofofwork #Minable #mining #merge #LowCapGem #Bitcoin #UTXO #eUTXO #BPSAA #Gem #NFT #Oracle #ErgoDEX #OraclePools #PoWtothePeople #AMA #DanFriedman #IOHK #Cardano #AlexChepurnoy #kushti #smartercontracts #zengate #dexy

Sigmanauts: A community-run platform bringing exposure to the Ergo ecosystem. http://sigmanauts.com

 

MGpai and Alex Chepurnoy host the Weekly Update and AMA - they will be updating the Ergo community and answering your questions, so please ask them anything in the live chat!

Ergoversary 2024: https://youtube.com/playlist?list=PL8...

  • Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ -

Website https://ergoplatform.org/ Whitepaper https://ergoplatform.org/en/documents/ Ergonaut Handbook: https://ergonaut.space/en/home Block Explorer https://explorer.ergoplatform.com/ Github https://github.com/ergoplatform/ergo Exchanges https://ergoplatform.org/en/exchanges/ Twitter https://twitter.com/ergoplatformorg Reddit https://www.reddit.com/r/ergonauts/ Telegram https://t.me/ergoplatform Discord https://discord.com/invite/kj7s7nb BitcoinTalk https://bitcointalk.org/index.php?top...

#ergo #Platform #blockchain #Layer1 #crypto #smartcontracts #pow #cryptocurrency #ergo2top10 #5.0 #proofofwork #Minable #mining #merge #LowCapGem #Bitcoin #UTXO #eUTXO #BPSAA #Gem #NFT #Oracle #ErgoDEX #OraclePools #PoWtothePeople #AMA #DanFriedman #IOHK #Cardano #AlexChepurnoy #kushti #smartercontracts #zengate #dexy

Sigmanauts: A community-run platform bringing exposure to the Ergo ecosystem. http://sigmanauts.com Join the sigmanauts: https://ergoplatform.org/en/blog/the-...

  • Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ - Σ -

Website https://ergoplatform.org/ Whitepaper https://ergoplatform.org/en/documents/ Ergonaut Handbook: https://ergonaut.space/en/home Block Explorer https://explorer.ergoplatform.com/ Github https://github.com/ergoplatform/ergo Exchanges https://ergoplatform.org/en/exchanges/ Twitter https://twitter.com/ergoplatformorg Reddit https://www.reddit.com/r/ergonauts/ Telegram https://t.me/ergoplatform Discord https://discord.com/invite/kj7s7nb BitcoinTalk https://bitcointalk.org/index.php?top...

#ergo #Platform #blockchain #Layer1 #crypto #smartcontracts #pow #cryptocurrency #ergo2top10 #5.0 #proofofwork #Minable #mining #merge #LowCapGem #Bitcoin #UTXO #eUTXO #BPSAA #Gem #NFT #Oracle #ErgoDEX #OraclePools #PoWtothePeople #AMA #DanFriedman #IOHK #Cardano #AlexChepurnoy #kushti #smartercontracts #zengate #dexy

Sigmanauts: A community-run platform bringing exposure to the Ergo ecosystem. http://sigmanauts.com

 

cross-posted from: https://infosec.pub/post/17752039

The making of the Hydra Doom experience.

I find it fascinating that Doom’s “determinism” (identical inputs will produce identical results in the gameplay) makes it possible to encode entire playstreams on-chain and have each of them compete against each other. Detractors of Cardano may accuse it of being relatively slow due to its high security on layer 1 compared to Solana, but layer 2’s like Hydra make that decision to prioritize determinism and statelessness look visionary when the roadmap is unfolded. Extended UTXO is paying off when it comes to parallelism.

Hats off to the Hydra team!

Ps. Yes. Technically I know it is not running Doom. Nonetheless this is a great demonstration of the power of the Hydra zk roll up tech.

 

106,940 views Premiered 21 hours ago Pioneers of extreme metal, the Swedish group Meshuggah are renowned for their virtuoso style. Founded in 1987, the group has forged a unique sound, characterized by complex polyrhythms and aggressive riffs. Each appearance of Meshuggah on stage is an event where the boundaries of metal are further pushed. The Summer Breeze 2024 stage will shake!

With Meshuggah, Summer Breeze 2024 makes the hearts of tens of thousands of metalheads beat faster. For four days, festival-goers savor the richest and most varied that the metal scene has to offer. All in the unique and relaxed atmosphere of Dinkelsbühl, a small town in the northwest of Bavaria which has hosted the event since 2006.

Filmé le 14 août au Summer Breeze Open Air 2024 de Dinkelsbühl.

0:00 Intro 4:12 Broken Cog 9:48 Rational Gaze 14:54 Perpetual Black Second 20:27 Kaleidoscope 24:49 God He Sees In Mirrors 30:39 Born in Dissonance 35:09 Mind's Mirrors 39:38 In Death - Is Life 41:40 In Death - Is Death 49:41 Humiliative 56:01 Future Breed Machine 1:04:20 Bleed 1:11:59 Demiurge


[AVAILABLE UNTIL 12/09/2025]

More concerts on our website : https://www.arteconcert.com You can also find us on : Facebook : / arteconcert
Twitter : / arteconcertfr
Instagram FR : / arteconcertfr
Instagram DE : / arteconcertde

 

cross-posted from: https://infosec.pub/post/17752039

The making of the Hydra Doom experience.

I find it fascinating that Doom’s “determinism” (identical inputs will produce identical results in the gameplay) makes it possible to encode entire playstreams on-chain and have each of them compete against each other. Detractors of Cardano may accuse it of being relatively slow due to its high security on layer 1 compared to Solana, but layer 2’s like Hydra make that decision to prioritize determinism and statelessness look visionary when the roadmap is unfolded. Extended UTXO is paying off when it comes to parallelism.

Hats off to the Hydra team!

Ps. Yes. Technically I know it is not running Doom. Nonetheless this is a great demonstration of the power of the Hydra zk roll up tech.

 

cross-posted from: https://infosec.pub/post/17752039

The making of the Hydra Doom experience.

I find it fascinating that Doom’s “determinism” (identical inputs will produce identical results in the gameplay) makes it possible to encode entire playstreams on-chain and have each of them compete against each other. Detractors of Cardano may accuse it of being relatively slow due to its high security on layer 1 compared to Solana, but layer 2’s like Hydra make that decision to prioritize determinism and statelessness look visionary when the roadmap is unfolded. Extended UTXO is paying off when it comes to parallelism.

Hats off to the Hydra team!

Ps. Yes. Technically I know it is not running Doom. Nonetheless this is a great demonstration of the power of the Hydra zk roll up tech.

view more: ‹ prev next ›