dark
vscode-python
Our great sponsors
dark | vscode-python | |
---|---|---|
43 | 77 | |
1,590 | 4,191 | |
3.6% | 0.9% | |
10.0 | 9.6 | |
about 24 hours ago | 7 days ago | |
F# | TypeScript | |
GNU General Public License v3.0 or later | 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.
dark
-
WASM_of_OCaml
Yes. Darklang was originally in OCaml using js_of_ocaml, and we ported it to F# using Blazor (https://github.com/darklang/dark/tree/main/backend/src/Wasm). It works.
We found that in dotnet 6, the code was much slower, with long startup times and a much bigger download, than in js_of_ocaml. It also had a lot of issues in running in a Webworker, which wasn't the case for js_of_ocaml.
In dotnet 7, the webworker issues are better and AOT is easier, so startup is faster. Download sizes are still bad, and it's still slower than js_of_ocaml.
However, dotnet allows almost any code to run in WASM, which js_of_ocaml had large limitations. This meant a decent chunk of functionality had to be worked around to make separate js vs native targets, which also was a massive pain and took a long time. Dune's virtual targets wasn't ready at the time - I think we were one of the test cases for it.
-
Cloud, Why So Difficult?
First it was probably Dark. They made a lot of noise some years ago, but then I never heard of them again (looking at their current website, looks like they moved on to AI now, obviously).
Specifically Unison and Dark?
-
New open-source programming language for DevOps engineers by the creator of the CDK
Reminds me of Darklang. Personally, I don't think vendoring cloud services into a language is going to be beneficial. I'm curious how the language deals with vendor updates. Do I have to upgrade the language then? If so, I see a lot conflicts coming from this. Then it comes down to Javascript or HCL, the HCL bit makes me think that the below statement is not as truthy as it is on the surface:
-
Making Something Waspy: A Review Of Wasp
I wish I could remember what took me to YCombinator's website on the 10th of October, 2022. That was when I first heard about Wasp and another language called DarkLang. After I learned about Wasp, I was intrigued and curious to know how it works, which led me to join the discord server the next day.
-
Using Rust at a Startup: A Cautionary Tale
Some languages that try to integrate an HTTP server and a database:
Ur/Web: http://impredicative.com/ur/
Dark (Darklang): https://darklang.com/
-
The Current State of Infrastructure From Code
There are others in this space I did not assess like Encore, Shuttle, Modal, and Dark. These were not assessed for the sake of time. If you're interested in IfC, I encourage you to take a look at these others.
-
Finally, we have support for negative numbers!
Oh, finally! I was waiting to build my serverless CRUD webapp in Dark (OCaml + JavaScript and Fsharp?) until they had support for returning negative numbers on a GET request!
-
“Zoom Out”: The missing feature of IDEs
The author should check out Dark Lang: https://darklang.com/
-
Awesome list of VCs investing in commercial open-source startups
Darklang - Main project license does not appear to be Open Source, very limited rights provided.
vscode-python
-
How to Setup VSCode for C/C++ Programming (From a Microsoft Software Engineer)
For the python extension, please file your issue here: https://github.com/microsoft/vscode-python/issues
-
Python extension to break long strings
I filed a GitHub report, you can always follow up.
-
How to get into Language Server Protocol? Any good tutorials?
The official VSCode Python extension.
-
Has VSCode gotten worse in the last 1-2 years?
This probably won't be a problem for most people, we can't rephrase your problem. So if necessary, please submit this issue on GitHub so that the official staff can track and solve it.
-
VSCode has been unusually laggy lately
Will redownloading and installing the latest version of VS Code solve the problem? It is recommended that you submit this issue on GitHub.
-
Node.js Notebooks
The official Python VSCode extension from Microsoft is itself a further development of that one (indeed, you can still see that it's a fork on GitHub: https://github.com/microsoft/vscode-python).
- Tell HN: Microsoft forks MIT licensed repo, and changes the copyright to them
-
Auto-focus to terminal
You may put a feature request in vscode-python.
-
Running code in browser
Besides, i ask in github and verify my guess. See disscussions: Can't run python code in VSCode.dev.
-
VSCodium no suggestions for python files
View this issue reported in Github that when using vscode, jedi throws similar error. Please install Pylance and set it as language server then see if it helps.
What are some alternatives?
quokka - Repository for Quokka.js questions and issues
openvscode-server - Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.
Bracket-Pair-Colorizer-2 - Bracket Colorizer Extension for VSCode
nvim-ts-rainbow - Rainbow parentheses for neovim using tree-sitter. Use https://sr.ht/~p00f/nvim-ts-rainbow instead
unison - A friendly programming language from the future
liquibase - Main Liquibase Source
terraform-cdk - Define infrastructure resources using programming constructs and provision them using HashiCorp Terraform
nanos - A kernel designed to run one and only one application in a virtualized environment
jupyter - Jupyter metapackage for installation, docs and chat
enso - Hybrid visual and textual functional programming.
diffsitter - A tree-sitter based AST difftool to get meaningful semantic diffs