[-] [email protected] 1 points 7 hours ago* (last edited 7 hours ago)

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.

3
submitted 1 day ago by [email protected] to c/[email protected]

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.

[-] [email protected] 13 points 1 day ago

I think they had far more nefarious reasons than that. They intentionally try to divide themselves from the other corporate party to keep us (the poor) infighting. It was a simple exercise in branding.

Let’s put it this way: If this were the WWF, they were chosen to play the role of the Undertaker so we’d fight hard for Hulk Hogan despite Hulk Hogan being good friends with the Undertaker (indeed working WITH the undertaker all along) to take away our basic freedoms. They like to show us the blatant evil so that we’ll accept the fake good guys as our allies.

[-] [email protected] 7 points 2 days ago* (last edited 1 day ago)

I’ve been thinking a lot about this. Another way might be for a Lemmy instance to run a stake pool from the same machine. They could offer perks to users while also not requiring donations directly. Perhaps even reward users with the pool’s native tokens for every post they submit or something (this is a great place to bring up the drawbacks and very real issues that offering a perverse incentive can have: Cobra Effect).

The tech chosen is a key decision(in this case Cardano would be my recommendation honestly because I prefer the tech and not because I have a bag of it) because that stake pool could mint native tokens and use those as a currency for use on their instance if we used Cardano. Native tokens on Cardano are cheaper and not subject to the same fees as other (ERC-20) chains to use and mint. So it would allow that instance to have its own native currency with very little overhead.

Look at Kbin’s old code. There’s some mention of Cardano wallets on there so I’m guessing that the creator of that was interested in this idea.

[-] [email protected] 9 points 2 days ago

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

[-] [email protected] 35 points 2 days ago

Let's go one further and compel Apple, Microsoft, and Google to open source their entire operating systems. :)

[-] [email protected] 9 points 2 days ago* (last edited 2 days ago)

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

11
submitted 2 days ago by [email protected] to c/[email protected]

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

12
submitted 2 days ago by [email protected] to c/[email protected]

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

12
submitted 2 days ago by [email protected] to c/[email protected]

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.

[-] [email protected] 10 points 2 days ago

Laughs nervously in a Boston accent….

8
submitted 2 days ago by [email protected] to c/[email protected]

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.

4
submitted 2 days ago by [email protected] to c/[email protected]

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.

6
submitted 2 days ago by [email protected] to c/[email protected]

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.

10
submitted 2 days ago by [email protected] to c/[email protected]

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.

[-] [email protected] 11 points 3 days ago* (last edited 2 days ago)

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.

12
submitted 3 days ago by [email protected] to c/[email protected]
11
submitted 3 days ago by [email protected] to c/[email protected]
12
submitted 3 days ago* (last edited 3 days ago) by [email protected] to c/[email protected]

"This exercise of consensus building is one of the hidden superpowers and the biggest competitive advantages that Cardano has."

  • Charles Hoskinson, CEO, Input | Output

Watch the replay of 'Reflecting on Cardano's Growth:

A Fireside Chat with Input | Output & the Cardano Foundation' from Rare Evo 2024. Thank you to Charles, J.J. Siler, Chief of Staff, Input | Output and Giorgio Zinetti, CTO at Cardano Foundation for their engaging discussion at #RareEvo24.

[-] [email protected] 11 points 3 days ago* (last edited 3 days ago)

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.

[-] [email protected] 13 points 3 days ago* (last edited 3 days ago)

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.

12
submitted 3 days ago by [email protected] to c/[email protected]

This guy is absolutely incredible. He does a great job at breaking down advanced concepts into understandable and even entertaining content; an absolutely brilliant engineer undoubtedly but also great at making videos.

[-] [email protected] 12 points 3 days ago

I’m looking into using NOSTR on a project that was originally going to be a Lemmy fork that allows retailers to broadcast their inventories to decentralized aggregators (or even run their own).

[-] [email protected] 15 points 4 days ago

Sneakers is one where a remake might actually be welcomed. I adore the original but spycraft has changed so much. It’s a fascinating genre too. Probably my favorite.

view more: next ›

demesisx

joined 1 year ago
MODERATOR OF