|
roslyn's ability to consume .editorconfig files, rolled out with great fanfare, khas been broken for over a year now and they just keep pushing resolution back so if you want linting in c# you either have to buy jetbrains stuff (good, but not free) or roll your own analyzers
|
#
?
Jan 5, 2022 02:43
|
|
|
|
| # ? May 17, 2024 10:05 |
|
|
raminasi posted:roslyn's ability to consume .editorconfig files, rolled out with great fanfare, khas been broken for over a year now and they just keep pushing resolution back so if you want linting in c# you either have to buy jetbrains stuff (good, but not free) or roll your own analyzers ... How long did it take to figure out? Everyone I know that uses c# has jetbrains
|
|
#
?
Jan 5, 2022 03:52
|
|
|
Unicode isn’t really an encoding anyway.
|
|
#
?
Jan 5, 2022 04:24
|
|
|
Victor is cspam level shitposter, never take his tweets at face value. This one is likely about a paper going through SG16 with non sensical opposition.
Xarn fucked around with this message at 08:01 on Jan 5, 2022 |
|
#
?
Jan 5, 2022 07:59
|
|
|
Subjunctive posted:Unicode isn’t really an encoding anyway. anything is a text encoding if youre brave enough
|
|
#
?
Jan 5, 2022 08:07
|
|
|
For example a JSON array of ints.
|
|
#
?
Jan 5, 2022 08:11
|
|
|
Xarn posted:For example a JSON array of ints. the ints encode a utf-8 string but the file itself is in ucs-32
|
|
#
?
Jan 5, 2022 08:44
|
|
|
You are thinking too small, the ints encode UTF-EBCDIC text.
|
|
#
?
Jan 5, 2022 09:58
|
|
|
came too late for pythonchat: https://twitter.com/moyix/status/1479190533918625794 same reason I use Python, when I do
|
|
#
?
Jan 7, 2022 01:18
|
|
|
i can respect that view, but my reason that I DO want to use those is because im a bad programmer who can't keep poo poo in my head and if i don't write down all my constraints and assumptions and have the compiler check them for me i'll forget and everything will break
|
|
#
?
Jan 7, 2022 01:24
|
|
|
gonadic io posted:i can respect that view, but my reason that I DO want to use those is because im a bad programmer who can't keep poo poo in my head and if i don't write down all my constraints and assumptions and have the compiler check them for me i'll forget and everything will break yes, the most important thing a compiler can help me with is not algorithmic efficiency, but not forgetting this invariant that I wrote a bunch of code depending on last week
|
|
#
?
Jan 7, 2022 02:17
|
|
|
i like the computer yelling at me when i forget that a list of numbers isn't a number maybe i am a compiler cuck
|
|
#
?
Jan 7, 2022 04:01
|
|
|
I love having types that catch me making mistakes and I love python (and mostly not having type support) too I’m a deeply sick individual
|
|
#
?
Jan 7, 2022 04:22
|
|
|
Mypy is cool and good and we use it everywhere we can. It’s a shame it doesn’t play well with argparse though.
|
|
#
?
Jan 7, 2022 07:16
|
|
|
why doesnt it work with argparse
|
|
#
?
Jan 7, 2022 07:52
|
|
|
fart simpson posted:why doesnt it work with argparse argparse returns an argparse Namespace. I’m not familiar with the argparse inner workings, but mypy doesn’t seem to know what any specific argument type is supposed to be.
|
|
#
?
Jan 7, 2022 08:34
|
|
|
DoomTrainPhD posted:Mypy is cool and good and we use it everywhere we can. It’s a shame it doesn’t play well with argparse though. use something else to parse args then. click seems pretty ok
|
|
#
?
Jan 7, 2022 11:47
|
|
|
there's also this one, but it looks a bit boilerplatey https://github.com/swansonk14/typed-argument-parser
|
|
#
?
Jan 7, 2022 13:02
|
|
|
ed kmett just did a drive-by explanation of comonads to me and its the closest ill get to having a haskell job
|
|
#
?
Jan 8, 2022 18:09
|
|
|
Logflat Badness posted:ed kmett just did a drive-by explanation of comonads to me and its the closest ill get to having a haskell job you know him irl? did he do the “comonads are basically oop” explanation or something else
|
|
#
?
Jan 8, 2022 18:23
|
|
|
fart simpson posted:you know him irl? nah he just made me write out the comonad instance for `(,) e` in the "Haskell Sapphistry" discord server, then my laptop died before i could ask him about his machines package he's a very nice dude to talk to, would recommend listening to him even he does go on tangents about comonad-to-monad transformers or whatever high-level abstract bullshit that flew over my head
|
|
#
?
Jan 8, 2022 18:30
|
|
|
Logflat Badness posted:nah he just made me write out the comonad instance for `(,) e` in the "Haskell Sapphistry" discord server, then my laptop died before i could ask him about his machines package I checked and he's still he/him what is he doing in a server for haskell lesbians 
|
|
#
?
Jan 8, 2022 18:38
|
|
|
is the (,) operator called donkey tail because it should be
|
|
#
?
Jan 8, 2022 19:01
|
|
|
DoomTrainPhD posted:Also standardizing on Pycharm for development.
|
|
#
?
Jan 9, 2022 05:53
|
|
|
Carthag Tuek posted:is the (,) operator called donkey tail because it should be it’s not an operator it’s a function
|
|
#
?
Jan 9, 2022 06:09
|
|
|
Carthag Tuek posted:is the (,) operator called donkey tail because it should be what font are you using it's clearly a hippo
|
|
#
?
Jan 9, 2022 09:54
|
|
|
Presto posted:We are not allowed to use PyCharm now, because JetBrains TeamCity was a potential vector for the SolarWinds hack. 
|
|
#
?
Jan 9, 2022 09:59
|
|
|
Presto posted:We are not allowed to use PyCharm now, because JetBrains TeamCity was a potential vector for the SolarWinds hack. what about pycharm with teamcity plugin disables? python touching job where pycharm is prohibited is a genuine “leave your job right now” situation
|
|
#
?
Jan 9, 2022 10:05
|
|
|
Presto posted:We are not allowed to use PyCharm now, because JetBrains TeamCity was a potential vector for the SolarWinds hack. lol yeah we had the same thing for a while. after much outrage our it security folks eventually settled on a compromise where we’re allowed to use paid versions but not the community edition. which seems utterly nonsensical and I have no idea wtf the rationale is supposed to be but I’m gonna leave those worms in their can (it’s probably an arbitrary distinction so they don’t have to admit they did a racism because jetbrains devs have scary russian-sounding names)
|
|
#
?
Jan 9, 2022 12:43
|
|
|
Soricidus posted:(it’s probably an arbitrary distinction so they don’t have to admit they did a racism because jetbrains devs have scary russian-sounding names) it is, they are from a shared codebase (like 99% loc shared between the two, excluding some non-public plugins in pro)
|
|
#
?
Jan 9, 2022 13:25
|
|
|
Presto posted:We are not allowed to use PyCharm now, because JetBrains TeamCity was a potential vector for the SolarWinds hack. it wasn't though, was it? you shoudl tell them they need to discontinue the use of windows because that actually *was* a vector
|
|
#
?
Jan 9, 2022 13:30
|
|
|
why is it that security people get half a stiffy at just the thought of being able to tell people they aren't allowed to do something
|
|
#
?
Jan 9, 2022 13:31
|
|
|
90% of our backend is written in Kotlin at this point so it would have been the funniest loving poo poo in the world if we had to stop using IntelliJ otoh maybe if that had happened there'd actually be good Kotlin tooling for other editors but uh at that point you'd also probably want to stop using Kotlin
|
|
#
?
Jan 9, 2022 14:37
|
|
|
my homie dhall posted:why is it that security people get half a stiffy at just the thought of being able to tell people they aren't allowed to do something security people think that the purpose of computers is to be secure everyone else thinks the purpose of computers is to do things with the computer, which security people consider a dangerous and pointless risk
|
|
#
?
Jan 9, 2022 17:15
|
|
|
Internet Janitor posted:security people think that the purpose of computers is to be secure security experts 🤝 haskell experts programs must not have side effects
|
|
#
?
Jan 9, 2022 17:36
|
|
|
cinci zoo sniper posted:what about pycharm with teamcity plugin disables?
|
|
#
?
Jan 9, 2022 17:48
|
|
|
Presto posted:It's more Solarwinds hack --> Teamcity --> Jetbrains; therefore, a blanket ban on all Jetbrains products. yeah i figured out later i misread it, which makes the decision even stupider
|
|
#
?
Jan 9, 2022 18:07
|
|
|
Quebec Bagnet posted:security experts 🤝 haskell experts
|
|
#
?
Jan 9, 2022 18:55
|
|
|
sufficiently advanced security software is indistinguishable from malware
|
|
#
?
Jan 9, 2022 18:56
|
|
|
|
| # ? May 17, 2024 10:05 |
|
|
Internet Janitor posted:everyone else thinks the purpose of computers is to do things with the computer, which security people consider a dangerous and pointless risk look, we all know the security people are correct here
|
|
#
?
Jan 10, 2022 00:40
|
|