Oh it's definitely typst!
this post was submitted on 19 Oct 2023
10 points (91.7% liked)
Programming
17402 readers
136 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 1 year ago
MODERATORS
Cursorless. It's a spoken-language programming interface that allows the programmer (of basically any language) to use specific words to target existing text, move the underlying cursor/selection relative to that target, and then run a specific modification. Think of VIM but for voice. It runs in VSCode atm as a couple extensions along with an install of the audio tool Talon. https://www.cursorless.org/
Oh yea I want to try this out. Just wish it could work with other editors. Also Talon being closed source bothers me.
Wow, that's amazing!
The last project I fell in love with was Elasticsearch. About ten years ago. I was building a search and everything was wrong with solr. I switched to elasticsearch and it was smooth. They had built so much of what I needed. And at the time they were apache licensed which was amazing for us. The world's kind of moved a long way since then. I'd love to fall in love like that again. I just don't haveany opportunities.
Imgui, because it makes dev/debug guis ridiculously straightforward and easy to create.
- Audiobookshelf - Self-hosted Audible. I cannot believe how smooth this is. I set up the docker container, tweaked the ID3 tags on my audiobooks (to group series), and that was it. The Android app is listed as alpha, but it has been nearly flawless for me. I am astonished.
- Tailscale - A slick low-config VPN solution. Probably everybody knew about this except for me, but I recently tried it and it's great. I had to tweak several things to fit my exact setup, but once I figured it out, it has been exactly what I hoped for. No more messing with dynamic DNS or opening ports. I just start the client and I'm home. I'm hoping I'll have some extra time soon, and if so I'll try to go full FOSS and attempt to use Headscale on a VPS.
headscale definitely makes running a home lab fun again.
I discovered ruff earlier this year as the project was really taking off. It’s a python linter, and very recently now a formatter too. Its main selling points are that it is insanely fast and implements features previously provided by dozens of different tools. It was a pretty easy sell at work due to its speed, and the guy who initially wrote it now has a startup and they seem intent on expanding to cover more tool categories. It’s been a huge improvement for my work as a python dev.
I wish it had feature parity with pylint already. I know they're working on it, but it's not quite there
They have lots of awesome extra features though like built in pyupgrade, formatting etc
Imo once they get into stable territory it will be the one stop shop for Python linting
They’ve made a lot of progress on pylint: https://github.com/astral-sh/ruff/issues/970
I think one of the main issues is that ruff doesn’t really handle types yet. They’re getting there and once they have reasonably good type inference I suspect the list will be quickly checked off.
Factor, the concatenative programming language, NestedText, the configuration format, and Nu Shell, even though I don't use it.
Codeium for VSCode. Free alternative for GitHub Copilot and it works surprisingly well
Ryujinx
I have a few that I've started using this year.
- NixOs
- Helix
- Cloudflare Tunnel