galoisenne
KotlinLanguageServer
galoisenne | KotlinLanguageServer | |
---|---|---|
2 | 22 | |
105 | 1,506 | |
- | - | |
9.7 | 8.9 | |
6 days ago | 6 days ago | |
Kotlin | Kotlin | |
Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
galoisenne
-
Show HN: Game of Life on non-square topologies with 2^32 update rules
During a recent programming detour, I discovered that finite elementary cellular automata with circular boundary conditions can be simulated using power iteration using matrix-vector multiplication with a circulant matrix and a strange kind of algebra, which I call a kernel algebra. [1] I wonder if this same idea could be generalized to higher dimensional automata on other topological surfaces.
[1]: https://github.com/breandan/galoisenne/blob/8f0f1e9e4e02062c...
-
From zero to 10M lines of Kotlin
Well, I've been trying for about three years, but to be fair I'm a pretty slow programmer so you may have better luck.
> a language being too obscure to have seen much academic study
Doesn't seem too obscure to me.
https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=kotl...
> T isn't generic in that code, it's just a class.
I think it needs to be a generic type in Kotlin for this to work, because otherwise it will dispatch to a single method. It's tricky to get Kotlin to do much compile time computation. Not saying that it's impossible, but LMK when you've actually tried it. Here's some sample code if you want to try encoding a Boolean logic:
https://github.com/breandan/galoisenne/blob/2e465e7a753f6341...
KotlinLanguageServer
-
Kotlin is a much better language than Java even with all the new stuff Java has added.
There's a community-made one, but of course as much effort as has been put into it it's not as featureful as JetBrains's own stuff.
-
Noob here, would neovim work for my usecase
Kotlin is probably the worst case for Neovim. While there is a language server for Kotlin, it's not very advanced and does not look like it's actively developed.
-
Kotlin on VScode, intellij, or android studio?
Hi, if you are going to do Kotlin the easiest choice is android studio with Kotlin plugin. Using Vscode is more tricky because Jetbrains does not want to support lsp for Kotlin so you only have https://github.com/fwcd/kotlin-language-server available to write Kotlin on Vscode.
-
I LOVE Rust's exception handling
Kotlin Language Server puts a warning on this code, because the bar inside the lambda shadows the function argument bar. Flow typing solves this problem by eliminating the need to redefine bar as a new non-nullable variable in the branch where we've verified it's non-nullable.
-
Kotlin is tightly linked to IntelliJ and that's a risk
You want to change something about that? Go and help over at the kotin lsp server. It's maintained, and welcomes contributions. I sometimes use it in my day job (writing Kotlin backend code)
-
Kotlin 1.8.0 Released
There is https://github.com/fwcd/kotlin-language-server, but I wouldn't expect something more official from a company that refuse to support LSP in their IDEs. JetBrains is the Apple of the IDE world.
-
What are best plugins for C++, Java, Kotlin, Python, & LaTex
Oddly enough, we use mostly the same languages. However, I would advise against using neovim with Kotlin: its language server has an excessive memory usage and its debugger is cumbersome with neovim (I haven't managed to get it working, and currently it also lacks an entry in nvim-dap's wiki).
-
From zero to 10M lines of Kotlin
I'll bring up the Kotlin LSP[0] every time I see Kotlin on HN because I really hope the LSP takes off (which would make it viable to use Kotlin with a non-IntelliJ editor).
Kotlin as a language looks really cool, but I don't want to give up terminal-based, modal editing (which I'd have to in order to use IntelliJ).
Along those lines, I once tried diving into using Gradle outside IntelliJ, and I couldn't find any good resources to help with that. If folks have hints/links-to-blog-posts with regards to that as well, that'd be great!
[0] https://github.com/fwcd/kotlin-language-server#this-reposito...
-
Idea: Jetbrains Fleet's Code Engine as an LSP?
I've tried [this Kotlin LSP](https://github.com/fwcd/kotlin-language-server) and it isn't perfect. It's not complete, but it does some of the basic things.
-
Kotlin language server doesn't work ("0 client(s) attached to this buffer")
I've downloaded kotlin language server from here: https://github.com/fwcd/kotlin-language-server