← Înapoi la Urmăritori

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 192
  1. Note on applicative forms in Yesod

    I’m writing a blog system using Yesod.

  2. s/pulseaudio/alsa

    I can never work out how to get Skype to play nicely with pulseaudio on Debian/Ubuntu.

  3. BFPG talk: Building a LISP Machine

    At last month’s BFPG meetup I did a talk on implementing a stack based machine and writing a simple Lisp compiler.

  4. Fiddling with GADTs

    -- Easiest way to run this with ghci: -- -- ghci -XDataKinds -XGADTs -XEmptyDataDecls -XKindSignatures -XScopedTypeVariables -XTemplateHaskell -- Natural numbers, e.g. -- 0 == Z -- 1 == S Z -- 2 == S (S Z) -- 3 == S (S (S Z)) -- etc data Nat = Z | S Nat

  5. Handy for manually resetting a user’s password.

  6. """ Given a directory of shapefiles, e.g

  7. On Debian squeeze, one needs some OpenGL libraries to install haskell-platform-2012.4.0.0: ✗ 09:42:08 carlo@r500 ~/opt/haskell-platform-2012.4.0.0 $ .

  8. Managed to answer someone’s question on haskell-cafe about parsing semi-structured text with Parsec: S.

  9. https://gist.github.com/carlohamalainen/4982764 Example input: +--------------------------------------+------------------------+--------+----------------------------+ | ID | Name | Status | Networks | +--------------------------------------+--------------…

  10. Xfce4-xfapplet-plugin for Centos 6.3

    For some reason xfce4-xfapplet-plugin has been dropped from recent Centos/Fedora releases, as the spec file for xfce4-panel proclaims: # xfce4-xfapplet-plugin isn't in F15 Provides: xfce4-xfapplet-plugin%{?

  11. Debian Squeeze doesn’t have a new enough libssh2 for the LibSSH2 package on hackage.

  12. For testing purposes it is convenient to use a self-signed certificate.

  13. As of January 2013 I was not able to find Debian packages for wxWidgets 2.9, which is required by 0.90.0.1, so we’ll install directly from source.

  14. Raspberry Pi (512Mb model) in a Penfolds Grandfather Port case with a 4 port USB hub, 1Tb USB hard drive, and custom-cut air-vents:

  15. Debian on Dell Latitude E6530

    Update 2012-12-13: my 3.6.9 kernel config is here.

  16. An excellent video from the 80s on urban spaces.

  17. By default git branch doesn’t show the remote branches for a cloned repo, so use git branch -a to see all of them and then make a local branch with a suitable name: $ git clone git@github.com:CVL-dev/cvl-fabric-launcher.git Cloning into 'cvl-fabric-launch…

  18. I have a Dell Latitude E6530 with VGA and HDMI output and the NVIDIA NVS 5200M graphics card.

  19. SECD machine interpreter in Python

    I wrote a Python interpreter for the SECD abstract machine, following the presentation in Kogge’s book.

  20. I recently discovered Kogge’s book The Architecture of Symbolic Computers via two blog posts: Loper OS: The Book and fogus: Some Lisp books (and then some).

  21. Just a note to myself: http://stackoverflow.com/questions/3046305/simple-wrapping-of-c-code-with-cython has a nice self-contained example of passing a NumPy array to C.

  22. Plot just Australia using NCL

    Just a note to myself on plotting data over Australia using NCL with only the coastal lines for Australia shown, using the low-res map: ; Plot data only over Australia (including Tasmania) using the default ; low-res database.

  23. About 10 hours for a USB2 external drive: root@bobcat:~# time dd if=/dev/zero of=/dev/disk/by-id/usb-TOSHIBA_MK1059GSM_0FA6FFFFFFFF-0:0-part1 bs=4M dd: writing `/dev/disk/by-id/usb-TOSHIBA_MK1059GSM_0FA6FFFFFFFF-0:0-part1': No space left on device 238467…

  24. Here are some notes on installing Debian Squeeze on a Thinkpad X121e.

  25. Note to self: if apt-get dist-upgrade explodes on Debian Squeeze with the error Setting up initscripts (2.88dsf-13.1+squeeze1) ... insserv: warning: script 'K01vmware' missing LSB tags and overrides insserv: warning: script 'S50vmware-USBArbitrator' missi…

  26. On our HPC at work we need to build various libraries and packages from source, and install them to custom locations.

  27. 1975 VW Beetle

    My friend Karen just got her fully restored 1975 VW Beetle back from her father.

  28. Home brew fridge thermostat

    Update 2013-01-06: English instructions for the thermostat.

  29. Kool stop salmon pads

    Top: original (from 2007!)

  30. Bike Week brekkie

    I went to the Bicycle Queensland / Scody Ride to Work event in King George Square earlier this month.

  31. A few dissections of order 18

    A triangle dissection of an equilateral triangle is a way of dividing up a original triangle into smaller equilateral triangles, such that none of the smaller triangles overlap (for a few examples, scroll down in this post).

  32. I recently tried to build SciPy 0.10.1 on a system with both the GNU and Intel compilers.

  33. Myths and debunking

    Quoting Skeptical Science on debunking myths: Common wisdom is that the more counter-arguments you provide, the more successful you’ll be in debunking a myth.

  34. If you could put a video clip to the book Crabgrass frontier: the suburbanization of the United States, it would have to be Regurgitator’s Superstraight: Lyrics: gimme love gimme good good times here in suburbia the best you can buy this is my home i keep…

  35. Emacs + SLIME + SBCL setup

    Recently I tried to set up Emacs, SLIME, and SBCL, all compiled from source.

  36. ggplot2 from Clojure

    Just a quick note on how to call ggplot2 from Clojure.

  37. How to build a static Unison binary

    The current documentation for Unison (as at 2.32.52) is slightly out of date, because the STATIC=true option to the Makefile does not do anything.

  38. Thinkpad X61 fan replacement

    The fan in my partner’s Thinkpad X61 started sounded crunchy so I decided to install a new one from IBM/Lenovo.

  39. Asus EEE PC 1000H replacement fan

    I use an Asus EEE PC 1000H as a home file server.

  40. Here are copy ’n’ paste instructions for compiling and installing SBCL, and installing packages manually.

  41. Parsing with monads (can be) slow

    Update 2011-06-29: The title of this post should really be “Think about your grammer’s level of nondeterminism before writing an inflamatory blog post about monadic parsing.”

  42. Christbait: Dirty Punk Mutha

    At the request of Budd I have pulled these files.

  43. The 2nd Istanbul Design Theory, Graph Theory and Combinatorics Conference will be held from June 26th to July 2nd 2011 at Koç University, Turkey.

  44. Mumps scope

    Here’s a quick post about scoping in Mumps/ObjectScript in InterSystems Caché.

  45. Budd: Naf, Yakfat

    At the request of Budd I have pulled these files.

  46. Another Intersystems Caché WTF

    I stumbled across this remark in some documentation for Intersystems Caché ObjectScript.

  47. A while ago I read a post about semi-alternative careers for scientists.

  48. False dichotomies by name

    Knuth wrote somewhere that he decided to call his code/LaTeX markup system literate programming because it implied that everyone else was doing illiterate programming, and no one wants to be illiterate.

  49. Best screenrc

    A mashup of nice options that I’ve accumulated over time.

  50. Recovery of data from a RAID 5 disk

    At work I replaced a single drive in a HP DL380 RAID 5 array.