Ionide Reviews

Searx Reviews

Ionide mentions (5)

• Is there a modern IDE with good support for OCaml?

  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

• Why OCaml?

  > 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

• Why OCaml?

  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

• Rust Is Hard, Or: The Misery of Mainstream Programming

  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

• Web Scrapping with F#

  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

Searx mentions (40)

• Just a reminder that WhatsApp is also owned by Facebook

  Meaning, you can go to public instances like searx.me,. Here's the documentation on how to start it up. But , you dont have to trust Searx that they are good people nor do you have to trust their data habits like DDG. Source: about 2 years ago

• Instead of lashing out at duckduckgo for doing what they think is best, ask the deeper question of why we’re all still using centralized services and being disappointed when they behave in a predictably centralized way.

  Consider a future where something like https://searx.me/ is as ubiquitous as Tor. Source: over 2 years ago

• DDG, once a hero has now fallen.

  For those looking for a replacement for Duckduckgo; I would highly recommend using Searx. It's an open source privacy respecting search engine with many decentralized private instances you can swap between. The link I sent is the primary instance, but here is a link with dozens more, and my own private instance. Source: over 2 years ago

• DuckDuckGo is out. I guess I'll try Brave Search.

  The most based solution: Https://searx.me. Source: over 2 years ago

• Uh oh.. What will the vaccinated think of this news?

  Searx.me and Startpage.com are the best search engines right now that are anti-censorship and anti-bias. Source: over 2 years ago