Skip to content

Instantly share code, notes, and snippets.

View dpwiz's full-sized avatar
👁️‍🗨️
🌈

Alexander Bondarenko dpwiz

👁️‍🗨️
🌈
View GitHub Profile
@dpwiz
dpwiz / RegisterOrHandoff.hs
Last active February 25, 2016 14:01
Check local registry for a process and spawn one if necessary.
import Control.Distributed.Process
import Control.Distributed.Process
spawnLocalOrHandoff :: String -> Process () -> Process ProcessId
spawnLocalOrHandoff regKey proc = do
(pidTo, pidFrom) <- newChan
pid <- spawnLocal $ registerOrHandoff regKey pidTo proc
withMonitor pid $ receiveWait
[ matchChan pidFrom $ either die pure

Keybase proof

I hereby claim:

  • I am wiz on github.
  • I am icrbow (https://keybase.io/icrbow) on keybase.
  • I have a public key ASDRadknOBC70474T10SGyu5lcwZ6uN7HsfkBSahuXWErAo

To claim this, I am signing this object:

Keybase proof

I hereby claim:

  • I am dpwiz on github.
  • I am icrbow (https://keybase.io/icrbow) on keybase.
  • I have a public key whose fingerprint is DB13 7C80 CB83 D703 C813 97C1 47DA E604 896D 2914

To claim this, I am signing this object:

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module Main where
import Apecs
import Apecs.Physics
@dpwiz
dpwiz / CMC.hs
Created March 26, 2025 21:53
Gemini 2.5 Pro-Exp vibecoded some constructive mu-calculus
{-# LANGUAGE OverloadedStrings #-}
module CMC (
-- * Types
Name,
Formula(..),
-- * Querying
freeFVars,
-- * Operations
lift,