Mirzhan Irkegulov

Leicester, United Kingdom

Age: 23

I am an MSc student in University of Leicester, UK. My interests are functional programming, Semantic Web, and AI.

All my contributions on the StackExchange network are placed under public domain to the extent possible by law.

If you see my question or answer, and it's not good enough, for any reason, don't hesitate to leave a comment under it. I'll do my best to improve it. My goal is to leave answers that are very readable and require least background knowledge.

Apr
30
revised Gnus doesn't see mail, even though files are there
expanded answer with dormant articles
Apr
26
awarded Notable Question
Apr
22
awarded Nice Answer
Apr
17
revised How to disable mouse in Spacemacs
added a tag
Apr
14
awarded Necromancer
Apr
12
awarded Popular Question
Apr
8
accepted Murderous truck driver chases two pranksters
Apr
3
comment How to print index of selected option in Elm?
what do you mean by cuts?
Mar
31
accepted How to split /etc/nixos/configuration.nix into separate modules?
Mar
30
comment How to prove commutative property for rational number in Agda?
Possible duplicate of How to add two rational in agda?
Mar
28
asked How to split /etc/nixos/configuration.nix into separate modules?
Mar
28
answered How to split /etc/nixos/configuration.nix into separate modules?
Mar
27
accepted Accidentally killed a Gnus group, how do I restore it?
Mar
25
comment Murderous truck driver chases two pranksters
You're right, self-answered ID questions are against the site's etiquette, I won't post such ever again, got it :). Other than that, I don't mind being downvoted.
Mar
25
asked Murderous truck driver chases two pranksters
Mar
25
answered Murderous truck driver chases two pranksters
Mar
25
awarded Autobiographer
Mar
25
awarded Supporter
Mar
25
awarded Citizen Patrol
Mar
25
awarded Revival
1 2 3 4 5