Unix & Linux
Profile Activity
Meta user
Network profile
501
reputation
3
12

Zimm i48

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.

4
answers
2
questions
~14k
people reached

Communities (24)

Top network posts

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

Badges (15)

Gold

—

Silver

3

Rarest

Bronze

12

Rarest

View all badges →

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.