@eh@functional.cafe
@eh@functional.cafe avatar

eh

@eh@functional.cafe

I'm an Oslo-based, programming languages dilettante.
I like Haskell, Erlang and Idris. Oh, and Rust and Gleam too!

I work on #tana.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

eh, to random
@eh@functional.cafe avatar

What is the best way to start using #purescript + halogen with #nix on ARM and macOS? purs-nix seems to only support x86_64. :|

eh, to rust
@eh@functional.cafe avatar

Happily writing some code and then suddenly &* strikes again!

My intuition is still adamant that creating a ref and then dereferencing it immediately is a no-op, so I always feel bad for my colleagues when I have diffs like this:

- .bind(updates)  
+ .bind(&*updates)

(In this case updates was changed to be a Cow smart pointer.)

molly0xfff, to knitting
@molly0xfff@hachyderm.io avatar

when you get 120 stitches into a 174-stitch long-tail cast on and realize you didn't leave enough tail 😭

eh,
@eh@functional.cafe avatar

@molly0xfff I first interpreted it as 120 tiktok stitches and thought “uh-oh! what has the tiktok mob done now? 😬”

eh, to NixOS
@eh@functional.cafe avatar

The last picture of my server before it went offline:

reloading the following units: firewall.service
client_loop: send disconnect: Broken pipe

I guess I won't be touching my networking.firewall settings again for a while. 😬

(The good news is that TIL how to use the recovery console to boot into an earlier configuration and recover my NixOS server. 😮‍💨)

d_christiansen, to random
@d_christiansen@mathstodon.xyz avatar

I'm happy to announce the first maintenance release of Functional Programming in Lean, an introductory book on using the Lean theorem prover as a programming language. In this release, a number of mistakes have been fixed and the text has been brought up to date with the changes in Lean version 4.1.0.

It's here:
https://lean-lang.org/functional_programming_in_lean/

eh,
@eh@functional.cafe avatar

@d_christiansen Is there an epub version available? (Or is the Markdown source available so I can generate one with pandoc?)

eh,
@eh@functional.cafe avatar

@d_christiansen Update: Giving the print.html source to pandoc seems to have worked well. I now have a shiny epub. ☺️

liztai, to Malaysia
@liztai@hachyderm.io avatar

"It's a good idea to put your country's flag in your profile so they can quickly know where you're from. IE, don't presume you're from a certain country."

Me, wondering if they'd recognise my country's flag or ... think it's American

eh,
@eh@functional.cafe avatar

@liztai Hope you don't mind a quick Malaysia-related question since I'm just looking at plans for a Malaysian wedding I'm going to in February and saw your post just now:

Is it okay for me to use my (quite basic, but improving!) Bahasa Indonesia in Malaysia, or is that in any way rude? I can live with “lol this guy is using really funny words” and “I have no idea what he just said”, but I don't want to be insensitive. :)

eh,
@eh@functional.cafe avatar

@liztai Cool! Thanks!

The wedding itself will actually be in Singapore with lots of people from Johor and Singapore, but we'll travel around a bit before/after. Great to hear that I'll be able to practise my Bahasa, even though it will probably shine through that I've only been using Indonesian learning material. :)

I can live with getting responses in English – that's what would happen here in Norway too – I'll just keep speaking broken BI/BM when I have the energy. 😈

ctietze, to random
@ctietze@mastodon.social avatar

I appreciate monospace fonts.

But in my tax documents?

That appear like they still process my taxes using MS DOS.

eh,
@eh@functional.cafe avatar

@ctietze ISO-8859-15 ✨

eh, to random
@eh@functional.cafe avatar

Finished Lucy Dreaming from @tallstorygames on the Switch yesterday and loved it!

A great mix of quirky, funny and challenging. (And some fun nods to old point and click adventures, too!)

https://lucy-dreaming.com

eh, to random
@eh@functional.cafe avatar

@sidewalksafari Thanks! The last time I was in KL was in August 2007, so compared to that a (late) 2014 report is fresh! 😅

eh, to random
@eh@functional.cafe avatar

@ubi Definitely nature, but really all of the above.

eh, to random
@eh@functional.cafe avatar

@rakyat Thanks! Will check out Melaka!

eh, to Travel
@eh@functional.cafe avatar

I will probably from Singapore to Kuala Lumpur in early July and would like to see more of than just KL. Does anyone have any recommendations for southern Malaysia? 🇲🇾

(Slight) detours are fine. (Oh, and tips are also welcome!)

eh, to random
@eh@functional.cafe avatar

People who use for dev environments: Do you include utilities that aren't strictly necessary in your dev environments? E.g. clippy for rust or hlint for Haskell and langauge servers for all languages.

I started creating e.g. ~/nix/dev-tools/haskell/flake.nix and the have this in my .envrc files:

use flake ~/nix/dev-tools/haskell  
use flake .

The thinking was that I could keep tooling that isn’t strictly necessary for building the project out of the projects’ dev shells (and as a bonus share these between projects), but these often depend on specific versions of the compiler so in practice I need to keep them more or less in sync. 😑

Maybe it’s fine to just include “non-necessary” tools in projects’ dev environments?

sindresorhus, to random
@sindresorhus@mastodon.social avatar

I kinda miss defragging my hdd

eh,
@eh@functional.cafe avatar

@sindresorhus Same! And the mechanical(!) sounds were an important part of the experience. So meditative. 😌

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • GTA5RPClips
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • osvaldo12
  • Youngstown
  • ngwrru68w68
  • slotface
  • everett
  • rosin
  • thenastyranch
  • kavyap
  • tacticalgear
  • megavids
  • modclub
  • normalnudes
  • cubers
  • ethstaker
  • mdbf
  • Durango
  • khanakhh
  • tester
  • provamag3
  • cisconetworking
  • Leos
  • anitta
  • lostlight
  • All magazines
    •