ᕦ(ò_óˇ)ᕤ

@dysinger

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

Photos and Videos by @dysinger

  • Timeline
  • Gallery

  • 142 days ago via site
  • 5

  • 142 days ago via site
  • 4

  • 142 days ago via site
  • 4

  • 142 days ago via site
  • 7

  • 142 days ago via site
  • 7

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

  • 314 days ago via site
  • 187

actual status :D

  • 331 days ago via site
  • 199

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

  • 343 days ago via site
  • 152

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

  • 350 days ago via site
  • 833

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

  • 363 days ago via site
  • 65

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

  • 363 days ago via site
  • 51

:D #nodejs

  • 426 days ago via site
  • 340

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

  • 426 days ago via site
  • 226

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

  • 447 days ago via site
  • 124

<3 's humor

  • 448 days ago via site
  • 179

:O :| :(

  • 458 days ago via site
  • 117

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

  • 462 days ago via site
  • 192

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

  • 471 days ago via site
  • 162

Guru Meditation Error on pages

  • 476 days ago via site
  • 131

1 2 3 4 Next