3 ms·
I'm curious how they arrived on some of these topics: Things like proof assistants seem like relatively straightforward extensions of their programming language
by estsauver 4y ago
I'm curious how they arrived on some of these topics: Things like proof assistants seem like relatively straightforward extensions of their programming language expertise, but paper summarisation seems really out of left field.
It also says it's a private entity--is this structured as a pure research company owned by JetBrains or as something else?
Cool my IntelliJ license is (maybe?) supporting some really interesting academic projects.
- Q6T46nT668w6i3m 4y agoI don’t know but it’s common, in industry research, to let researchers independently choose their focus.
- pumpkinprog 4y ago> is this structured as a pure research company owned by JetBrains or as something else They mostly collaborate with independent university labs, giving them funding in exchage for working under the JBR brand and promoting some of their products (like Kotlin language).