> King Gizzard & the Lizard Wizard - Polygondwanaland (Full Album) > @kinggizzard > @flightlessrecords > @desertmossrecords > https://kinggizzard.bandcamp.com/albu... > > 00:00 - Crumbling Castle > 10:46 - Polygondwanaland > 14:16 - The Castle In The Air > 17:00 - Deserted Dunes Welcome Weary Feet > 20:38 - Inner Cell > 24:35 - Loyalty > 28:13 - Horology > 31:06 - Tetrachromacy > 34:36 - Searching... > 37:40 - The Fourth Colour > > Purchase: > https://opensea.io/collection/kgatlwp... > > --- > King Gizzard & the Lizard Wizard are an Australian rock band formed in 2010 in Melbourne, Victoria. The band consists of Stu Mackenzie (vocals, guitar, bass, keyboards, flute), Ambrose Kenny-Smith (vocals, harmonica, keyboards), Cook Craig (guitar, bass, keyboards, vocals), Joey Walker (guitar, bass, keyboards, vocals), Lucas Harwood (bass, keyboards), and Michael "Cavs" Cavanagh (drums, percussion). They are known for exploring multiple genres, staging energetic live shows and building a prolific discography, having released sixteen studio albums, two EPs, two compilations and seven live albums. > > Michael Cavanagh – drums (tracks 1-10), percussion (tracks 1, 2, 3, 8, 10), glass marimba (track 1) > > Cook Craig – electric guitar (tracks 1, 8, 10), synthesizers (tracks 9, 10) > > Ambrose Kenny-Smith – harmonica (tracks 1, 3, 8, 10), vocals (tracks 8, 10) > > Stu Mackenzie – vocals (all tracks), electric guitar (tracks 1, 2, 4, 7, 8, 10), bass guitar (tracks 1, 3-7, 9), acoustic guitar (tracks 2, 4, 8-10), synthesizers (all tracks), flute (tracks 1-3, 5-8), glass marimba (track 1), mellotron (tracks 2, 4), percussion (track 9) > > Eric Moore – management (all tracks) > > Lucas Skinner – bass guitar (track 10), synthesizer (track 7) > > Joey Walker – electric guitar (tracks 1, 3, 5-7, 10), acoustic guitar (tracks 3, 5), bass guitar (tracks 1, 2, 4, 8), synthesizers (tracks 5-7, 9, 10), vocals (tracks 1-8, 10), percussion (tracks 1-3, 5, 7, 8, 10) > > Additional musicians- > Leah Senior – spoken word (track 3) > #kinggizzardandthelizardwizard #flightlessrecords #recordlabel
To those downvoting all of these quality posts, why don't you just block the community? It's not going to go away and I am not going to stop posting stories to my own community.
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
> Join Daniel Ribar, TK Princewill (Community Managers), and the rest of the community for TownHall 177 > > > Tune in to live zoom event to participate in the call: https://bit.ly/3rCicSR > > More info below. > 👇👇👇 > > Too busy to watch it all? > > 📝 Skip over presentation slides: https://bit.ly/4eJlKdh > > What's Project Catalyst? The largest decentralized innovation fund in the world now totalling almost 65,000 participants working together. You can join them today! > > 📣 Announcements only: https://t.me/cardanocatalyst > 📧 Subscribe to the mailing list: https://bit.ly/3dSZJvx > > 🎥 Rewatch past town-halls: https://bit.ly/2UxT9Uv > 💡 Browse insights, ideas, and proposals: http://cardano.ideascale.com > 💬 Join main Telegram group: https://t.me/ProjectCatalystChat > > 🏟 Go deeper with Catalyst Discord: / discord > 🤓 Become Community Advisor/Mentor: https://t.me/CatalystCommunityAdvisors > 👩🔬 Join Proposal Owners: https://t.me/catalystproposers > 🐝 Catalyst Swarm & Sessions: / discord > > 🐛 Help find > bugs & test: https://t.me/catalystdryruns > ⚙️ Get lost in data: https://bit.ly/ProjectCatalystDashboard > 🎉 See all funded proposals at glance: https://bit.ly/3wiBHjP
Fair point! 🤣
> This video demonstrates a quick way to have something nice running with purescript (react + tailwind css + shadcn/ui components)
> Repository: https://github.com/Zelenya/purescript-shadcn-tailwind-copypaste
> Check out my course "How to think like a functio programmer": https://impurepics.thi.
#fp #functionalprogramming #purescript
They’re rereleasing movies in theaters because they decided to stop making movies in order to break strikes. As a result, a job that consistently paid $100,000 over 10 years has made me $20,000 in the past two years.
Don’t go see this unless you are a scab who doesn’t care about the hardworking people that take pride in working in the film industry.
I read that algae actually makes up more of what we know as oil than decomposed dinosaurs.
Edit: the source of that tidbit. He does a cool demo at the beginning.
Like the Holographic Universe?
Reading that lead me to read the MUCH more interesting but FAR from easy to decode: Wholeness and the Implicate Order
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.
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Learn a bit about PureScript, the world's favorite dependently-typed language
> 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 😁
Do you honestly think the people running for office are capable of “handling” this any differently?
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.
> 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.
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.
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.
No problem. I hope others can be more helpful. I’m most often interested in working with a virtual condom over top of JavaSvript. 😜
Let's go one further and compel Apple, Microsoft, and Google to open source their entire operating systems. :)
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
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
> 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
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
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.
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
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.
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
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.
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 experience that kind of code quality/reliability.
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
> "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.
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.
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
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.
> In this episode of Unshielded: A Blockchain & Data Podcast by Midnight, a team of experts introduces the groundbreaking Midnight network. > > Join them as they cover: > - The challenges in current data management and blockchain adoption > - Midnight's innovative approach to data protection and blockchain utility > - The architecture and design of the Midnight network > - The Compact programming language and its benefits > - Real-world use cases for Midnight > - Midnight's unique token system with NIGHT and DUST > - The roadmap from Devnet to beyond Mainnet > - Ecosystem development and support for various participants > - And much more! > > If you enjoyed this episode, make sure to subscribe, rate and review on Apple Podcasts, Spotify and Google Podcasts, instructions on how to do this are here. > > Episode Highlights: > [00:00:10] Introduction to Midnight and the data management challenge > [00:02:31] Midnight's key features and improvements over existing blockchain technologies > [00:06:45] The Compact language and its role in Midnight's architecture > [00:08:18] Midnight's architecture and lightweight design > [00:10:00] Use cases for Midnight, including digital identity and asset tokenization > [00:11:56] Token utility: Night and Dust > [00:14:39] Midnight's roadmap: from Devnet to beyond Mainnet > [00:17:01] Ecosystem development and support for developers and app operators > > Episode Resources: > - Eran Barak on LinkedIn: / eranbarak > - Ben Beckmann on LinkedIn: / benjamin-beckmann-ph-d-a19b0520 > - Thomas Kerber on LinkedIn: / semihonest > - Mauricio Magaldi on LinkedIn: / magaldi > - Anthony Day on LinkedIn: / anthonyjjday > > To learn more about the Midnight Network, visit us: > https://midnight.network/ > docs.midnight.network > midnight.network/whitepaper
demesisx @infosec.pub 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