haskell

Just Testing

Welcome to the blog of Manuel M T Chakravarty. I am a computer scientist with a background in programming languages, parallel programming, distributed systems, and cryptography. My current research is mostly at the intersection of programming languages and cryptography with applications to permissionless blockchains. I am also a software developer who is passionate about functional programming. I develop for macOS, iOS, and Linux. I am the principal developer of Haskell for Mac, a unique…

Kendrick

Recent content on Kendrick

The Comonad.Reader

types, (co)monads, substructural logic

adventures in uncertainty

jaspervdj - All posts

Personal blog of jaspervdj

jezenthomas.com

Thoughts on Haskell, Business, Unix, and more.

jml :: Jonathan Lange

Recent content on jml :: Jonathan Lange

myme.no tech blog

Adventures in Software

Ari Fordsham's blog

Alistair Burrowes

My blog

Blog | jackkelly.name

Latest posts on jackkelly.name

Clément Delafargue - RSS feed

Colour Coding

Because things aren't always black and white

Control.Monad.Writer

Software engineering, compilers, languages

Deni Bertovic

Blog posts by Deni Bertovic

Gabriel Garcia Torrico

I'm a software engineer based in Amsterdam.

Simon Peyton Jones

Simon Peyton Jones' personal website.

Terms and Truth-Conditions

Michael Peyton Jones' blog - mathematics, computer science, philosophy.

Thoughts From a Programmer

Recent content on Thoughts From a Programmer

acatalepsie

argumatronic

FP/Haskell blog

blog | jelv.is

My technical blog containing articles about programming languages, functional programming and general CS.

jutty.dev

Computer nerd memory leaks

marcoshplace

A place to store my thoughts and ideas about programming and related stuff

podsnap

shapr's RSS feed

writings by shae

λ-Files

Blog archive

(untitled)

(untitled)

@typesanitizer's blog

Musings on compilers, programming languages and software engineering.

Abhinav 🧭

Public posts from @abnv@fantastic.earth

Adrian Sieber's Website

Adrian Sieber's personal website and blog

Anthony Super

Personal Blog of Anthony Super. Includes articles on startups, programming, life, humor, and music.

Blog on Lucas's Webpage

Recent content in Blog on Lucas's Webpage

Brad Parker

I've been making software professionally for about nine years and I really love it. I believe software has this empowering potential, I believe everyone should be able to understand it if they want to. This means I prefer open and accessible tools and standards wherever possible. It also means I try to learn in the open, sharing what I learn as I learn it.

Chiroptical’s Blog

A random blog about random stuff

Dan Ghica's Personal Blog

Mostly programming language semantics with a dash of armchair philosophy. The views expressed here are personal and in no way reflect those of my employers.

Functorial Blog

A blog about functional programming

Home on Nathaniel Thomas

Recent content in Home on Nathaniel Thomas

Matthew Brecknell

Programming and formal software verification

Michael Chavinda

A collection of my thoughts on the various topics I find myself interested in.

Nauths

Random thoughts about tech stuff

Posts on Duing Dev

Recent content in Posts on Duing Dev

Solomon's Blog

functional programming, permaculture, math

Spacedome.tv

Recent Posts

Yet Another SysAdmin Website - Blog

Recent content in Blog on Yet Another SysAdmin Website

dbp.io :: essays

writing on programming etc by daniel patterson

ezyang's research log

What I did today. High volume, low context. Sometimes nonsense. (Archive)

nomeata’s mind shares

Joachim Breitners Denkblogade

pema.dev

rebecca®

the digital home of rebecca turner, software engineer & mathemagician

technobable

programing languages and understanding computers

Accidentally Quadratic

Adit's Blog

Posts on programming

Arthur Jamet

Multimedia geek and functional enthusiast. Epitech Graduate, PhD Student & Teaching Assistant

Arun Raghavan

Open source hacker

Blog

blog

Brendon A. Kay

Software Engineer specializing in backend systems and functional programming.

Deque

Functions In - Fictions Out

Iago's Blog

Iago Leal's blog about math, programming and everything more.