Saif Ali Khan

@saifcore7
1 Followers
6 Following
14 Posts
Saif Ali KhanFeb 28, 2025

Hello @xg,

Hope you’re doing well. I’m really interested in contributing to the second Liquid Haskell Qualified Aliases project for gsoc 2025 at haskell. I’m still learning but eager to grow my skills. If you can, would you consider taking up the first project instead [codeworld]? I also saw your post on Haskell Discourse about GHC API and I believe you have more experience than me. It would mean a lot to me!
Thank you…

Saif Ali KhanJan 13, 2025

Hi there, @eht16 I’m using geany for competitive programming how can I use multi line snippets/templates in geany I’m unable to write everything in a single line any help will be appreciated.

Thank you,
Saif Ali Khan

Saif Ali KhanJan 13, 2025

Hi there @frlan I’m using geany for competitive programming how can I use multi line snippets/templates in geany I’m unable to write everything in a single line any help will be appreciated.

Thank you,
Saif Ali Khan

Saif Ali KhanApr 15, 2024
@movq hey, do you have any idea how to start working on this….
So it goes like this… I have arch(gnome)
….mint(cinnamon) and windows…. if we want to switch to other os we have to restart and then the boot loader pops up(grub) and you select from there and then boot in your selected os….
Can I make something I do not have to go to grub or restart my current os and just move to any os in real time I want….
state of the previous os must be the same as it was left before.