Skip Navigation
demesisx 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

Posts 366
Comments 644
The Absurdity of the Dump-Biden Uprising
  • It’s funny to see someone that is such a neolib that they’d characterize a guy who ran a botched presidential campaign as “straight shooter”.

  • Btrfs snapshots vs immutable distro?
  • They’re very different things. For example, my nix store is btrfs.

  • cross-posted from: https://infosec.pub/post/14367925 >> Roadmap and Polarization

    0

    > Roadmap and Polarization

    0

    Sigma Trees | Alex Chepurnoy | Ergoversary Summit 2024

    > Alex Chepurnoy discusses Sigma Trees - a rational foundation for smart money.00:00 Intro00:37 History of Ergo Contractual Layer (aka Sigma)02:25 Applications...

    0

    Cardano Constitutional Committee 📜

    cross-posted from: https://infosec.pub/post/14307779 >> In this video, Michael Madoff, Group Product Manager for Governance at IOG explains Cardano’s governance system and in particular the role of the Constitutional Committee. > > > > Decentralized governance and decision-making are crucial to ensuring that everyone has a voice and control over the Cardano protocol's future development. The Cardano governance model reflects this by demonstrating the achievability of liquid and representative democracy through individual participation and immutable vote recording. ADA holders can decide on treasury fund distribution and the platform's future development. So, as a community, how can we work together to outline policies and guidelines for the future development of Cardano and ensure that everyone has a say? > > > > Cardano governance has a clear roadmap to bring the Cardano community through this whole process. The Cardano Constitution defines the policies and rules to enable sustainable growth of Cardano's ecosystem to ensure fair participation, protection, and a foundation to meet current and future demands. > > > > Understand the role of the Constitutional Committee, the stages involved, how the constitution will be ratified, Cardano Improvement Proposal (CIP) 1694, on-chain governance features, expansion of governance capabilities, the roles of DReps and ADA holders, and more. > > > > Learn more here: https://intersectmbo.org/governance >

    0

    Cardano Constitutional Committee 📜

    cross-posted from: https://infosec.pub/post/14307779 >> In this video, Michael Madoff, Group Product Manager for Governance at IOG explains Cardano’s governance system and in particular the role of the Constitutional Committee. > > > > Decentralized governance and decision-making are crucial to ensuring that everyone has a voice and control over the Cardano protocol's future development. The Cardano governance model reflects this by demonstrating the achievability of liquid and representative democracy through individual participation and immutable vote recording. ADA holders can decide on treasury fund distribution and the platform's future development. So, as a community, how can we work together to outline policies and guidelines for the future development of Cardano and ensure that everyone has a say? > > > > Cardano governance has a clear roadmap to bring the Cardano community through this whole process. The Cardano Constitution defines the policies and rules to enable sustainable growth of Cardano's ecosystem to ensure fair participation, protection, and a foundation to meet current and future demands. > > > > Understand the role of the Constitutional Committee, the stages involved, how the constitution will be ratified, Cardano Improvement Proposal (CIP) 1694, on-chain governance features, expansion of governance capabilities, the roles of DReps and ADA holders, and more. > > > > Learn more here: https://intersectmbo.org/governance >

    0

    Cardano Constitutional Committee 📜

    > In this video, Michael Madoff, Group Product Manager for Governance at IOG explains Cardano’s governance system and in particular the role of the Constitutional Committee. > > Decentralized governance and decision-making are crucial to ensuring that everyone has a voice and control over the Cardano protocol's future development. The Cardano governance model reflects this by demonstrating the achievability of liquid and representative democracy through individual participation and immutable vote recording. ADA holders can decide on treasury fund distribution and the platform's future development. So, as a community, how can we work together to outline policies and guidelines for the future development of Cardano and ensure that everyone has a say? > > Cardano governance has a clear roadmap to bring the Cardano community through this whole process. The Cardano Constitution defines the policies and rules to enable sustainable growth of Cardano's ecosystem to ensure fair participation, protection, and a foundation to meet current and future demands. > > Understand the role of the Constitutional Committee, the stages involved, how the constitution will be ratified, Cardano Improvement Proposal (CIP) 1694, on-chain governance features, expansion of governance capabilities, the roles of DReps and ADA holders, and more. > > Learn more here: https://intersectmbo.org/governance

    0

    P2Podcast | Episode 1

    > TIMERG and Marc the Shark present their new podcast, the P2Podcast! In this first episode they discuss what makes ergo so special, a brief history of ergo, w...

    0

    Ep. 1 | The Midnight Origin Story with Charles Hoskinson

    cross-posted from: https://infosec.pub/post/14143921 >> In this episode of Unshielded: A Blockchain & Data Podcast by Midnight, host Anthony Day is joined by Charles Hoskinson, Co-Founder and CEO of Input Output Global. > > > > Join them as they: > > Delve into the vision behind Midnight > > Unpack the core technologies driving Midnight > > Midnight's role in creating a universal consensus algorithm > > Shine a light on the challenges of transparency in Web3 > > Examine why previous generations of blockchains can't keep a secret > > Consider why projects like Midnight are needed to unlock wider adoption of decentralized technology > > And much more! > > > > Charles Hoskinson is the Co-Founder and CEO of Input Output Global, a blockchain engineering company. A prominent figure in the blockchain community, Charles is known for his significant contributions to the development of blockchain technology. He first entered the blockchain space to create sound money and trustworthy institutions. Charles was a co-founder of Ethereum and has since founded various pivotal projects under Input Output Global, including Cardano and Midnight. > > > > 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:03:39] The vision behind Midnight: Bridging transparency and privacy in blockchain > > > > [00:06:53] Core technologies driving Midnight > > > > [00:16:36] The challenges and innovations in blockchain privacy and scalability > > > > [00:22:49] The complexities of global transactions and metadata in blockchain > > > > [00:30:38] Privacy and linkability in blockchain transactions > > > > [00:35:00] The importance of privacy in an age of permanent records > > > > [00:46:19] Midnight's blockchain innovations and future plans > > > > > > Episode Resources: > > Charles Hoskinson on Twitter: @IOHK_Charles > > Midnight Network on Twitter: @midnightntwrk >

    0

    Ep. 1 | The Midnight Origin Story with Charles Hoskinson

    > In this episode of Unshielded: A Blockchain & Data Podcast by Midnight, host Anthony Day is joined by Charles Hoskinson, Co-Founder and CEO of Input Output Global. > > Join them as they: > Delve into the vision behind Midnight > Unpack the core technologies driving Midnight > Midnight's role in creating a universal consensus algorithm > Shine a light on the challenges of transparency in Web3 > Examine why previous generations of blockchains can't keep a secret > Consider why projects like Midnight are needed to unlock wider adoption of decentralized technology > And much more! > > Charles Hoskinson is the Co-Founder and CEO of Input Output Global, a blockchain engineering company. A prominent figure in the blockchain community, Charles is known for his significant contributions to the development of blockchain technology. He first entered the blockchain space to create sound money and trustworthy institutions. Charles was a co-founder of Ethereum and has since founded various pivotal projects under Input Output Global, including Cardano and Midnight. > > 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:03:39] The vision behind Midnight: Bridging transparency and privacy in blockchain > > [00:06:53] Core technologies driving Midnight > > [00:16:36] The challenges and innovations in blockchain privacy and scalability > > [00:22:49] The complexities of global transactions and metadata in blockchain > > [00:30:38] Privacy and linkability in blockchain transactions > > [00:35:00] The importance of privacy in an age of permanent records > > [00:46:19] Midnight's blockchain innovations and future plans > > > Episode Resources: > Charles Hoskinson on Twitter: @IOHK_Charles > Midnight Network on Twitter: @midnightntwrk

    0
    Why are Republicans/Conservatives embracing fanaticalism these days?
  • It helps them ignore actually doing good things for their constituents. Identity politics is what fascists use to work voters into a frenzy to manipulate them into voting for them in order to sneak extreme corporatism into office.

  • SWOLA194 - SEPULTURA BACK WITH MAX?, MARSHALL TEASE NEW AMPLIFIER, TRIP TO USA, ELDEN RING DLC

    > Sunday With Ola 194! Today we're talking about Max reunion with Sepultura, Marshall teasing new amp, Queen selling their full Music Catalog to Sony. For adventures I'm going to the US of A, Question of the day is back etc etc. > > Get Chug Project 3 physical from: > http://www.olaenglundshop.com > > SUNDAY WITH OLA 194 DRUMS: > https://www.dropbox.com/scl/fi/h5nm9v... > > 0:00 - Intro > 1:57 - New Bass > 3:11 - Tha News - Solar Guitars' Summer Special > 3:38 - Sepultura Reunion with Max Cavalera > 4:58 - Dream Theater Tour Setlist > 6:03 - Chilean President Is Gifted Metal Vinyl > 7:14 - New Marshall Amp > 8:14 - Queen To Sell Music Catalog To Sony > 9:24 - Ola's Adventures I > 15:46 - Ola's Adventures II > 17:44 - Comment of a Comment > 21:18 - Unboxing > 24:38 - Outro > > ------------------------------------------------------------------------ > I'm Ola Englund and welcome to my channel. A channel dedicated to guitar related gear with a focus on metal. I also play in the metal bands The Haunted & Feared and run a guitar company https://www.solar-guitars.com > > SUBSCRIBE: https://www.youtube.com/olaenglund/?s... > > My Pages > ► Website - http://www.olaenglundshop.com > ► Instagram - / olaenglund > ► TikTok - https://vm.tiktok.com/ZMdcTBtwX/ > ► Twitch - / olaenglundofficial > ► Facebook - http://www.olaenglund.com/facebook > ► Feared - http://www.fearedband.com > > My Music: > ► Ola Englund Spotify - http://www.olaenglund.com/starzingers... > ► The Chug Project Spotify - http://www.olaenglund.com/chugspotify > ► Feared Spotify - https://olaenglund.com/fearedspotify > ► The Haunted Spotify - https://olaenglund.com/thehauntedspotify > > > ► Want to interact more with me? Join My Discord Channel and Become a Youtube Member for VoiceChat and more. Click the Join button above. Link To Discord - / discord > > ►List of things I use to make my video(affiliated links) > https://www.olaenglund.com/amazon > > Subtitles by Alessio Strano - Immediate Translations > https://immediatetranslations.com > > #metal #metalguitar #guitar ‪@sepultura‬ ‪@Queen‬

    0
    Should jonringer just fork nixos? RingOS?
  • “You’re wrong” proceeds to not correct anything OP wrote.

  • We Need To Stop OpenAI
  • Broken clocks and all that…

  • SWOLA193 - NUNO VS. AI, ELOY & SLIPKNOT, THE HAUNTED SWEDEN ROCK, MARCIN & TIM HENSON

    > Sunday With Ola 193! Today we're talking about Nuno Bettencourt and AI, about Marcin and his new single with Tim Henson, Eloy Casagrande Smashing Slipknot s...

    0
    Work begins on Boston's Boylston Street bike, bus lane project
  • Inb4 someone gaslights me about the traffic that I sit in every single day because the mayor decided to close down 2/3 of all lanes because some policy “wonk” decided that it’s better to punish people rather than do something to address the traffic problem.

    Inb4 someone pipes in with, “well actually, statistics say that there’s less traffic than there was before, sweaty.”

  • What's the dumbest blockbuster movie you have seen that somehow received high praise?
  • I disagree entirely. Jackie Brown is actually my favorite Tarantino film.

    Tasteful and interesting.

  • Why we gave up on learning how to play an instrument?
  • Reading your replies to comments here, it’s definitely your attitude that prevented you from learning guitar. Put it down and learn piano or keyboard. However, this time, try to somehow have a positive outlook.

  • Tuning keys upgrade recommendation?
  • Gotoh SGL510Z MG-T XN EL5 height for Low E and high E: 21.5mm shaft height for A and B strings: 20mm shaft height for D and G strings: 18.5mm shaft

  • What's your take on Cassavetes?
  • He was a brilliant filmmaker. I once got to talk with Frederick Elmes about shooting “The Killing of a Chinese Bookie”. He said, “I’d shoot it very differently today. I was so young then that I hadn’t yet developed a style.”

  • I wrote a bash dependency checker
  • Wanted to perhaps introduce you to using nix along with direnv and flakes to make your dependencies declarative rather than determined by factors beyond your control.

    In my bash scripts, I often create a .envrc file that points to my flake and sits alongside the bash file. Then, when I navigate into the directory of the script/project, I can make direnv and nix automatically load all dependencies (which virtually guarantees them eliminating the need to check for them).

  • A baseline scrapscript compiler
  • Looks to be heavily influenced by Unison. Personally, if this language can be a lightweight Haskell that has Unison-like features and can be used anywhere I’d have used Purescript, I’m really excited to see this gain popularity because Purescript has had major issues lately and I’m looking for something that can offer similar features without that headache.

  • A lot of dependence on Github
  • I agree but this is the state of the nix world right now. Perhaps flakehub can help?

  • [Sway] Oxocarbon - My humble and stable Workhorse
  • Yup.

    I’ve been considering making an open source clone in Typescript since it won’t allow you to use imported text without making you pay.

  • Anker launches new KVM Switch for desktop and laptop
  • Why are we seeing this ad?

  • Help me find my new "MIDI Assembly" a new name!
  • Midi bytecode gets my vote.

  • So many MBTA shutdowns this year, how to keep up?
  • Furthermore, why the fuck are they charging full price for a ride on the Orange Line right now? I didn’t even find out about the service delays until I had to get off a train and get on a shuttle bus, adding >1 hour to my commute. Charging people less would at least be fair to those that didn’t read the very inconspicuous signs alerting riders to this inconvenience.

  • [Sway] Oxocarbon - My humble and stable Workhorse
  • I feel the same about Hyprland vs. Xmonad. I can’t bring myself to switch even though x11 is near dead since almost no WM can offer the configurability that comes easily in Xmonad.

  • cross-posted from: https://infosec.pub/post/12995894

    > Run for the ICC

    0

    Midnight Introduction at Cardano Summit 2023

    cross-posted from: https://infosec.pub/post/12751916 >A regulation-friendly data protection blockchain and easy-to-use platform for developing and running decentralized applications is being released to the world. > > Midnight provides the tools to build regulation-compliant DApps that use innovative features. But Midnight is more than just technology. Its creators are bringing together industry leaders, developers, content creators, and organizations who want to promote responsible data management worldwide. > > Midnight CEO, Eran Barak, shares this vision at Cardano Summit 2023.

    0

    Midnight Introduction at Cardano Summit 2023

    cross-posted from: https://infosec.pub/post/12751916 > A regulation-friendly data protection blockchain and easy-to-use platform for developing and running decentralized applications is being released to the world. > > Midnight provides the tools to build regulation-compliant DApps that use innovative features. But Midnight is more than just technology. Its creators are bringing together industry leaders, developers, content creators, and organizations who want to promote responsible data management worldwide. > > Midnight CEO, Eran Barak, shares this vision at Cardano Summit 2023.

    0

    Midnight Introduction at Cardano Summit 2023

    cross-posted from: https://infosec.pub/post/12751916 >> A regulation-friendly data protection blockchain and easy-to-use platform for developing and running decentralized applications is being released to the world. > > Midnight provides the tools to build regulation-compliant DApps that use innovative features. But Midnight is more than just technology. Its creators are bringing together industry leaders, developers, content creators, and organizations who want to promote responsible data management worldwide. > > Midnight CEO, Eran Barak, shares this vision at Cardano Summit 2023.

    0

    Midnight Introduction at Cardano Summit 2023

    A regulation-friendly data protection blockchain and easy-to-use platform for developing and running decentralized applications is being released to the world.

    Midnight provides the tools to build regulation-compliant DApps that use innovative features. But Midnight is more than just technology. Its creators are bringing together industry leaders, developers, content creators, and organizations who want to promote responsible data management worldwide.

    Midnight CEO, Eran Barak, shares this vision at Cardano Summit 2023.

    0
    www.youtube.com Weekly Update & AMA - May 23th 2024

    Dan Friedman and QX() host the Weekly Update and AMA - they will be updating the Ergo community and answering your questions, so please ask them anything in ...

    Weekly Update & AMA - May 23th 2024
    0

    Help Wanted: wlroots bindings (the first step toward Waymonad!)

    github.com GitHub - bradrn/wlhs: Haskell bindings to wlroots (and libwayland)

    Haskell bindings to wlroots (and libwayland). Contribute to bradrn/wlhs development by creating an account on GitHub.

    GitHub - bradrn/wlhs: Haskell bindings to wlroots (and libwayland)
    0