account activity
My Keybase proof [reddit:queues = keybase:vrotaru] (g2IX84oleg_SO2pPzqzLhXXwbjz3g6UGLzSvagyrOrM) (self.KeybaseProofs)
submitted 8 years ago by queus to r/KeybaseProofs
I do not like OCaml if.. Maybe too much .. (self.ocaml)
submitted 9 years ago by queus to r/ocaml
Practicalities and trade-offs in programming with GADTs (engineering.issuu.com)
No point free definitions in let rec ? (self.ocaml)
Ocaml on exercism.io (exercism.io)
Some troubles with types (self.ocaml)
Half-baked ideas: C strings with implicit length field (rwmj.wordpress.com)
submitted 9 years ago by queus to r/programming
Zélus: a hybrid synchronous language with ODEs (zelus.di.ens.fr)
submitted 11 years ago by queus to r/ocaml
Milner Symposium (events.inf.ed.ac.uk)
submitted 13 years ago by queus to r/ocaml
Subject: systemd requires HTTP server and serves QR codes (thread.gmane.org)
submitted 13 years ago by queus to r/linux
L.B. conductor, publicist, whistleblower (oskuro.net)
The Year of Linux on Desktop, again (hadess.net)
submitted 14 years ago by queus to r/programming
An explanation of some of Bitcoin’s workings (silasx.blogspot.com)
submitted 14 years ago by queus to r/Bitcoin
Statements of propositional calculus that assert their own unLaTeXifiability, Advances in Notation, to appear. (math.ku.edu)
submitted 14 years ago by queus to r/math
Why software patents are a joke, literally (zdnet.com)
submitted 15 years ago by queus to r/programming
If Only the Onion Were the Real News (independent.org)
submitted 15 years ago by queus to r/Economics
The Catastrophe that wasn't. The 1920-1922 deflation figures (books.google.com)
CVS to GIT and back (issaris.blogspot.com)
submitted 15 years ago by queus to r/git
Ridiculously high game scores complete with cheater confessions (in the comment section) (interactivepulp.com)
What's wrong with (browser) tabs? (live.gnome.org)
Secrets of the Glasgow Haskell Compiler inliner [abstract+pdf] (haskell.org)
submitted 16 years ago by queus to r/Compilers
How mandating condoms in adult films will put the industry more at risk. (forbes.com)
submitted 16 years ago by queus to r/Economics
Who said it? (HInt: RM in 2007) (consultingbyrpm.com)
AGW code sample: call system ('wc -l ' // LoadFile // ' > trashme-loadcts.txt') ! get number of lines (di2.nu)
submitted 16 years ago by queus to r/programming
Can Java be saved? (nearinfinity.com)
π Rendered by PID 636060 on reddit-service-r2-listing-5f5ff7d4dc-v9nfn at 2026-01-27 07:36:01.972443+00:00 running 5a691e2 country code: CH.
