#gren — Public Fediverse posts

Now, this is interesting:

https://packages.gren-lang.org/package/lue-bird/gren-extra-checks/version/1.0.2/overview

#gren

I finally updated gren-tui to the latest version of #gren so I thought it was a good time to remind people that it exists. It lets you write command line apps in a pure functional, type-safe, but very pleasant way using the #elm architecture. I'm having a lot of fun with it.

https://github.com/blaix/gren-tui

I talked about fuzz testing in #gren. Pardon my grogginess.

https://www.youtube.com/watch?v=4LLMco02gXg&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=31

#testing #tdd

uh oh. oh no. it's monday. BUT I made a video about regular expressions in #gren

https://www.youtube.com/watch?v=wgWE9cYFFKY&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=30

Good morning. I made a video about how to do #tdd in #gren

https://www.youtube.com/watch?v=apkyTUABLEA&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=29

#FunctionalProgramming

New Gren Twigs video! This one shows you how to use the stdio streams (reading input and printing to the screen). I apologize I did not have time to make a shorter video.

https://www.youtube.com/watch?v=wvGmRFYmttg&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=29

#gren #FunctionalProgramming

The latest version of #gren is now available in the #nix (unstable) package repository!

https://search.nixos.org/packages?channel=unstable&show=gren

Just got way easier to use #Turso with #Gren thanks to Joey Bright's new package: https://github.com/joeybright/gren-turso

#sqlite

Instead of working on bugs for the upcoming #gren release, I made a dumb idle game for me and my kids. Nobody tell @robinheghan

https://www.blaix.com/aglet-factory/

The next Gren Twigs is up. It's the final entry on building a cowsay-powered pomodoro timer on the command line. In this one we add the ability to enter a custom amount of time, which means we are managing form fields and multiple screens in a gren-tui app for the first time. Wild and crazy stuff.

https://www.youtube.com/watch?v=6b-gSFuLHaM&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=28

#FunctionalProgramming #gren #tui #cow

The next Gren Twig is out. It's part 3 of building a pomodoro timer on the command line with gren-tui. In this one we add a pause feature and some color.

https://www.youtube.com/watch?v=MBk6HHIN2wc&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=26

#gren #FunctionalProgramming #tui #cow

Rally Against Bills 5, 6, 17 at Kitchener City Hall, 11:30am on Sat. 31 May 2025

What: Rally against Bill 5, Bill 6, and Bill 17, aka Rally for People and Planet
When: 11:30am to 2:00pm on Saturday 31 May 2025 (speeches at Noon)
Where: Carl Zehr Square, Kitchener City Hall
Location: 100 King Street West, Kitchener, Ontario Map
Website 1: https://gren.ca
Website 2: https://environmentaldefence.ca/stop-bill-5/
Contact: Kevin Thomason – [email protected]

For your safety, never register for rallies, protests, or other events where civil disobedience may occur.

We need to stop Premier Ford’s Power Grab

Premier Ford promised to protect Ontario. But now that he’s been elected, he is already breaking that promise. His latest bill would give his friends special permissions to ignore laws that protect us and our environment.

No guardrails.
No accountability.

We can’t afford to let him and his cabinet get away with this.

Kevin Thomason writes:

It has been an unprecedented week as Doug Ford has tried to ram through the horrific Bill 5 while all the opposition MPPs have worked together to do everything in their power to stop it, join the Kitchener Rally Against Bill 5 on Saturday at 12:00 noon, participate in upcoming webinars and events, speak up against Bill 17’s devastating impacts on our communities, learn about the latest very disappointing Hidden Valley loss to developers in Kitchener, the Greenbelt Scandal continues with more concerning e-mails found, and more. Here’s the latest:

1) Bill 5 Pushback Grows – There are more protests, more groups speaking out. and actions against Bill 5 the “Protect Ontario By Unleashing Our Economy Act”, a dangerous attack on our rights, environment, and democracy. First Nations, environmentalists, civil liberties organizations, labour, municipalities, and even Amnesty International have come out against Bill 5.

It was fantastic to see all opposition MPPs working together to do everything they could stop the bill this past week including an impressive filibuster at the Standing Committee meeting until midnight on Wednesday night. While the Ford government is promising amendments to try to quell First Nations concerns, Indigenous Leaders say it is too little, too late and frankly the government has made only ineffective, minor, superficial amendments as “window dressing” while completely ignoring the vast majority of concerns raised by tens of thousands of concerned citizens so far.

Protests/Rallies — There have been large protests including hundreds of people in Guelph last weekend. Please plan to join the Kitchener Protest Against:

Bill 5 — Sweeping powers to fast track development, bypass environmental protections, create law-free economic zones, ignore archeology, and violate Indigenous rights.

Bill 6 — Harsher penalties for drugs and trespass targeting homelessness with punitive measures rather than support.

Bill 17 — Prohibiting needed Green Development Standards, limiting development charges, enabling new MZO’s, encouraging dangerous inexpensive water and wastewater systems.

Date/Time: Saturday, May 31st at 12:00 noon
Location: Carl Zehr Square on King Street at Kitchener City Hall

#EnvironmentalDefence #GrandRiverEnvironmentalNetwork #GREN #KevinThomason #WaterlooRegion

Hey the next Gren Twigs is up about making a pomodoro timer on the command line with gren-tui. In this one we make the cow start counting down our pomodoro timer. Exciting stuff.

https://www.youtube.com/watch?v=VEeU9fnfcng&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=25

#FunctionalProgramming #gren #tui

Gren to WebAssembly - YouTube - https://www.youtube.com/watch?v=OCpzEw4T5bA

#gren #wasm #elm #programmingLanguages #fp

Posted a new gren twigs video where we start making a command-line pomodoro timer with gren-tui: https://www.youtube.com/watch?v=PUUfQA7miwQ&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=24

#functionalprogramming #gren #tui

Just posted a video that takes you from an empty directory to a full stack #gren web application that talks to a database!

https://www.youtube.com/watch?v=Ld1Lc10dO2k&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=23

#FunctionalProgramming

Full, working example of using sqlite with the pretty nice, full stack, gren web framework:

https://github.com/blaix/prettynice/tree/main/examples/v3/database

#sqlite #gren #FunctionalProgramming

Today's Gren Twig is about Pretty Nice, my full stack web framework for Gren:

https://www.youtube.com/watch?v=gZCOZ9tuArU&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=21

#FunctionalProgramming #gren

Today's twig is about opaque types in Gren. This is a technique that lets you enforce business logic constraints at the compiler level. Making it literally impossible to ship certain types of bad code. Radical and cool stuff.

https://www.youtube.com/watch?v=bhJDn_W8kR0&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=20

#FunctionalProgramming #gren

Today's Gren Twigs video is about Gren Tui, a package for writing terminal UIs in a pure, functional, type-safe way using The Elm Architecture. I am very excited about this one and would love if you shared it!

https://www.youtube.com/watch?v=zBrjKJiy6rI&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=19

#FunctionalProgramming #gren #elm #tui

I am in West Virginia this week visiting coal mines and US Civil War sites. Two places where unions were on the right side of history and held their ground despite losing many lives. Also I have another Gren Twigs video where we start using Gren to write #nodejs applications!

https://www.youtube.com/watch?v=jF9fqm9UNYo&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=16

#functionalprogramming #gren

Oh no it's Monday! But in this Gren Twig I finally get to the point where we're saving values to the browser's local storage!

https://www.youtube.com/watch?v=tPvYhiMieZM&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=15

#functionalprogramming #gren

Hey hey it's Friday! In this Gren Twig I add a custom error type and use that to show a custom message if we can't interact with the browser's local storage.

https://www.youtube.com/watch?v=iP1gE3uafXM&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=14

#FunctionalProgramming #gren

It's Wednesday Grensday! This twig shows you how to take a Task that describes an effect, and turn it into a command that actually performs it. Finally finishing the groundwork to start interacting with the browser's local storage!

https://www.youtube.com/watch?v=qQmALus4oFA&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=13

#FunctionalProgramming #gren

Oh no it's Monday! But I have a new Gren Twigs video. This one is about type variables. Might be a little weird if you've never seen this before!

https://www.youtube.com/watch?v=51JnaN3Q3v4&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=12

#functionalprogramming #gren

Hey hey it's Friday. This Gren Twig is about custom types in Gren.

https://www.youtube.com/watch?v=_NEMl8odaL4&list=PLflA5Q354D42Zxi6KiLmNVNzQHINQ51U-&index=11

#functionalprogramming #gren