I'd love to see something similar to Microsoft's Ionide project or for JetBrains to invest in IDE support. Source: over 1 year ago

> Pretty good, https://ionide.io It pains me to admit it because I really like F# but, with due respect to the developers, Ionide and its related projects are the most unstable toolchain I've ever used. Spend half a day reloading the editor because the extension keeps hanging on non-trivial MSBuild only to discover that the formatter has truncated in half one of the files you worked on due to a soundness bug.... - Source: Hacker News / over 1 year ago

The DarkLang project was originally written in OCaml and was recently ported to F# (https://blog.darklang.com/new-backend-fsharp/) > How much work would it take in term of code rewriting? There are definitely code changes required, but I think those are quite manageable as concepts mostly map 1:1 from OCaml to F#. > can it compile to native code? Yup,... - Source: Hacker News / over 1 year ago

F# doesn't have a hard dependency on vscode. Resources from MS will obviously encourage using MS tooling, but ionide [1] is really good. The lsp+neovim workflow is not as good but getting better. [1] https://ionide.io/. - Source: Hacker News / about 2 years ago

Once we have our dependencies ready, we can start digging in with the code in VSCode using Ionide, Rider or Visual Studio. - Source: dev.to / almost 3 years ago

> there's no CodeGPT, its just GPT4 Codex[1] is OpenAI's CodeGPT. It's what powers GitHub Copilot and it is very good but not publicly accessible. Maybe they don't want something else to outcompete Copilot. [1] https://openai.com/index/openai-codex/. - Source: Hacker News / 16 days ago

> it would need some human touch but most of the work will be done already By that very loose standard, the matter of time is 2 years 6 months 18 days ago — August 10, 2021 was OpenAI's blog post about the Codex model, with a chat interface producing functional JavaScript: https://openai.com/blog/openai-codex Right now, what I see coming out of these tools (and what I see in the jobs market) gives me the... - Source: Hacker News / 4 months ago

- Then there's this live demo of OpenAI's Codex but it's not an AI OS like the pin. It does something much better... It creates a script based on what you voice command it to do. So it basically translates that whatever you want into the code to execute that what you said. > However... "As of March 2023, the Codex Models are now deprecated. Please check out our newer Chat models which are able to do many... Source: 7 months ago

Footnote 1 on page 2 explicitly mentions the 3.5 model and the research in this paper is only about auto completion: https://arxiv.org/pdf/2306.15033.pdf And this blog post states “beyond Codex”, again for auto completion: https://github.blog/2023-07-28-smarter-more-efficient-coding-github-copilot-goes-beyond-codex-with-improved-ai-model/ Lastly, OpenAI states on the original Codex page: “OpenAI Codex is a... - Source: Hacker News / 8 months ago

As someone who constantly searches for ways to improve personal coding performance and performance of my development teams, I have been experimenting a lot with AI driven utilities that might assist developers in writing code. TabNine, ChatGPT 3 & 4 and, finally, GitHub Copilot that wraps a special version of OpenAI's CodeX in a tool that is easy-to-integrate with modern IDEs. - Source: dev.to / 9 months ago