Nicolas G

F#, PureScript, Elm, Haskell, Idris, OCaml

[Nicolas G @archaeron]

@domenkozar my ghcup shows "hls-powered" only until version 9.2.2

[Nicolas G @archaeron]

@BondKentBond @MsKellyMHayes @debbiemorrow_dm You haven’t had glasses for the last 8months?

[Nicolas G @archaeron]

@chris__martin Have you seen what omertà means? :D. https://t.co/m8WXgps0qL

[Nicolas G @archaeron]

@gfixler Do you know delta? It won’t show it in vim, but I find it very useful:

https://t.co/pk4H9K3Yr3

[Nicolas G @archaeron]

@chris__martin Maybe North by Northwest, or as someone else said „the third man“

[Nicolas G @archaeron]

@d_christiansen I’m glad I could help!

[Alec Karakatsanis @equalityAlec]

Thread. Have you ever heard of "civil asset forfeiture"? You're never going to think about the police the same way again. (1)

[Nicolas G @archaeron]

@EarningZekrom @Gingelle77 @BredManny @cnnbrk Switzerland has a lot of gun laws. You can’t just buy them in a supermarket. All the laws the dems are proposing we already have and lots more

[Nicolas G @archaeron]

@hdgarrood I’m using tectonic now, which works very well (it loads the packages needed automatically, creates no weird intermediate files,..) and i like the name :) https://t.co/bgZpZ8R5S5

[Remo Höppli @remo_hoeppli]

Ever heard of Gnome sushi or Ulauncher for Linux? It will increase your productivity once installed and you won't live without once you get used to it. Read my new blogpost on how to get started.
https://t.co/ovYSeB7ftd

[Nicolas G @archaeron]

@rickasaurus @ChrisPaika @seanmcarroll One note can also do it, but there I found it annoying. What I do like is that I can look at the onenote document in onedrive or on my pc

[Nicolas G @archaeron]

@rickasaurus @ChrisPaika @seanmcarroll Yes :D you just have to read it as Pro Create :D

[Nicolas G @archaeron]

@smdiehl SupremeCommander (the game) is still actively played, but only because it was peer to peer so it doesn’t need expensive servers and the community could take over everything. (Community matchmaking, patches, ...)

[Nicolas G @archaeron]

@deech That’s how a lot of people in italy carry the mask when they are not using it :) (like after they exit a store)

More comfortable than holding it in hands

[Nicolas G @archaeron]

@edwinbrady The other option would be to have a new protocol version if there is a change that makes more sense for version 2. maybe with a good explanation on what changed. Thanks for idris, it’s fun :)

[Nicolas G @archaeron]

@edwinbrady Here is the vacode plugin: https://t.co/YYiwO9uSjE

[Nicolas G @archaeron]

@edwinbrady @nonsameer Here is the repository for the code that talks to idris and I believe there are still some issues adapting to the protocol of idris v2. The atom plugin was rewritten in typescript and will use the idris-ide-client soon
https://t.co/umEVqoaryV