Vivaldi Community

I've recently been Last year, I was working on adding some new features to a Visual Studio Code Extension. I had previously done work to add similar functionality to a Visual Studio Extension. In the time since then, the project hasn't really moved forwards, and I've decided to try and organise my thoughts on the matter. What extensions? The extensions I've worked with are designed to enable support for the Dafny language. Specifically, I am enabling support for Tactics (developed by a team from my university) and also Shorty (developed by one of the other students on the CS course I took). Dafny is a verification-aware programming language, one where you can embed a mathematical proof of the program in the source code via annotations like ensures x > 0. Tactics allow you to more easily write the proof, by embedding commonly re-used, well... "tactics"...

Hack the Chromium Browser Today I want to introduce Chromium Hacking, basically are optimizations to improve the Web experience. In other words, we will see the heart or engine that makes to the Chromium Web browser beat. I have designed it both for high-end Desktops and for low-performance Desktops, and therefore I have omitted certain adjustments for graphic improvements. We opens the page “chrome://flags”. On the right side you will see options to enable and disable. And look’s you the following settings: chrome://flags/#enable-webrtc-hide-local-ips-with-mdns – Prevent IP filtration through WebRTC. chrome://flags/#enable-fast-unload – When Enabled, we activate the fast closing of tabs. chrome://flags/#smooth-scrolling – Disable it. We save milliseconds in navigation chrome://flags/#enable-quic – When we enable it, we activate the new TCP protocol. chrome://flags/#enable-framebusting-needs-sameorigin-or-usergesture – Enabling it avoids opening redirected pop-ups. chrome://flags/#enable-nostate-prefetch – Activating, is preloaded the web search, consuming lowless RAM memory. chrome://flags/#reduced-referrer-granularity – Activating it reduces your browser's ID headers. chrome://flags/#save-page-as-mhtml – By activating it you save web pages in .Mhtml. chrome://flags/#enable-offline-auto-reload – Disables offline page reloading. chrome://flags/#enable-offline-auto-reload-visible-only – When enabled, you reload only visible tabs. chrome://flags/#tls13-variant – When enabled, we activate the latest TLS security protocol. chrome://flags/#autoplay-policy – By activating it in Document user activation is required. You disable autoplay. chrome://flags/#enable-parallel-downloading – Activating it in parallel downloads files, at the cost of greater recurrence in the router. chrome://flags/#automatic-tab-discarding – Enable tabs hibernation. chrome://flags/#enable-font-cache-scaling – Reused a cache web chrome://flags/#safe-search-url-reporting – Disable sending data to Google chrome://flags/#default-tile-width – Value of 256 is for 1GB memory. Value of 512 is for 2GB memory. Value of 1024 is for 4GB memory. chrome://flags/#load-media-router-component-extension – Disable these, if you don’t use chromecast. chrome://flags/#disable-hyperlink-auditing – Disable. Blocks sending audit pings of hyperlinks...

Nano Adblocker: A Fork of Ublock . Nano Adblocker is a fork of Ublock Origin, with functions to add custom filters. You have options to BackUp’s your privacy settings, such as blocking the filtration of your ip address via WebRTC. We go to work: The first thing is to add the extension Nano Adblocker When loading it, it will appear in the upper right part of the screen; NanoAdBlocker. Inside a hexagon, right click; options. And the control panel will appear: Configuring the privacy on Vivaldi. First we mark the option: Prevent WebRTC from disclosing the local IP address Then we go to the section Filter List and uncheck the complete options: With a ShortCut, press the buttons CTRL + F. Searching the Key Adguard and mark where Adguard says Excepting the Languages and the Mobile Filters. Now we look for the key: NoCoin and we mark it. NoCoin Protects us from the exploitation of Bitcoin Miners, implemented on vulnerable Websites. Apply changes and update. If you are a privacy fan, you can activate the option My Filters and add your blacklists, for example: https://easylist-downloads.adblockplus.org/abp-filters-anti-cv.txt http://abp.mozilla-hispano.org/nauscopio/filtros.txt Feedback Sources: Hadden89 | GitHub | Vivaldi Forum

Buckle up kiddies, we're going deep into the weeds here. There's a summary waaaay at the bottom. Intro The dice are indeed calling again. Advanced Dungeons & Dragons 2nd ed is the first game I played and ran back in college. The grand old game captured my imagination back in the day. It's maintained it over the years and is still the edition I look most fondly on. I have the black boarder books that came out near the end of the line. The art was not as good as earlier releases (the thief...

If you still use a desktop computer for getting most work done, then you also care about hardware peripherals like mouse and keyboard.  But some people, such as myself, grow out of mouse and need a trackball. Kensington Expert Mouse is, in my experience, a far worse option than the half cheaper Orbit® Trackball with Scroll Ring. Both have a scroll ring, but scrolling on the latter is far more care-free. On the former device, the scroll ring feels precarious and moves by nudges instead of sliding easily. Moreover, the form factors of the devices differ. The Trackball with Scroll Ring is designed like a pear over which you can lay your hand, while Expert Mouse is designed like an uphill battle. The wrist position, in my experience, feels far more strain-free on the Trackball with Scroll Ring out of the box. With Expert Mouse you can somewhat approach the same comfort when you turn the device around, the high end towards yourself, as pictured...

Put favicon and text on thumbnail of speed dials (FF solution) If a link on speed dial is clicked than refresh thumbnail in background If tab stacking is disabled than resize tabs to edge of the screen That's it...  

Two lightweight extensions for Vivaldi. Auto-Discard Tired of exploding your RAM just because you are a committed tab hoarder like me? Give Auto-Discard a try. It hibernates all tabs that are not active, pinned, highlighted, white-listed and, optionally, do not play sound, either by clicking on the button or in adjustable intervals. It hibernates itself if it is not active, so no lingering processes if not needed. Right-click on the extension's button > Options to set it up. Name: Auto-Discard.crx Size: 6286 Bytes (6 KiB) SHA256: F0719DD8A8FC963A3AADAD1D75F97BD87A8A970C26A2E7F4408DCC78208927B4 http://quhno.internetstrahlen.de/Vivaldi/Auto-Discard.crx Tab-Sorter-and-Duplicate-Remover Every decent tab hoarder knows this: After some time the tabs get all over the places and as you reach hundred it might be tabs duplicate "on their own". (I don't know how, but this happens to me all the time 😀 ) This extension sorts (not pinned) tabs by domain and optionally removes duplicates, either by clicking on the button or in adjustable intervals. It hibernates itself if it is not active, so no lingering processes if not needed. Right-click on the extension's button > Options to set it up. Name: Tab-Sorter-and-Duplicate-Remover.crx Size: 9367 Bytes (9 KiB) SHA256: D1999B43EBF8647C2F443E7EF4D54C694ED0E6FC217F26A5B7C94B3D6EC99598 http://quhno.internetstrahlen.de/Vivaldi/Tab-Sorter-and-Duplicate-Remover.crx To install you need to: Unzip it (optionally rename to .zip if your unzipper doesn’t recognize .crx as .zip) Look into the source to see that it is clean (optional, but recommended) Open vivaldi://extensions and switch to developer mode Click the “load unpacked” button Navigate to the folder where you have unzipped it Click “OK” or: Open vivaldi://extensions and switch to developer mode drag'n'drop the file to the window (not recommended, because it is too easy to install malicious stuff this way, see disclaimer.) Bugs Post them here and I'll see what I can do. The same goes for feature requests. If you are a good JavaScripter and know how to improve the extension: I take the code 😀 Known bugs: VB-14668 Extensions shortcuts may or may not work, they are a little bit flaky in Vivaldi, not my fault. Disclaimer I am no experienced coder and you have now be warned about it, so USE AT YOUR OWN RISK! Other than that: I tried to check for all cases and linted the code, but I can not guarantee that it e.g. doesn’t clash with other extensions or work as expected with the browser, doesn’t delete all data on your drive or even work at all on your machine. PS: I totally forgot to put malware into the extension put a coin miner into the extension rewrite all links to amazon and ebay to affiliate links connect to external servers to pull other stuff in later do any logging of any kind do other nasty stuff that I have seen several times while checking extensions from the chrome web store

Solid state drives (SSD) installed? Check. Operating systems engaged? Double check. Windows 10 Pro was a simple affair. I made an install USB and loaded it onto the first SSD. There were a few minor hiccups (a couple of times, the install backtracked a step or two, but nothing major). Linux, however, proved slightly more challenging. I intended to start with Ubuntu. My reasoning was in Jason Evangelho's article on Forbes; consider using a more mainstream, flagship edition of Linux. I had issues (pun also intended). When I ran the Ubuntu installer, the default setting was to overwrite Windows. So, I shut the machine down, switched the cables on my hard drives, and tried again...

I find my old blog on the internet archive, and I take a moment to look back on teenage me's madness. xkcd 2102: It really is crazy when you stop and think about it Some history Back in the days before the exodus, the My Opera community had a blogging platform, of which I was a semi-active member. Just prior to the service being shut down someone had the good sense of mind to capture the final resting state of the platform, as well as the blogs, and uploaded it to the internet archive. In perusing this, I noticed that all of my old blog entries had been included in this dump. A quick search revealed that many of my other past social internet presences were also preserved for eternity. My gut reaction to this was to nuke the whole thing, and as quickly as possible before anyone saw it. Who knows what content might be there? I certainly don't remember, so it can't be anything good. A quick reply to an email fired off to the archival team soon revealed a problem: They really care about archival. The Internet Archive can exclude webpages from the Wayback Machine (web.archive.org), but we first respectfully request that you help us verify that you are/were the page/account owner or content author of   We would be grateful if you would help us preserve as much of the archive as possible. Therefore, please let us know if there are only specific URLs about which you are concerned so that we may leave the rest of the archives available...

The hard drive (HDD) in my desktop is dying by inches. We've had good times together. But like all good things, they must come to an end. There's no telling how much longer the smaller drive will last. It's probably over a decade old at this point. The large drive has housed Windows 10, while the smaller drive is for my Linux testing...