I have tried Zen and I like it, I will give ForeDragon a spin, thanks 🙏
- 0 Posts
- 17 Comments
I like Arc’s user experience with vertical tabs. They are bigger, easier to organize and they are cleaner. Also, the sidebar toggle is hard to work with, ideally I would prefer the ability to toggle with a shortcut or reveal on hover.
Aside Arc, Zen browser has a good vertical tab experience.
Overall, I still main firefox for my personal browser, though it’s UX is still lacking.
Maybe add some decent vertical tabs too?
souperk@reddthat.comto Open Source@lemmy.ml•Trusting Open Source: Can We Really Verify the Code Behind the Updates?5·3 months agoAlso, fuzzing is becoming quite popular. It’s a technique that automatically detects vulnerabilities on a binary. Though, it is computationally intensive, so I would love to the emergence of a peer-to-peer project that allows anyone to contribute by testing open-source software.
souperk@reddthat.comto Programmer Humor@lemmy.ml•The Christian and Traditional Family propaganda of Prolog examples3·6 months agoDataLog is used to verify smart contracts. I don’t know any specific examples of prolog used in the industry, though I am sure there are a few. Probably, there are expert systems implemented with prolog that are still used.
Logic programming in general has a few usages, the unification algorithm is used for pretty much every type system. Also, it is quite good for verification systems. For example, I know some symbolic execution systems implemented in OCaml.
The repository is not public (yet), so I created a gist with the relevant code for the transformations I have implemented. This is pure JS (typescript to be exact), I am not familiar with svelte, but maybe it’s easier to plug them in. https://gist.github.com/souperk/6208d9401e4d5e47ab4b9d503b6e97c2
I have a js implemented a simple wysiwyg editor for markdown in react, I can add you on the repo and share a link if yoy want to copy it
souperk@reddthat.comto Linux@lemmy.ml•Valve's plan to bring SteamOS to more devices is a promising sign if you want to stop gaming on Windows14·7 months agoIt helps to think about this as a spectrum, as more features become available more people will make the switch to Linux. Not everyone will be able to swich to Linux at the same time, and some people will never switch.
Gaming was major bottleneck, even I, a person using Linux full time for the past 20 years, I used to maintain a Windows disk to play games. Only in the past couple of years I was able to sunset my windows setup, hopefully to never touch windows ever again. I had to drop a couple of games but it got to the point where rebooting to a OS wasn’t worth it, as most of my games worked flawlessly without any tweaking.
There are many major pros to the Linux desktop environment, but we still need major software applications to become portable. The workflow of an average office worker is still not Linux compatible. Of course there are office alternatives, but they are not as easy to use. Though, IMO the oss world is hurting by trying to copy ms when their products are so horrible… Hopefully, the EU will drop some major cash at the issue with all these talks about digital sovereignty.
souperk@reddthat.comto Open Source@lemmy.ml•What the EU’s new software legislation means for developers9·7 months agoMy understanding is that the company would be regulated by CRA and not the developer. However, that does not stop the company from pushing the developer for CRA compliance.
souperk@reddthat.comto Open Source@lemmy.ml•What the EU’s new software legislation means for developers121·7 months agoI would really appreciate an ELI5, or some examples. For example, would lemmy be regulated by CRA? What about lemmy instances? Is there a difference if there is a fee or a recurrent donations?
souperk@reddthat.comto Linux@lemmy.ml•RustDesk: I Found This Open-Source TeamViewer Alternative Impressive!221·10 months agoI have setup a rustdesk server with docker, it was surprisingly easy to get started. It was for a friend who is managing the IT services of a small factory, the completely switched from TeamViewer and they are satisfied. More importantly their users, who are worse than your average windows user, found the transition relatively painless.
It depends on the field you are studying. I was into CS, using Linux was recommended because the machines they used to test our code were also running linux.
Most fields are going to be okay with linux, the only exception being fields that rely on specialized software like architects, engineers, and audio/video editing. Also, some software like MatLab are possible to run on Linux but it’s a pain to set them up.
Typing in python leaves a lot to be desired… Being looking at peps for quite some time, but it’s really hard for the language to make progress without breaking compatibility.
Hopefully at some point MOJO becomes mature enough to use in a professional setting.
I am not using Jenkins anymore but this seems like a lifesaver, thanks for sharing
Unless you are using groovy (jenkins), then you are running the pipeline to find syntax errors.
souperk@reddthat.comto Open Source@lemmy.ml•What apps would you love to have open-source alternatives for?0·1 year agoIt may sound boring, but I would appreciate a good open source alarm app for android.
IMO this is creating unrealistic expectations for the bundle size of linux distributions 🤣🤣