Mastodawn

oi ya functional programming #FP boffins and FP-curious minds. Brisbane Functional Programming Group #BFPG Hack Day is on again, THIS SATURDAY at UQ. Be there or be a lambda cube! https://luma.com/0je3g6ft

Thanks to UQ and Professor Paul Vrbik for venue arrangement, Sirius-Beta Labs for lunch, and Thea and George for hosting this edition (yes, I am a lambda cube this time).

#Haskell #Idris #Agda #Clojure #Scala #Rust #Scheme #Lisp #Fsharp #Erlang #Gleam #Racket #Elixir #Elm #PureScript

BFPG Hack Day - June 2026 · Luma

Come to BFPG Hack Day for some wholesome fun hacking on side projects, tackling tutorials, grinding axes and shaving yaks! Work together or independently.…

Mathieu Agopian 4d ago

Currently attending elm-camp in Olomouc, Czechia. So awesome meeting all those people, and putting a face to an avatar!
#elm #elm-camp

Marce Coll 5d ago

I've been working on an #OS idea I've had for a long time. The idea is a mix of #smalltalk, #lisp machines and #Elm. Instead of a filesystem you get a simple transactional KV store. Processes are actors, but they only exist as state in the DB + an address registry. If they havent received a message they do not use memory or CPU. Actors are written in a typed lisp language. It's easy to create programs that store state and where that state persists across reboots. Every program is like that by default. The system is based on a very simple set of capabilities, only two types exist: an actor address and a hash in the content addressable store which gives you read access. With this plus the sbility to spawn new actors with arbitrary s-expr allows you to spawn actors that refine the set of capabilities in arbitrary code defined ways without having to create more granular capabilities. #osdev

Herr Klamauk Jun 13

Heute ging's mit einigen aus meiner Familie mit den Rädern aus Helmstedt nach Braunschweig. Dazwischen liegt der Elm, ein bewaldeter Mittelgebirgszug. Man sieht auf Bild 2 auch genau, wo die Steigung kam. 😅

Trotz einigem Regen und starkem Gegenwind schlugen wir uns wacker und sind uns einig, dass es eine gute Tour war.

#Fahrrad #radfahren #Radtour #radeln #mdRddG #Komoot #Braunschweig #Helmstedt #Elm #Berg #Berge #Gebirge

HaskellOrg Jun 12

Haskell for Elm developers: giving names to stuff (Part 8 - IO), by Flavio Corpa

https://flaviocorpa.com/haskell-for-elm-developers-giving-names-to-stuff-part-8-io.html

#Haskell #Elm

Haskell for Elm developers: giving names to stuff (Part 8 - IO)

A series of blog posts for explaining Haskell to Elm developers interested in learning the language that powers the compiler for their favourite language!

flaviocorpa.com

Philipp

Jun 10

I'm a little excited about native #elm via elm-run, but I do doubt the decision to make exiting the program a simple effect. We will end up with accidentally non-terminating programs that way. A strange problem to have, never seen that in other languages so far.

lcoullet Jun 2

On y croit ! https://elm-run.dev/ #elm

elm-run — Run Elm anywhere

elm-run executes Elm on the command line and the server. Run Elm outside the browser without JavaScript, with analysis-friendly bytecode and enforceable capability boundaries.

GitRanks May 24

Elm just hit record highs in both codebase size and weighted stars. Code size reached 692 M LOC (up from 687 M), while its #GitHub score climbed to ~73.4 k (from ~73.0 k), marking the strongest monthly gains ever. #Elm

Radio_Azureus May 20

Notice

Google mail client in Android refuses to login on other addresses than gmail.com!!!

I noticed a while back that the Google client fights back when I want to login on my email addresses which deviate from the Google domain. The client started with putting delays, before opening those accounts. It also randomly injected that those accounts were not safe while all standard Open Source safety measures are taken on both the servers and the clients.
When scaring you into using your {own hosted} email server fails, the gmail Android client degrades to the following behavior

The Google mail client in Android blatantly refuses to open the mails on those addresses.

##The Android client fakes, hallucinates, out of memory errors...

...even when all other programs on the phone have been taken out of memory. It's like someone put in LLM hallucinated slop code in that part of the gmail client

Very anti-consumer this Behavior

Of course I have an Open Source e-mail client running 🎽 on my Androids

I've seen this behavior coming years before. No I'm not going to recommend any open source email client to you, to use on your Android, to fetch and process your mail.
There are enough choices to make your own

Just remember that Google hates all of us

Google hates their clients

Google as a company hates their consumers never forget that

jump ship.

Google is now the Bell Phone Company of the 1960s

Sent you insisted I use

pine
elm
Thor on M68k
OWM {offline waffle mailer}
thunderbirdacross my installations. Use your own email client needs to select one, suitable for you; don't go with mine just because I use it

sources:

moi

man elm

man pine

man thunderbird

https://en.wikipedia.org/wiki/Email

https://en.wikipedia.org/wiki/Gmail

https://en.wikipedia.org/wiki/Smtp

https://en.wikipedia.org/wiki/Mime

https://en.wikipedia.org/wiki/MIME

#Google #email #client #elm #pine #OWM #Thor #Amiga #M68k #Android #Alphabet #programming #Enshittification #OpenSource #Thunderbird

Email - Wikipedia

Brian J. Cardiff May 12

I explored the idea of having elm apps built using two-way bindings. If interested check https://package.elm-lang.org/packages/bcardiff/elm-rad/1.0.0/ and its source for examples. Cells, computed, debounce, validation, and local persistence supported. #elm #elmlang