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
🤡
forcing everyone into servitude
TLDR
You aren’t proving me wrong. Only rich medical professionals use that exact phrasing.
Found the person that materially prospers from the medical industry!
Yeah sort of. Except everything is actually built on your machine natively while Docker does that inside a sandbox with LOTS of cruft along with it.
This community will stay locked until this project goes open source.
I refuse to promote a project that isn’t open source. This project claims that it will go open source in 2025 upon mainnet launch.
I have therefore decided to lock this community until that very day.
It is, actually.
You love to see it, folks: educated comments that actually know about FPTP. 🤌🏼
Their response: Midnight will be open sourced upon mainnet launch. I have no choice but to withhold my support (which I give for free by running this community) until that day.
This community is locked until this project goes open source.
I refuse to promote a project that isn’t open source. This project claims that it will go open source in 2025 upon mainnet launch.
I have therefore decided to lock this community until that very day.
Trolling seems pretty routine for you.
My comment never admitted you were right. It said, “how can I be wrong when I literally created the community for things like this?”
It’s just a sign of your loneliness and desperation that you’d keep going with the argument.
But if that’s all you have to look forward to in your (clearly miserable) life, take the meaningless W and never post here again, weird nerd.
I see what you’re trying to get me to do, troll.
You’ll have to post some objectionable imagery or something equally toxic if you’re really looking for a ban.
I think each submission should have multiple from the same film. A bunch of them in quick succession from the same film is objectively worse, IMO.
Let us know when it is. I won’t help test it nor tell anyone about it until it is.
Is it free and open source?
By my count, he has been since August of the 2020 primary.
We believe the big bang produced the same amounts of matter and antimatter.
Count Basie’s Big Band? I knew they were good, but….
No problem. Thanks for being intellectually honest! I’ll file down the claws in my previous reply. :)
Thats actually 100% false.
DJED seems to have escaped your notice. It has been humming along without incident for a full year now.
DJED is the first formally verified stablecoin protocol. The use of formal methods in the programming process has greatly contributed to the design and stability properties of Djed. Using formal techniques, the properties are proven by mathematical theorems: *Peg upper and lower bound maintenance: the price will not go above or beyond the set price. In the normal reserve ratio range, purchases and sales are not restricted, and users have no incentive to trade stablecoins outside the peg range in a secondary market. *Peg robustness during market crashes: up to a set limit that depends on the reserve ratio, the peg is maintained even when the price of the base coin falls sharply. *No insolvency: no bank is involved, so there is no bank contract to go bankrupt. *No bank runs: all users are treated fairly and paid accordingly, so there is provably no incentive for users to race to redeem their stablecoins. *Monotonically increasing equity per reserve coin: under some conditions, the reserve surplus per reserve coin is guaranteed to increase as users interact with the contract. Under these conditions, reserve coin holders are guaranteed to profit. *No reserve draining: under some conditions, it is impossible for a malicious user to execute a sequence of actions that would steal reserves from the bank. *Bounded dilution: there is a limit to how many reserve coin holders and their profit can be diluted due to the issuance of more reserve coins.
Current State of this Project: In Progress
Tiny-wlhs: A Haskell-Driven Wayland Compositor (Seeking Contributors!) This thread originated in the Haskell Wlroots Bindings discussion. Introduction tiny-wlhs began as an experiment to explore Haskell bindings for wlroots. We took the simple tinywl C compositor and turned it into a Haskell-contr...
In the process of forking Xmonad, it was discovered that a lot of work would need to be done in getting a Haskell compositor working. Currently, the compositor is being worked on using Tiny-wlhs: A Haskell-Driven Wayland Compositor (Seeking Contributors!)
> tiny-wlhs began as an experiment to explore Haskell bindings for wlroots. We took the simple tinywl C compositor and turned it into a Haskell-controlled shared library. This approach lets us incrementally port C code to Haskell while keeping a working window manager. The immediate feedback from a functional compositor is invaluable during development and provides something solid to work with. You can find the project on GitHub: https://github.com/l-Shane-l/tiny-wlhs 25
Live now: Cardano Constitutional Convention - 🌟Signing Ceremony✍️
> The moment has arrived! ✍️ > > The signing ceremony is happening now, officially marking the Cardano Constitution as the foundation for a decentralized governance model. > > This is a significant achievement, made possible by the collaboration, feedback, and dedication of the global Cardano community. > > Thank you to everyone who contributed to this journey.
Live now: Cardano Constitutional Convention - 🌟Signing Ceremony✍️
> The moment has arrived! ✍️ > > The signing ceremony is happening now, officially marking the Cardano Constitution as the foundation for a decentralized governance model. > > This is a significant achievement, made possible by the collaboration, feedback, and dedication of the global Cardano community. > > Thank you to everyone who contributed to this journey.
Welcome to the Cardano Constitutional Convention DAY 1
> The Constitutional Convention is not only a celebration of Cardano’s evolution but also a testament to the global mission that has led to this moment.🌐
> Over 1,400 participants across more than 60 workshops have come together to craft a Constitution that reflects the diversity and inclusivity of our ecosystem. Each workshop has appointed a Constitutional Delegate to take part and represent their voice. With delegates arriving in Buenos Aires and Nairobi from around the world, the Convention demonstrates the power of collaboration across borders, perspectives, and cultures.
> Cardano’s governance journey is proof that decentralization can bring us closer together, redefining how we create and uphold shared values in a global digital landscape.
Welcome to the Cardano Constitutional Convention DAY 1
> The Constitutional Convention is not only a celebration of Cardano’s evolution but also a testament to the global mission that has led to this moment.🌐
> Over 1,400 participants across more than 60 workshops have come together to craft a Constitution that reflects the diversity and inclusivity of our ecosystem. Each workshop has appointed a Constitutional Delegate to take part and represent their voice. With delegates arriving in Buenos Aires and Nairobi from around the world, the Convention demonstrates the power of collaboration across borders, perspectives, and cultures.
> Cardano’s governance journey is proof that decentralization can bring us closer together, redefining how we create and uphold shared values in a global digital landscape.
Let's make managing infrastructure on your own machine less cumbersome. Simplify it with NixOS and containers.
> Let's make managing infrastructure on your own machine less cumbersome. Simplify it with NixOS and containers.
When FOSS?
Is there any plan to open source the code in Arctic?
I was recommending this app the other day at a FOSS meetup and I felt like such an idiot when the group broke it to me that this app is closed source.
I have been using it for a long time (and even paid for it). For some reason, I remember hearing that it was FOSS.
If not, what would it take to get you to open source the non-pro features?
As it is, the ubiquitous app in this ecosystem is Voyager (and that’s a crummy PWA) which is fully open source. As a result of that decision, Voyager enjoys a LOT more popularity because it is open source.
You may even get free help as a dev if you open source it. Right now, I’m planning on making my own that is open source from day one … but it would be nice not to have to reinvent the wheel again on iOS.
The Ultimate Self-Own: Actively applauding politicians that bypass the rule of law just to own your enemies
Has this person even considered the incredibly dangerous precedent being set where BOTH sides of the two party system have constituents that actively encourage them to abandon the rule of law?
What could go wrong?
> Those damned leopards were so cute that I walked up to them and pet them.......but they ate my face!
Don't come crying to me when the leopards actually eat your face.
_____
This one video (and the pervasive tendency of Centrists to engage in echo chamber building using "official block lists" on world and BlueSky) has inspired me to start this community.
*Maybe he's joking and I am not in on the joke? *
This project is closed source right now.
Is anyone else bothered by the fact that Midnight is closed source? Here's the terms one must agree to before running a Midnight node. I am very close to closing this community because we were sold a bill of goods. Here's the agreement one must agree to before being a part of the midnight community. I don't trust it at ALL.
https://midnight.network/static/midnight-devnet-terms-of-service.pdf
The UK plans to draft a regulatory framework to oversee stablecoins and staking services as part of a single overarching regime for cryptoassets in early 2025 (Emily Nicolle/Bloomberg)
By Emily Nicolle / Bloomberg. View the full context on Techmeme.
cross-posted from: https://infosec.pub/post/20363303
Emily Nicolle / Bloomberg: The UK plans to draft a regulatory framework to oversee stablecoins and staking services as part of a single overarching regime for cryptoassets in early 2025 — - Planned legislation pushed back due to change of government — New administration to publish single overarching crypto regime
First Principles Thinking: From Foundational Truths to Revolutionary Solutions
> In a world increasingly driven by inherited wisdom and conventional practices, the ability to think from first principles has never been more crucial. As a security researcher and advocate for evidence-based reasoning, I’ve discovered that our most transformative insights come not from building upon existing assumptions, but from questioning everything and rebuilding from fundamental truths.
Reminder: Upcoming Voting snapshot
This is a friendly reminder to keep at least 25 ADA to be eligible to vote after the snapshot on Nov 20th, 2024 21:45 UTC
Blink - An Optimal Proof of Proof-of-Work | Lukas Aumayr | Ergoversary Summit 2024
> Lukas Aumayr presents his collaborative work on the paper 'Blink: An Optimal Proof of Proof-of-Work'. > > Designing light clients for Proof-of-Work blockchains has been a foundational problem since Nakamoto's SPV construction in the Bitcoin paper. Over the years, communication was reduced from O(C) down to O(polylog(C)) in the system's lifetime C. We present Blink, the first provably secure O(1) light client that does not require a trusted setup. > > https://eprint.iacr.org/2024/692 > https://eprint.iacr.org/2024/692.pdf > > #ergoversary > #ErgoTurns5
Blockchain, impact and empowerment: A decade after ‘The future will be decentralized’ TEDx talk (Tech for Impact conference, Japan)
> Join Charles Hoskinson in this insightful keynote from the Tech for Impact conference in Japan, where he explores the transformative potential of blockchain technology in reshaping our economic, political, and social systems. > > Charles challenges us to rethink the world we live in and explore how cryptocurrencies can realign incentives. He also emphasizes the critical need for governance in leveraging these technologies responsibly, ensuring they serve future generations.
For years I’ve followed progress of the STREEK cargo trike, a fascinating-looking electric cargo carrier from Japan. This utility-focused electric...
cross-posted from: https://lemmy.dbzer0.com/post/30927140
A Whirlwind Tour of PureScript • Rob Howard • YOW! 2016
> This presentation was recorded at YOW! 2016. #GOTOcon #YOW > https://yowcon.com > > Rob Howard - Software Engineer at Ambiata @damncabbage > > RESOURCES > https://x.com/damncabbage > https://chaos.social/@buzzyrobin > https://github.com/damncabbage > / buzzyrobin > https://rhoward.id.au > > Links > http://robhoward.id.au/talks/2016/04/... > https://github.com/damncabbage/ylj16-... > https://github.com/damncabbage/puresc... > https://www.purescript.org > > ABSTRACT > This talk and workshop/jam will introduce you to PureScript, a strongly-typed, Haskell-inspired programming language that compiles to JavaScript. These sessions will focus on building a small game in incremental steps, from simple functions to a web-based app, giving you a chance to try out features and libraries along the way. You should leave the session with a grasp of PureScript fundamentals, and a self-sufficiency to tackle your own projects and experiments. > > RECOMMENDED BOOKS > Phil Freeman • PureScript by Example • https://leanpub.com/purescript > Christopher Allen & Julie Moronuki • Haskell Programming • https://lorepub.com/product/haskellbook > Edsger W. Dijkstra • A Discipline of Programming • https://amzn.to/3JlwHV6 > Rebecca Skinner • Effective Haskell • https://amzn.to/3SxTpwY > Uberto Barbini • From Objects to Functions • https://amzn.to/4cMDOmH