![User banner](https://programming.dev/pictrs/image/31015563-90c1-4250-be21-f2148b2dbcf4.png)
Sounds great! Thanks for looking into that. I’m a bit of a jack of all trades. So, I tend to try and thoroughly vet a technology before I really dive in and commit my blood, sweat, and tears.
A couple of weeks ago, I found a previous implementation in Haskell. If I were really approaching the stack that I think will be best for the future, perhaps I should fork that one. I’m wishing Purescript was ready for prime time (was popular enough to have more educational material) because that would be a no brainer…especially the work they’ve recently been doing with a Chez Scheme back end.
I’ll start to look into it more in the coming week. Thank you so much! I have a community setup for this idea at https://infosec.pub/c/Lemventory
I may change it, though, since this is no longer Lemmy-related. As I realized, inventory is just not suited to Pub/Sub due to the need to have varying levels of security for the information being broadcast and subscribed to.
I’m a fan of crypto but I happen to hold the strong opinion that BTC’s authentication algorithm shouldn’t have been chosen because it’s not secure enough for future proofing. Furthermore, that BTC tie-in will alienate many people including myself. Anyway, I’d love some help forking NOSTR to NOT use BTC authentication because that task is FAR beyond my skills.
Perhaps I’m the one who’s mistaken.
I came to this conclusion because: From my initial cursory investigation of NOSTR, in all of the instructions to get started I found, the first step was to create a lightning wallet. Maybe I’m incorrect but, from what I understood, BTC’s authentication is one and the same with NOSTR’s authentication.
Edited. Good call.
If you want to have a go at using that NOSTR tech but stripping the lightning wallet thing out for another (less BTC maximalist but equally or even more secure) form of authentication, I’d be very interested. I’m obviously not going to roll my own auth from scratch….but as I see it, tying BTC to it could prevent MANY people from giving an otherwise very promising tech a chance. Besides, there are already far more secure cryptographic elliptical curves in use by other cryptocurrencies that NOSTR conspicuously passed over in favor of BTC’s.
I probably don’t have the resources nor experience to do it myself but I’d love for this tech to exist.
If you find that the fediverse isnt the right tech for this kind of thing, have a look at NOSTR. I recently learned about it in the context of my hypothetical Lemmy fork. For what I am trying to do with it (decentralized retail inventory), NOSTR was much better suited than Lemmy. My only issue with it is that it ties bitcoin lightning walllets into its authentication mechanism (a dealbreaker for me at least). My future uses for it would be FAR different than yours but it also seems more well-suited to activism as well.
I got you, fam(ily). It has a real smooth, simple ring to it. ;)
Temu: contribute to the irreversible heat death of your own planet just to save some money on useless, piss poor quality trinkets created out of cancer-causing, hazardous materials using slave labor coupled with unfair market practices that are then shipped thousands of miles over the oceans using the world's worst polluting container ships.... like a billionaire.
That should be their slogan.
edit: added slave labor, unfair market practices edit: added hazmat
Judging by the state of the US, you're much more likely to be right than I am, you cynical bastard!
😂
I think I would just need one. We'd have to work in opposing shifts to get my billion Euro idea out the door in a more reasonable time frame than the one I have currently been working in.
Trains are awesome and I fully support them but let's not be idealistic here and pretend that true self driving cars will never happen.
Edit: jokes on you! I made a grammatical correction that makes your reply IRRELEVANT. 😉
SELF-DRIVING TECHNOLOGY SHOULD BE STANDARDIZED AND OPEN SOURCE.
Any other implementation puts profits over human lives.
I think you’re probably just a dickhead.
In my case, whether I’m wrong or not, they actively discourage me from using my brain.
I'm an intellectually overqualified filmmaker surrounded by anti-intellectuals (I routinely get made fun of for being interested in technical stuff)....and right now, I am on workman's comp with a broken foot. So: exactly what I am doing right now is exactly what I would want to be doing.
What's that?
Hanging out with my daughter in my lab,
Learning
- Haskell/Plutus
- Purescript
- using Nix to glue them together
- hacking an espresso machine (either with a RISC_V Lychee Pi or an ESP32...haven't decided yet).
Practicing:
- guitar
Blazing:
- chronic
![](https://programming.dev/pictrs/image/dbcbf763-63f9-4981-a99c-19a211b2e749.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
> Answering the question raised at the end of Part 1, we take a look at how a hypothetical Strict Haskell would tie the compilers hands despite pervasive purity. We also examine how laziness permits optimizations that come with no intrinsic cost and compare its benefits to a strict language with opt-in laziness. > > Part 1: > > • Laziness in Haskell — Part 1: Prologue > Series Playlist: > > • Laziness in Haskell > > — > Contact: > • Tweag Website: https://www.tweag.io/ > • Tweag Twitter: https://twitter.com/tweagio > • Alexis King's Twitter: https://twitter.com/lexi_lambda
![](https://infosec.pub/pictrs/image/44dda5b4-cf55-4d73-ba2f-27856ffb604b.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
> In the second webinar from our Hackathon series, Fabian Bormann provides an intro into building on Cardano including a list of tools to support you. Next, Mateusz Czeladka discusses how to harness the power of smart contracts with Aiken. > > Click the link below to learn more and to register for the Cardano Summit Hackathon. > https://summit.cardano.org/hackathon/
The Finest Possible Caprese Sandwich:
- fresh Baked Stirato Italian Baguette
- fresh Mozzarella di bufala
- fresh-picked Heirloom Italian Genovese Basil
- fresh-picked San Marzano Tomatoes
- Frantoia 100% Italian Extra Virgin Olive Oil
- Mediterranean Sea Salt
- Giuseppe Giusti Premio Italian Balsamic Vinegar
![](https://programming.dev/pictrs/image/da6c86af-8e2c-4441-b3cc-a8fb5b8402c6.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
> In the past few years, we witnessed the development of multiple smart contract languages - Solidity, Viper, Michelson, Scilla etc. These languages need to enable developers to write correct, predictable behavior smart contract code. Each language development effort therefore ends up spending resources into building formal verification toolsets, compilers, debuggers and other developer tools. > In this episode, we are joined by Grigore Rosu, Professor of computer science at UIUC [University of Illinois at Urbana-Champaign] for a deep dive into the K framework. The K framework is mathematic logic and language that enables language developers to formally define all programming languages; such as C, Solidity and JavaScript. Once a language is formally specified in the K framework, the framework automatically outputs a range of formal verification toolsets, compilers, debuggers and other developer tools for it. Updates to the language can be made directly in K. This technology has massive implications for smart contract programming language development, and formal verification efforts in the blockchain space. > We also cover his efforts to express the Ethereum virtual machine using the K framework, and to develop a new virtual machine technology, called IELE, specifically tailored to the blockchain space. Check out the episode to understand a game changing technology in the formal verification and smart contract safety space. > > Topics discussed in this episode: > - Grigore's background with NASA and work on formally verified correct software > - Motivations to develop K framework > - Basic principles behind the operation of K framework > - How K deals with undefined behavior / ambiguities in a language definition > - The intersection of K framework and smart contract technology > - Runtime Verification's collaboration with Cardano > - KEVM and IELE, smart contract virtual machines developed by Runtime Verification > - Broader implications of the K framework for the blockchain industry
I'm finding the signal to noise ratio is higher here. Much higher quality content at the moment. I even see some bots that post the entire article rather than just linking it. I hope that catches on.
In my experience, Voyager is still pretty buggy too. For example, try editing a post then go to do anything else after the fact. I always have to restart the whole app when I go to edit a post I made. They have a ton more features than anyone else but there are still tons of bugs.
react native is another layer and lags behind the dev of swift by at least a year. This is a huge problem for new api's like SwiftUI, in my experience. Ps. Native is ALWAYS better than an approximation of native.
Yes. Case in point: there are at least 10 Lemmy iOS apps. I'll give you ten guesses on which ones are actually native Swift...
There are a quite a few Android apps in progress too. How many are written in Kotlin?
An axiom-free formalization of category theory in Coq for personal study and practical work - GitHub - jwiegley/category-theory: An axiom-free formalization of category theory in Coq for personal s...
![GitHub - jwiegley/category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work](https://programming.dev/pictrs/image/4b4d41b9-1ad9-41cf-a2b8-b63ad96d9c89.png?format=webp&thumbnail=256)
>This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories.
Listen to regular interviews with the Haskell community. The podcast covers news, libraries, and whatever other topics we wander onto with our guests.
I listen to this (now very old) episode often to get inspired.
When John starts talking about compiling to categories, at around 14:40 to around 30:00, it gets REALLY interesting.
*😁😁 Hoping to bring this kind of discussion to the new Formal Methods community. 😁😁 * Here's the work he talked about: Compiling to categories by Conal Elliott
I need someone to get into the weeds on compiling programs to "axiomatized closed categories". What are the implications? What are the ramifications?
In the first episode, to honour the name of our show, we will take a look at the `unfoldr` function and discuss how it works and how it can be used.This epis...
![The Haskell Unfolder Episode 1: unfoldr](https://programming.dev/pictrs/image/57dafae7-5a18-488c-99fb-c843ddb87c53.jpeg?format=webp&thumbnail=256)
A library to turn Nix Flake attribute sets into Github Actions matrices [maintainer=@adisbladis] - GitHub - nix-community/nix-github-actions: A library to turn Nix Flake attribute sets into Github ...
![GitHub - nix-community/nix-github-actions: A library to turn Nix Flake attribute sets into Github Actions matrices [maintainer=@adisbladis]](https://programming.dev/pictrs/image/293ae8e8-4c96-4a09-b577-7fd01a44c2e7.png?format=webp&thumbnail=256)
#### **Does God Code in Haskell?**Professor and accomplished programming language researcher Philip Wadler believes that typed lambda calculus was discovered not invented -- part of the underpinnings of the universe itself. As a result, functional programming languages are more fundamental and deepl...
![God's Programming Language - CoRecursive Podcast](https://programming.dev/pictrs/image/2319dedd-86b1-4c3b-88be-84b3956e967b.png?format=webp&thumbnail=256)
Here's the conclusion of the paper Wadler is referring to in this interview:
> Proposition as Types informs our view of the universality of certain programming languages. The Pioneer spaceship contains a plaque designed to communicate with aliens, if any should ever intercept it. They may find some parts of it easier to interpret than others. A radial diagram shows the distance of fourteen pulsars and the centre of the galaxy from Sol. Aliens are likely to determine that the length of each line is proportional to the distances to each body. Another diagram shows humans in front of a silhouette of Pioneer. If Star Trek gives an accurate conception of alien species, they may respond “They look just like us, except they lack pubic hair.” However, if the aliens’s perceptual system differs greatly from our own, they may be unable to decipher these squiggles. What would happen if we tried to communicate with aliens by transmitting a computer program? In the movie Independence Day, the heroes destroy the invading alien mother ship by infecting it with a computer virus. Close inspection of the transmitted program shows it contains curly braces—it is written in a dialect of C! It is unlikely that alien species would program in C, and unclear that aliens could decipher a program written in C if presented with one. What about lambda calculus? Propositions as Types tell us that lambda calculus is isomorphic to natural deduction. It seems difficult to conceive of alien beings that do not know the fundamentals of logic, and we might expect the problem of deciphering a program written in lambda calculus to be closer to the problem of understanding the radial diagram of pulsars than that of understanding the image of a man and a woman on the Pioneer plaque. We might be tempted to conclude that lambda calculus is universal, but first let’s ponder the suitability of the word ‘universal’. These days the multiple worlds interpretation of quantum physics is widely accepted. Scientists imagine that in different universes one might encounter different fundamental constants, such as the strength of gravity or the Planck constant. But easy as it may be to imagine a universe where gravity differs, it is difficult to conceive of a universe where fundamental rules of logic fail to apply. Natural deduction, and hence lambda calculus, should not only be known by aliens throughout our universe, but also throughout others. So we may conclude it would be a mistake to characterise lambda calculus as a universal language, because calling it universal would be too limiting.
🎉 We've got a new #SnowfallOrg repository today! 🎉 I've written a (hopefully working) #Nix parser in #TypeScript. I plan on building off of this to try and improve the dev experience of working with Nix Flakes. Stay tuned for that! https://github.com/snowfallorg/sleet #NixOS
Haskell recap for week 26/2023 with articles, projects and tutorials.
Charles Scalfini, the CTO of Panoramic Software, makes the case for why programmers should make the leap to functional programming, which promises more maintainable code, and eliminates some of the problems inherent to conventional languages.
![Fixing the Future | Functional Programming: The Biggest Change Since We Killed The Goto?](https://programming.dev/pictrs/image/b4b8ac77-62ac-4a60-b67a-2fe0e15f6c68.jpeg?format=webp&thumbnail=256)
A podcast with transcript which may help explain fp to laymen.
> The Fediverse – a network comprised of Mastodon, Pleroma and other adjacent projects – suffers from the same glaring contradiction. Similar to email nodes, servers (known as Instances within this network) are branded around common interests, political beliefs or sexualities. Users are encouraged t...
![](https://programming.dev/pictrs/image/7ad6632e-d8b9-4a7e-8df9-ea5a60bf996c.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
![](https://programming.dev/pictrs/image/b8af880e-8840-4ec0-b4a6-53b2608e45d9.jpeg?format=webp&thumbnail=512)
YouTube Video
Click to view this content.
A great talk by one of the greats to get the ball rolling in this new community.
I was looking into the prospect of deploying an instance of Lemmy myself. Being an ULTRA nix fanboi (and a Docker-hater), I was immediately struck by how much the process still depends on (and, IMO, is being held hostage by) Docker containers.
Can we (or at least someone more capable and with more free time than I) help the Lemmy community by harnessing the power of nix and flakes to create declarative, reproducible Lemmy scratch-built instance deployment?
I suspect it would be exceptionally easy for some of you out there. If you are a flakes power-user, just think of how much this could help the community (and perhaps awaken a few people to the power of flakes).
ps. if this already exists, please point me in the right direction.
![demesisx](https://programming.dev/pictrs/image/5f29f45d-e022-4fb7-a3eb-fcfcbdf363a7.png?format=webp&thumbnail=64)
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