Ayman Nadeem
About

Posts

  • Jun 26, 2022

    Network Security for Paranoid Ovaries

  • Sep 19, 2021

    Human-Centered Approach to Static-Analysis-Driven Developer Tools

  • Apr 12, 2021

    Using Benford's law to understand code regularity and detect malware

  • Feb 16, 2021

    A Framework for Learning New Languages

  • Oct 7, 2020

    Fashion, Polymorphism, Generic programming, and related concepts

  • Sep 20, 2020

    Go, no go

  • May 15, 2020

    Kindness for Mean Girls: a discussion on type-level programming in Haskell

  • Apr 26, 2020

    Arabic triliteral roots

  • Aug 6, 2019

    The False Dichotomy Stunting Tech

  • Apr 24, 2019

    Lost in translation: human language and the edges of identity

  • Apr 24, 2019

    Foldilocks: Demystifying Folds with GHCi

  • Nov 29, 2018

    An Introduction to Inlining and Specializing in GHC

  • Aug 12, 2018

    The Organized Chaos of Programming Language Design

  • Apr 22, 2018

    Artificial Intelligence Beyond Buzzwords

  • Jan 23, 2018

    Musings from MUSE: DARPA's program for software advancement via PLT, verification, program analysis, theorem proving and compilers

  • Sep 4, 2017

    Uncommon guidance for software engineering interns

  • Jun 5, 2015

    Decolonizing our epistemic foundation

subscribe via RSS

Ayman Nadeem

  • Ayman Nadeem
  • holla@aymannadeem.com
  • aymannadeem
  • aymannadeem

Programming Languages, Mathematics, Functional Programming, Haskell, Developer Tools, HCI, criminally bad puns.