172 reputation
9
bio website
location Lima, Peru
age 26
visits member for 4 years, 5 months
seen Jul 9 at 0:40

Subject is a functional programming and type theory nerd. The extent to which mathematical thinking has affected subject has not been fully assessed yet, but the brain damage is known to be quite serious already. In particular, subject's ability to communicate with other programmers (such as his coworkers) is severely hampered by his tendency to talk about abstract concepts in terms of themselves rather than in terms of examples.

Subject has expressed hope that a language will be developed with the following features:

  1. as concise as GHC Haskell (at least for the non-proof parts of his programs)
  2. as modular as Standard ML (also add applicative functors)
  3. as pedantic about correctness as Coq (without the admit tactic)
  4. compiles to native binaries as fast as C (with pointers marked as "restrict" whenever possible, and preferring direct system calls to libc calls)
  5. a comprehensive standard library of data structures and algorithms, in the spirit of C++'s STL, but better

Subject has been observed talking about what he calls "deep" analogies between type systems and database schemas. Subject has expressed dismay at the failure of major DBMS implementors to provide sufficiently expressive schemas, alleging that this failure forces him to encode certain business model constraints as database triggers, which he claims is "time-consuming" and "error-prone". Mentioning NoSQL in subject's presence must be avoided at all costs - subject may go on a rampage and cause both material destruction and loss of life.

Subject's outlook on life has been interestingly affected by recent developments, such as his exposure to the Rust programming language, which he now claims has the potential to unify the mathematical elegance of Haskell with the performance focus of C and C++. Subject is probably the only Rust programmer trying to do purely functional programming in Rust. "A Fortran programmer can write Fortran programs in any language. A Haskell programmer will dismiss any language he cannot write Haskell programs in." Rust is one of the few languages subject has not dismissed so far. For some perspective on what this achievement means, especially for a C-family language, the list of languages subject has dismissed includes even the likes of Scala and F#.

Subject goes by the nick "pyon" on both Freenode and Mozilla's IRC network.


Nov
15
comment Remotely running batches on a Windows PC
@Paul: Nope. Most of the UI-less programs I run are actually wrappers that use Automation to call Excel and run add-ins.
May
29
comment Windows Explorer's broken back and forward buttons
That screenshot looks nice. I am going to try it.
May
27
comment Windows Explorer's broken back and forward buttons
I have just looked at some screenshots of those file managers, and I think I would hate them even worse. What I actually miss is the single-rooted tree view that Windows Explorer had from (IIRC) Windows 95 to Windows XP.
May
27
comment Windows Explorer's broken back and forward buttons
The backspace has the inconvenient of navigating forward to the parent directory, which completely breaks my navigation scheme, which requires all successive elements of the navigation history to be direct descendants of the previous ones. // On XP, I wasn't that anal/soup-Nazi about navigating directories, but then, XP came with a file manager that didn't suck. OTOH, Windows 7's Windows Explorer sucks as much as OS X's Finder.
Feb
16
comment Is there any product to prevent a broken screen's pieces from falling from it?
At this point, nothing can make my screen beautiful once again, but I wondered whether there was something that wouldn't make my screen as utterly ugly as tape would.
Jan
29
comment Retrieve forgotten Windows Live ID's password
Thanks. At first, I was scared of the possibility it could contain worms and whatnot. I tried running it in XP Mode, just to be sure it was legit. But it seems to be legit. It turned out that my password was too strong, even for me!
Jan
29
comment Retrieve forgotten Windows Live ID's password
@Connor W: I thought he meant changing the additional e-mail for password recovery.
Jan
29
comment Retrieve forgotten Windows Live ID's password
No. Windows Live Mail wants me to type my current password before changing it or my security question.
Jan
29
comment Retrieve forgotten Windows Live ID's password
That's what Keychain Access was supposed to do automatically... (Unless the website operates in a way that defeats the purpose. Meh.)
Oct
17
comment How to prevent Remote Desktop from creating a file named Default.rdp?
Excuse me if I did not make myself clear: I do want to access those Windows computers remotely. What I do not want is that the file Remote.rdp be created. Thanks anyway.
Oct
1
comment Remotely accessing a laptop whose monitor hast just died
@Vaibhav Garg: I looked at the drawing next to the port and I wasn't sure if it was the printer port or the external monitor port. I connected it anyway, but it didn't work.
Oct
1
comment Remotely accessing a laptop whose monitor hast just died
Almost completely sure.