Nikita Volodin 🌻

Into FP, Type Theory and Formal Verification. Former @UWCrySP

[Johannes Schickling @schickling]

Effect's `Environment` abstraction takes this concept to the next level by making it type-safe - "for free":

◆ Automatic dependency tracking on type-level (e.g. using `readFile` which depends on `FS`)
◆ When calling a program using `readFile` making sure `FS` was "provided"

[Kim Angel 🐯 @KimAngeell]

An outstandingly brave Ukrainian woman told the Russian soldiers "You’re occupants, you’re fascists! What the f*** are you doing on our land with all these guns?
"Take these seeds and put them in your pockets, so at least sunflowers will grow when you all lie down here"
#Ukraine

[Nikita Volodin 🌻 @qlonik]

@MichaelArnaldi @schickling It's crazy how much special treatment promises and promise-like get

[Nikita Volodin 🌻 @qlonik]

@IanColdwater Iosevka

[Nikita Volodin 🌻 @qlonik]

@MichaelArnaldi Really cool :)

[Giulio Canti @GiulioCanti]

Printout of all required overloads in fp-ts to make the HKT hack work

https://t.co/mOdpT84XGS

[Nikita Volodin 🌻 @qlonik]

@worldwise001 These seem like good options and companies to consider. Thank you :)

Didn't know level1tech did hardware, tbh. At the very least if theirs don't work out, I'll get one of the two tesmarts mentioned above.

[Nikita Volodin 🌻 @qlonik]

@worldwise001 I saw you use kvm switch. I'm looking for one supporting 2*4k@60hz. Do you have device or company recommendation?

[Nikita Volodin 🌻 @qlonik]

@MichaelArnaldi It looks similar to Do attempt with generator (from long time ago in fp-ts-contrib). Is generator based generic Do possible with new TS?

[Wolfgang Wozniak @Ouren]

Everyone working remotely:

ZOOM monitors the activity on your computer and collects data on the programs running and captures which window you have focus on.

If you manage the calls, you can monitor what programs users on the call are running as well. It's fucked up.

[Nikita Volodin 🌻 @qlonik]

@GiulioCanti Looks awesome! 🥳

I noticed DSL and transformers. I wonder if DSL can be Schemable? This might allow generating type definition code of different form, like GraphQL and such.

[Elijah Manor @elijahmanor]

@kentcdodds @bitandbang @Aimee_Knight @markdalgleish @jamonholmgren Probably my 2nd favorite one is...

q. Why do C# and Java developers keep breaking their keyboards?
a. Because they use a strongly typed language!

[Nikita Volodin 🌻 @qlonik]

@securitanna more cats

[Nikita Volodin 🌻 @qlonik]

@PolarGlobal @kouzari Nvm. Found https://t.co/zDIKeqEtgz. It worked

[@PolarGlobal @PolarGlobal]

@terranbrown Please reset the M600. https://t.co/daPvWMJis2

[Nikita Volodin 🌻 @qlonik]

@PolarGlobal @kouzari After update, heart rate monitor does not work. Any idea about it?
Tried https://t.co/Mf1I1fDCdr, shows sensor but no data and no LED light.

[Nikita Volodin 🌻 @qlonik]

@iAWriter Great text editor! Very nice and simple. However, could you add a feature to work with matching parenthesis and other symbols?

[Justin Tracey @jtga_d]

"David Cheriton, a researcher at Waterloo’s Cryptography, Security, and Privacy (CrySP) lab..."

Yes. Yes, this is exactly what happened. https://t.co/XpmjzXn0yq

[Nikita Volodin 🌻 @qlonik]

Swipe away 👻👻👻 in this #Halloween #GoogleDoodle Score: 83620
https://t.co/tsVx9Aqea9

[Nikita Volodin 🌻 @qlonik]

Always upsetting when the favorite radio station @Deepvibes stops streaming. Hopefully they will be up and running again soon.