Unix & Linux
Zimm i48
Profile Activity
Stats
501
reputation
16k
reached
4
answers
2
questions
About

Software Engineering researcher working on the Coq proof assistant and its ecosystem. I like programming using nice functional languages with type-inference, such as OCaml or Elm.

Communities (24)

Top network posts

This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
View all badges

Top tags (6)

Score 18
Posts 4
Posts % 67
Score 15
Posts 1
Score 3
Posts 1
Score 2
Posts 3
Score 0
Posts 1
Score 0
Posts 1

Top posts (6)

All Questions Answers
Votes Newest
15 Nix desktop files Sep 22 '16
6 name collision in input Nix expressions with nix-env -f Dec 22 '16
5 How to configure a Nix environment, outside of NixOS? Jun 6 '17
3 nix: install virtualbox-guest Mar 13 '17
2 In NixOS, how to add a user to the sudoers file? Jul 10 '17
1 Scanner is detected just once Dec 21 '17

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.