Skip to content

Instantly share code, notes, and snippets.

Avatar

Andor Penzes andorp

View GitHub Profile
View trans.md

I'm writing this post to publicly come out as trans (specifically: I wish to transition to become a woman).

This post won't be as polished or edited as my usual posts, because that's kind of the point: I'm tired of having to edit myself to make myself acceptable to others.

I'm a bit scared to let people know that I'm trans, especially because I'm not yet in a position where I can transition (for reasons I don't want to share, at least not in public) and it's really shameful. However, I'm getting really

View CCCNbE.agda
open import Data.Unit
open import Data.Product
infixr 4 _⇒_ _*_ ⟨_,_⟩ _∘_
data Obj : Set where
: Obj
base : Obj
_*_ : Obj Obj Obj
View Layer3JobPosting.md

Programmer: Atlanta, GA, No Remote, Full-Time

Layer 3 Communications is a professional services organization and network systems integrator. We use Haskell to build network security applications that revolve around either analyzing network data or configuring networks.

Networking knowledge can be learned on the job, and thus is not required.

Our stack:

  • Backend: Haskell
  • Frontend: Small amounts of JavaScript
  • Database: Postgres
@chrisdone
chrisdone / 0README.md
Last active Nov 8, 2020
total-eval.hs
View 0README.md

Total (non-error-throwing) lambda-calculus evaluators.

@NicolasT
NicolasT / Conc.lhs
Last active May 25, 2017
Deriving Typeclass Instances using Typed Holes
View Conc.lhs
# Deriving Typeclass Instances using Typed Holes
> module Conc where
> import Control.Applicative
We're presented with the following structure:
> data Concurrent a = Concurrent ((a -> Action) -> Action)
> data Action = Atom (IO Action)
> | Fork Action Action
@sigrlami
sigrlami / ab.md
Last active Mar 4, 2022
List of companies using Haskell https://haskellcosm.com
View ab.md

WARNING This list outdated, for the up to date version visit https://haskellcosm.com

List of companies that use Haskell in Production

Types of work:

  • RD - research&development
  • PR - product
  • IP - in-house product
  • CO - consulting
@sjoerdvisscher
sjoerdvisscher / adjointFoldPlain.hs
Last active Jul 24, 2022
Adjoint folds, using regular Category from base (but custom Functor)
View adjointFoldPlain.hs
-- http://www.cs.ox.ac.uk/ralf.hinze/SSGIP10/AdjointFolds.pdf
-- http://www.cs.ox.ac.uk/ralf.hinze/publications/SCP-78-11.pdf
-- https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf
-- https://arxiv.org/pdf/2202.13633.pdf
{-# LANGUAGE
MultiParamTypeClasses
, FunctionalDependencies
, GADTs
, PolyKinds