> 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

> 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.

cross-posted from: https://lemmy.dbzer0.com/post/30927140

> 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

I stumbled onto this episode after fantasizing about just such a technology where we could take all of the positives of the Beam and bring them to the amazing OCamL compiler. This guy Leandro is incredibly clever and articulate. I loved his use of the word “free range” to describe a technology later in this podcast. A super interesting episode!

Leandro reminds me of myself (though I’m obviously not quite as bright), getting interested in bleeding edge, space age languages like Idris then dialing back the type astronautiness to more breathable air to achieve things in the real world with languages like OCamL. Enjoy! Hopefully some of you smart people can help push #RIOT forward. It seems like a great idea without peer in the tech world.

cross-posted from: https://lemmy.world/post/20776659

A quick, naive AI generated Purescript translation (quickly generated that probably doesn’t work but will help get me started later) ```

module Main where

import Prelude import Effect (Effect) import Effect.Aff (launchAff_) import Effect.Aff.Timer (setInterval) import Effect.DOM (window) import Web.HTML (document) import Web.HTML.Document (getElementById) import Web.HTML.Element (Element, toElement) import Web.HTML.HTMLCanvasElement (getContext2D, getCanvasElementById) import Web.HTML.Canvas.Image (newImage, getWidth, getHeight, setSrc) import Web.HTML.Canvas.CanvasRenderingContext2D (CanvasRenderingContext2D, drawImage) import Web.HTML.Types (CanvasElement, Image) import Web.DOM.Node.Types (Node)

foreign import requestAnimationFrame :: (Effect Unit -> Effect Unit) -> Effect Unit

-- Loads the image and begins the animation startAnimation :: Effect Unit startAnimation = do img <- newImage setSrc img "example1.jpg" canvas <- getCanvasElementById "myCanvas" context <- getContext2D canvas

-- We defer animation start until the image is loaded imgOnLoad img (beginAnimation context img)

-- Sets the image onload handler, safely deferring canvas drawing until the image is ready imgOnLoad :: Image -> Effect Unit -> Effect Unit imgOnLoad img action = do foreignOnload img action

foreign import foreignOnload :: Image -> Effect Unit -> Effect Unit

-- Initializes the animation loop beginAnimation :: CanvasRenderingContext2D -> Image -> Effect Unit beginAnimation context img = do imageWidth <- getWidth img imageHeight <- getHeight img let row = imageHeight requestAnimationFrame (animate context img row imageWidth imageHeight)

-- Animates drawing row by row animate :: CanvasRenderingContext2D -> Image -> Int -> Int -> Int -> Effect Unit animate context img row imageWidth imageHeight = do drawImage context img 0 row imageWidth 1 0 0 imageWidth row let nextRow = if row > 0 then row - 1 else imageHeight requestAnimationFrame (animate context img nextRow imageWidth imageHeight)

main :: Effect Unit main = do startAnimation

```

cross-posted from: https://beehaw.org/post/16413694

Appropriate levels of physical activity, sedentary behaviour and sleep (collectively termed movement behaviours) are essential for the healthy growth and development of preschool-aged children.

This was the impetus for creating the Canadian 24-Hour Movement Guidelines for the Early Years (birth to four years). Likewise, this is why the World Health Organization adopted the Canadian guidelines when creating the global guidelines on physical activity, sedentary behaviour and sleep for children under five years of age.

Considering the extensive benefits of movement behaviours, it is very alarming that a recent study found that only 14 per cent of preschoolers around the world are meeting movement behaviour guideline recommendations.

cross-posted from: https://beehaw.org/post/16402193

2024-10-05 by GIMP Team

This is a short development update on our progress towards the first release candidate for GIMP 3.0. We recently reached the string freeze milestone. What this means is that there will be no more changes in user-facing text (like GUI labels and messages) so that translators can work on the final translations for the 3.0 release.

cross-posted from: https://infosec.pub/post/18381069

cross-posted from: https://infosec.pub/post/18350400

> > 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 >

> 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

> 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

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.

cross-posted from: https://infosec.pub/post/18056141

> 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 😁