mangoiv

mangoiv, 6 months ago to haskell

The glorious Glasgow Haskell Compiler is preparing for the next GHCxxxx edition. These are bundles of extensions that are considered popular, stable and useful and should be offered to any Haskeller out there. There was already one such edition, GHC2021, replacing the original Haskell standards process after GHC had become basically the only widely used Haskell implementation.

If you want to be part of this proposal, this is your chance, vote now and make Haskell more convenient for yourself!

Big thanks to @nomeata for driving the process.

#haskell

https://discourse.haskell.org/t/ghc2024-community-input/8168

mangoiv, 2 months ago to haskell

Hi! Ever wanted to check your cabal projects against the haskell security-advisories database?

Now it has become possible; I have implemented the first prototype of an equivalent to npm or cargo audit, cabal-audit and it now it is in a usable state:
https://github.com/haskell/security-advisories/pull/148
there is two ways to run it:

1. install from source with cabal
2. (more convenient) nix run github:mangoiv/security-advisories/mangoiv/hsec-cabal#hsec-cabal

soon (next cabal release) this will also work as a plugin, i.e. cabal audit will use the cabal-audit binary in your PATH thanks to @yvan who made that possible.

Tell me if you like it ;)

#haskell

mangoiv, 2 months ago to haskell German

GHC2024 has landed on HEAD and will be part of GHC 9.10, notable changes include:

• GADTs + MonoLocalBinds
• DataKinds
• LambdaCase

Sadly no BlockArguments (Haskeller appear to love their dollars) and TypeData (time hasn’t come I guess)

Also thank god no ImpredicativeTypes and TypeFamilies

https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12084

Also please thank @nomeata for pushing this forward! 👏

#haskell

mangoiv, 1 month ago to random

Thank you @pluralistic for this blogpost, I will now refer everyone who wants to talk about their lord and savior the almighty AI to this:
https://pluralistic.net/2024/04/01/human-in-the-loop/#monkey-in-the-middle

mangoiv, 3 months ago (edited 3 months ago) to haskell German

Instead of doing something sensible I spent my Saturday on making an alternative hoogle web frontend with focus on simplicity, prettiness and speed.

Try it out on https://hoogle.mangoiv.com and tell me if you like it.

Code can be found at https://git.mangoiv.com/mangoiv/modern-hoogle

NixOS module pending

#haskell

mangoiv, 5 months ago to haskell

A new episode of the Haskell Interlude Podcast with @edwinb to be found here:

https://haskell.foundation/podcast/38/

Looking forward to listening after work!

#haskell

mangoiv, 3 months ago (edited 3 months ago) to haskell

On one of my recent posts, I shared my first blogpost with you, namely on how to build a webshop in Haskell, deployed on nixos, but I did not link the actual code, now, after a bit more time has passed, I want to share that as well. Find the code on
https://git.mangoiv.com/mangoiv/webshop

To navigate the repo, I have written some things in the README.md, feel free to ask questions about anything, if they come up.

I did use all the fancy things, so if you're looking to use fused-effects with servant, squeal-postgresql and deploy this on nixos, you now have a reference!

For reference, my blogpost can be found at https://mangoiv.com/posts/2023-11-15-webshop.html

#haskell #nix

mangoiv, 3 months ago to haskell German

https://haskell.foundation/podcast/43/

Super interesting podcast episode. Ivan Perez is interviewed by @wouter and @kosmikus. He’s a researcher at NASA who develops the copilot embedded domain specific language for monitoring state transitions of the software running on their devices.

#haskell

mangoiv, 5 months ago to haskell

Who from the #haskell bubble is attending #37c3? Who am I going to see?

mangoiv, 3 months ago to random German

Apple made dhall https://github.com/apple/pkl

mangoiv, 2 months ago to haskell

I hope to add the todo function to the GHC's base Prelude and hence opened a proposal with the core libraries committee:

https://github.com/haskell/core-libraries-committee/issues/260

Please do not hesitate to leave a ❤️ and comment if you have something to say on this topic.

If you find any errors or weirdnesses in the proposal itself, please comment under this post, not the proposal.

Thank you!

#haskell

mangoiv, 2 months ago to NixOS

#nixos foundation has approved that the following event will be the right place to discuss the new sponsorship policy and get information about decisions around it.

I’m looking forward to it! I’m hoping for a constructive and civilised discussion.

https://discourse.nixos.org/t/nixos-foundation-board-open-board-meeting-2024-03-20/41209

mangoiv, 8 months ago to haskell

Squeal is so fun!
But also so slow to compile!

https://flora.pm/packages/@hackage/squeal-postgresql

#haskell

mangoiv, 21 days ago to haskell

Shoutout to @hecate for https://flora.pm/.

It’s just so awesome to have a fast, modern UI for hackage that really suits all your needs!

#haskell

mangoiv, 15 days ago (edited 12 days ago) to random

Who’s coming to ZuriHac?! I’m so excited!

#haskell

mangoiv, 8 months ago to haskell

The Haskell :transHaskell: foundation is searching for a new Executive Director after the departure of David Thrane Christiansen.

https://haskell.foundation/careers/executive-director.html

#haskell #programming

mangoiv, 1 month ago (edited 1 month ago) to haskell

Is it just me or is this whole thing about „don’t do X if you don’t really know what you’re doing“ really counter productive? Many people live in fear of X now and don’t start thinking if X is an actual problem or learn what the problems are that could rise from X.

I see this very often in the #haskell ecosystem where the solution to doing X properly is often learnt in a few minutes investigation.

maralorn, 2 days ago to NixOS

Switched all my machines to #nixos 24.05.

Basically no hickups. Thanks to all contributors for a great release!

maralorn, 1 year ago to NixOS

Hey #nix and #nixos people!

I wrote a matrix bot for nixpkgs pull request notifications.

It‘s like the cool https//nixpk.gs/tracker.html by @qyliss, which shows you which release channels a pull request has reached.

With the bot you can subscribe and get notifications, whenever it reaches a channel instead of hammering F5 in your browser tab.

Just open a query to https://matrix.to/#/@nixpkgs-bot:maralorn.de and send "help".

Looking forward to you all stress testing it!

c3manu, 3 days ago to random

hypothesis on why dealing with insufficient software documentation has gotten a lot more agonizing over the last few years: you don't find the personal developer blog's post complementing it in your web search any more

mangoiv, 5 months ago to haskell

I feel like although for nerds like me putting more types in a language is a cool thing, what would be much more important as a topic of research, in practise, is reducing the syntactic overhead of type systems. I recently heard so many complaints about this, I feel like we’re not there yet; I do agree.
#haskell