Typst Reviews

Searx Reviews

Typst mentions (18)

• LaTeX and Neovim for technical note-taking

  I have been using Typst[1] for taking notes on machine learning. It's fast (updates are instantaneous). The syntax is almost like Markdown. I tried to learn LaTeX but Typst seems to have an easier learning curve. [1]: https://typst.app/. - Source: Hacker News / 4 months ago

• LaTeX and Neovim for technical note-taking

  I'd personally consider using Typst (https://typst.app) instead of LaTeX. It has a much more readable syntax and you don't need as much snippets to write it. You can use in on their website or run the compiler locally just like LaTeX. - Source: Hacker News / 4 months ago

• I'm able to take notes in mathematics lectures using LaTeX and Vim (2019)

  For writing math notes (especially in vim), I switch to using Typst (https://typst.app). Here's a few points: - The syntax is a lot lighter and easier to type fast. I was up and running in half hour after starting to use it. Once in a while I can look up some symbol name in the docs but that's about it. - Empty document is a valid document. No preambles, no includes etc, it's all optional and the defaults are... - Source: Hacker News / 4 months ago

• I don't always use LaTeX, but when I do, I compile to HTML (2013)

  Have you seen typst? I have moved over from LaTex to Typst and most if not all your use cases are covered. https://typst.app/. - Source: Hacker News / 4 months ago

• Htmldocs: Typeset and Generate PDFs with HTML/CSS

  How does this compare to Typst?[1] What I like about Typst is that I can use it completely offline and with my editor of choice. Is this planned for htmldocs too? [1] https://typst.app/. - Source: Hacker News / 5 months 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: about 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: about 2 years ago

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

  The most based solution: Https://searx.me. Source: about 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