synlogic · @synlogic
190 followers · 2631 posts · Server toot.io
Chris J. Karr · @chris
126 followers · 1359 posts · Server omgwars.com

Despite it's widespread popularity, I've been skeptical about VS Code in my own workflows. However, after seeing in action, I've been trying it out myself and it's pretty great.

I'll continue using BBEdit for a couple more decades, but VS Code will be a nice addition to projects.

Good job, Microsoft!

#vscode #texteditors #ides #programming

Last updated 1 year ago

Andres · @foxm
25 followers · 176 posts · Server qoto.org

@se38 In my social circle, people haven´t even started working with . Let alone . As much as I hate web-based , they look like a good compromise between modernising the development toolkit and providing enough flexibility to provide with a platform to move everything to their cloud, which is ultimately what they want.

Ideally, I would love an toolkit that I could use on my own machine to select between , web or GUI-based tools, backed by a local runtime that I can use at least to run mocked unit tests, but that´s a pipe-dream.

#eclipse #vscode #ides #sap #open #development #cli #abap

Last updated 1 year ago

robrich · @robrich
32 followers · 270 posts · Server hachyderm.io

dev.to/dabit3/defining-the-web - the pieces of the stack and libraries for each: 1. , 2. , 3. File storage, 4. Protocols, 5. .. 6. .. 7. .. 8. .. 9. Great post github.com/dabit3.

#web3 #blockchain #ides

Last updated 1 year ago

UberZeitgeist · @UberZeitgeist
165 followers · 1531 posts · Server mstdn.social
UberZeitgeist · @UberZeitgeist
168 followers · 1555 posts · Server mstdn.social
Cihat Gündüz · @Jeehut
99 followers · 77 posts · Server iosdev.space

Why do we have a `.gitignore` but no `.screenshareignore` file?

like should have a way of marking declarations as "confidential" & automatically hide them from screen recordings, like in video calls () or in streams ().

Learn more:
fline.dev/my-top-5-wishes-for-

#ides #xcode #facetime #obs

Last updated 2 years ago

The 27 Best IDEs and Code Editors for Linux 👇💡​:linux:​

tecmint.com/best-ide-editor-li

#ides #CodeEditors #software #programming

Last updated 2 years ago

Dave Mackey · @davidshq
839 followers · 1324 posts · Server hachyderm.io

it seems on linux show up in system monitor as processes rather than by app name...though jetbrains toolbox shows up as jetbrains-toolbox.

(why do I know this? I ended to kill the process for but couldn't find it)

#jetbrains #ides #java #pycharm

Last updated 2 years ago

Seth · @saluki
42 followers · 461 posts · Server fosstodon.org

Are there any good, general-purpose for Linux that have a congruent look with ? On KDE, Kate is perfect, but it is a bit jarring to use on a Gnome desktop.

VsCode or something heavily themeable would be fine, although of course VsCode is Microsoft, which is something I want to try and avoid.

I'm currently basically just using vim, which is awesome but sometimes you just want something with a full graphical interface.

#ides #gnome

Last updated 2 years ago

Juan Luis · @astrojuanlu
1244 followers · 1636 posts · Server social.juanlu.space

At the same time, reporting issues upstream is the only way for the developers to notice these things (I highly doubt stuff like this can be seen in the telemetry, and also remember that I'm using VSCodium).

How do folks cope with this?

#python #vscode #ides #editorwars #lamehashtags #backtopycharm #backtovim #backtobutterflies

Last updated 2 years ago

Jan Katins · @jankatins
99 followers · 1208 posts · Server fosstodon.org

I find it fascinating that the big vscode, pycharm, and pydev (python for eclipse) share the same debugger, build by a single developer: github.com/fabioz/PyDev.Debugg

#python #ides

Last updated 2 years ago

PC · @PChoate
307 followers · 2269 posts · Server mas.to

dates were counted inclusively forward to the next one of three principal days within each month:

: the 1st day of each month

: the 7th day of "full months" and 5th day of hollow ones, 8 days—"nine" by Roman reckoning—before the Ides in every month.

: the 15th day of "full months" and the 13th day of hollow ones, one day earlier than the middle of each month.

en.wikipedia.org/wiki/Roman_ca

#ides #nones #kalends #roman

Last updated 2 years ago

Everyday Cyborg · @digitalraven
333 followers · 911 posts · Server retro.pizza

One for the classicists

(and others who know Shakespeare Was Wrong)

#ides #idesofmarch #ettubrute #shakespeare #juliuscaesar

Last updated 2 years ago

Dave Rahardja · @drahardja
696 followers · 2589 posts · Server sfba.social

It is , my dudes

#ides #wednesday

Last updated 2 years ago

Paul Rosen · @paulrosen
55 followers · 141 posts · Server hachyderm.io

Happy Ides of March to all who celebrate! It's the day we remember how dangerous meetings can be.

#ides #meetings

Last updated 2 years ago

Nando161 · @nando161
425 followers · 16316 posts · Server kolektiva.social

#merry #ides #march

Last updated 2 years ago

Beware the Ideas of March!

#ides

Last updated 2 years ago

Strongthany🇺🇦 · @strongthany
122 followers · 820 posts · Server infosec.exchange

What are we killing Ceaser with?

#idesofmarch #ides #march15

Last updated 2 years ago

brucy 🧙🏻‍♂️ · @brucy
242 followers · 912 posts · Server heads.social

*extreme Axl Rose voice *

The I-YIDE-YIDE -YIDE-YIDE -YIDE-YIDE -YIDE-YIDES!!

#ides #wheredowegonow

Last updated 2 years ago