ᕦ(ò_óˇ)ᕤ

@dysinger

Tim Dysinger: Typed FP (mostly Haskell), Radio (AH6TE), Robots, Astronomy, Travel. Home @ Kauai. Work @ Manhattan

Photos and Videos by @dysinger

  • Timeline
  • Gallery

  • 696 days ago via site
  • 9

  • 696 days ago via site
  • 10

  • 696 days ago via site
  • 7

  • 696 days ago via site
  • 10

  • 696 days ago via site
  • 12

#Idris hacking. zero-dependency real-world executable. Weekend: Type Provider /cc

  • 868 days ago via site
  • 208

actual status :D

  • 885 days ago via site
  • 219

Yeeeeeaaaah. How's that spawning-of-a-new-Xen-instance-per-HTTP-request thing going for you?

  • 896 days ago via site
  • 168

My mash-up of today's (and past) XKCD comic #haskell

  • 903 days ago via site
  • 930

I can make it work from a shell. Oh by the way I'm zsh not bash for my login shell.

  • 917 days ago via site
  • 80

there's very little information. M-x idris-repl works. Path set or not doesn't matter. type ':h' & freezes

  • 917 days ago via site
  • 68

:D #nodejs

  • 980 days ago via site
  • 356

Given the timing of commits & severity of the warning, I would bet Node.js vulnerability fix is this patch.

  • 980 days ago via site
  • 246

Indiegogo kinda sucks at programming the web. Their site is buggy, slow & errors out. /cc

  • 1001 days ago via site
  • 139

<3 's humor

  • 1002 days ago via site
  • 191

:O :| :(

  • 1011 days ago via site
  • 127

Ahhhhaa! Google Groups feeds are hidden away under a tiny About link on the right side.

  • 1016 days ago via site
  • 200

1st put proxy-links in their results. Now they want to access my browser tabs & browser history?

  • 1025 days ago via site
  • 178

Guru Meditation Error on pages

  • 1030 days ago via site
  • 140

1 2 3 4 Next