Chris Warburton (warbo)
-
voted for "Debian GNU/Linux itself ?"
-
"Esoteric !programming languages Web ring" http://ur1.ca/5d1tk <- Top site is called "C# Programming Tips" :P
about 4 months ago from web -
Wrote SKI calculus in !haskell (3 lines) but then tried to compile Lazy K's prime number example (Entscheidungsproblem much? :P )
about 4 months ago from web -
Playing with Eclipse+PyDev. Quite nice to have decent code completion, etc. in a language without all the boilerplate of the likes of Java.
about 5 months ago from web -
Just had a run-in with Spiderzilla.
-
Spotted an XO on BBC news. Nice to see I'm not alone in preferring them to "real" (short-life, low-res, fragile) laptops http://ur1.ca/4ylm6
-
Anyone know a good tool for organising research papers? This obviously precludes proprietary crapware.
-
Universal connectivity test: Ping Google. If that fails, make sure OpenDNS is in /etc/resolv.conf.
about 6 months ago from xmpp -
Google's not loading. Chrome suggests it's either down, or changed address. The favicon shows Bing. WTF? :P
about 6 months ago from xmpp -
Fixing code that 'fixes' error messages by disabling the error reporting system. Nice.
about 6 months ago from xmpp -
♺ @shanselman: What an amazing way to learn to code: http://t.co/9NtXSlS !programming
about 6 months ago from xmpp -
RT @aden_76: And now there concerns about privacy at #ciprsm. Time to break out the Internet privacy venn diagram http://t.co/sLTToqr
about 6 months ago from xmpp -
@cjcopi $a was a newline rather than empty (despite using "tr"). Quotes seem to fix it, & your method makes the need for quotes obvious :)
-
For those who may care, I think I've got it working by putting [ -n "$a" ] (ie. putting the var in double quotes) !linux
about 6 months ago from xmpp -
How do I branch if a string exists in a file? Trying: a=$(grep "foo" < bar) | tr -d '\n'; if [ -n $a ] ; then baz ; fi !linux
-
Note to self: Sometimes, it's worth looking at the year of use-by dates...
about 6 months ago from xmpp -
The built-in PDF viewer in #Chrome seems damned slow. Chrome's asking if I want to kill it :(
about 6 months ago from xmpp