Our great sponsors
-
kok.nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
Total newbie here, could not understand what they're saying but I found this later, what does he mean by set before? I tried doing set coq_settings and it doesn't work.
-
And good news for CHADTree fans, I am sorry I have been neglecting the plugin for a while.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
LOL, god I fucking love it when people say my project names :D :D :D gay, sad, chad, coq.
-
If i were to write this in a faster language, it would be in Rust, since I already have a relativly successful CLI text edit tool written in it, and it's fast as fuck too.
-
-
Anyways, there is a barrier to switching, because coq uses the official nvim lsp integrations instead of hand rolling my own like how coc does.
-
Otherwise you always can use something like that: https://github.com/graykode/commit-autosuggestions and tell people the AI messed up if something doesn't check out ;)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
Lua is able to call back between C and Lua, just like Python. Rust wrappers/implementations like mlua exist to make this possible between Rust and Lua too.