lrich

- friends
242 link karma
38 comment karma
send messageredditor for
what's this?

TROPHY CASE

  • dust

This man punched a guy into a coma for complimenting his car, link to story in comments by gameshark56in pics

[–]lrich 5 points6 points ago*

That comment has been deleted.

This is what I enjoyed the most during my week in munich. by Randdistin pics

[–]lrich 1 point2 points ago

We hear that often. The building is sometimes called "Alcatraz".

This is what I enjoyed the most during my week in munich. by Randdistin pics

[–]lrich 0 points1 point ago

You can enter the "FMI" building (hosting the CS and maths departments) at all time. On weekends, you have to ring at the entrance, though.

Mail Rage Part Two by QBVIIin iiiiiiitttttttttttt

[–]lrich 3 points4 points ago

Not sure whether deserving up- or downvote for @contoso.com.

It's always the simplest solution. by smegulin iiiiiiitttttttttttt

[–]lrich 1 point2 points ago

Upvoting for use of Prolog.

SSH over wireless rage by _patheticblissin iiiiiiitttttttttttt

[–]lrich 2 points3 points ago

Same here. However, every Emacs user I've seen so far used the X interface, hence the comment.

SSH over wireless rage by _patheticblissin iiiiiiitttttttttttt

[–]lrich 4 points5 points ago

I guess he/she already does. Have a look at the fifth panel, you can see Byobu there.

SSH over wireless rage by _patheticblissin iiiiiiitttttttttttt

[–]lrich 9 points10 points ago

People use the console interface of Emacs? I'm impressed.

Boy Redditors & Girl Redditors. by NeonCookiezin fffffffuuuuuuuuuuuu

[–]lrich 2 points3 points ago

Slow redditor: Wants to comment on downvoting for improper use of apostrophes, see's someone already did.

You could have at least consulted with me first... by REDX36in iiiiiiitttttttttttt

[–]lrich 6 points7 points ago

I wonder whether that computer was company property. If yes, why do people even think that they are allowed to change the operating system?

feelings of a newbie (first) by dasmaedelin fffffffuuuuuuuuuuuu

[–]lrich 0 points1 point ago

Great, it's a complete sentence!

extension to Coq Extraction, will be able to generate Scala code from Coq definitions by gtaniin scala

[–]lrich 2 points3 points ago

Isabelle/HOL also has a code generator for Scala. See this paper for details (it doesn't mention Scala, but it is a possible target besides SML, Haskell and OCaml).

I can't work like that... by lrichin iiiiiiitttttttttttt

[–]lrich[S] 0 points1 point ago

I don't even think we are disagreeing. It's completely true that some components can get into unrecoverable states.

However, before a user restarts something on its own, I, as a supporter, would like to SSH/VNC into the machine and see what's going on. This way, I can see what happened and try to avoid it next time. (The machine runs Debian, by the way, so not exactly a "client" OS.)

Some users come up with interesting approaches by lrichin iiiiiiitttttttttttt

[–]lrich[S] 6 points7 points ago

Sure, I'm happy if the users can tell what happened or what they did. Makes life as a supporter way easier.

I can't work like that... by lrichin iiiiiiitttttttttttt

[–]lrich[S] -6 points-5 points ago

Rebooting doesn't solve problems, it hides them.

I can't work like that... by lrichin iiiiiiitttttttttttt

[–]lrich[S] 0 points1 point ago

This machine has more than enough memory and I've never seen it swapping.

The Stupidity stays, the stupidities change by enahin fffffffuuuuuuuuuuuu

[–]lrich 3 points4 points ago

Just registered to also say hello from Munich.