Skip Navigation

Posts
0
Comments
87
Joined
2 yr. ago

  • Arjen Anthony Lucassen for sure!

  • I guess the birthrate wasn't close enough to 0 yet.

  • Was really surprised by this too, because iirc Python 2 did not do this.

  • Really cool idea, I hope this gains traction!

  • No, type hints are not enforced.

  • It is but if you start with a float you get a float back.

  • Bdsmlr is decent, depending on your taste.

  • Yes, it has no implicit conversions like JS or R. It does, however, allow you to not specify the type of a variable and even change it without complaining. Even if you add types these are only hints that won't generate errors unless you use external type checking (e.g. mypy).

  • Python is strongly typed, but it is also dynamically typed.

  • I wish we can get a Krita, Inkscape, GIMP ecosystem that rivals their offerings. I recommend these tools to most of my students (gamedev) because they're already great, but if they wanna work in this area in industry they're also forced to learn Adobe..

  • Chromium means Google gets to decide what internet standards get implemented. The existance of alternative engines (like the one Firefox uses) means that there is still some democratic control. If you care about the internet, don't use a chromium-based browser.

  • As a teacher, it is almost like we are human. Almost :)

  • This seems a little exaggerated. For example, over 10k games are Steam Deck playable/verified. About 75% of the games that were tested were compatible with the Steam Deck, so probably many more will follow. Also, all emulators work on Linux too and sometimes even better than on Windows. The number of games that are available to you on Linux is simply massive.

  • My guess would be because they also ship to Mac/Windows.

  • Bottles makes it really easy to install all dependencies you need and experiment with different versions. https://usebottles.com/

  • Is it an ntfs partition that you opened on Windows? I remember getting an error like that cause Windows does some weird permission things. Other than that I'd try with the command line or a different file manager to try and discover what the error is.

  • The list:

    • Flash Player 2022
    • Repeek (formerly FACEIT Enhancer)
    • Google Scholar Button
    • YouTube NonStop
    • Notion Web Clipper
    • SoundFixer
    • Turn Off the Lights
    • h264ify
    • Google Lighthouse
    • Emoji Cheatsheet
    • IP Address and Domain Information
    • Link Gopher
    • Show/hide passwords
    • Fake Filler
    • Don't Fuck With Paste
    • Google Analytics Opt-out
    • Open Link with New Tab
    • GIPHY for Firefox
    • enhanced-h264ify
    • AdBlocker Ultimate
    • Browsec VPN - Free VPN for Firefox
    • Web Threat Shield
    • Simple Translate
    • Hoxx VPN Proxy
    • Cookie AutoDelete
    • Keepa.com - Amazon Preisüberwachung
    • ColorZilla
    • SetupVPN Lifetime Free VPN
    • Disconnect
    • Touch VPN
    • Stylus
    • Absolute Enable Right Click & Copy
    • AVG Online Security
    • Clear Cache
    • Imagus
    • Cookie Quick Manager
    • Popup Blocker Ultimate
    • Download Manager (S3)
    • Unpaywall
    • Youtube Audio
    • Adblock for YouTube
    • User Agent Switcher
    • Worldwide Radio
    • Unhook: Remove YouTube Recommended Videos Comments
    • RESTClient, a debugger for RESTful web services.
    • Hotspot Shield Free VPN Proxy
    • Free VPN Proxy & Ad Blocker
    • Mate Translate – Übersetzer, Wörterbuch
    • Disable JavaScript
    • Disable WebRTC
    • Wanteeed
    • Dark Background and Light Text
    • WhatFont
    • Tranquility Reader
    • JSONView
    • Twitter Media Downloader
    • uMatrix
    • S3.Translator
    • WebRTC Leak Shield
    • Forecastfox (fix version)
    • Metastream Remote
    • Forget Me Not - Forget cookies & other data
    • Impulse Blocker
    • RESTED
    • Twitch Channel Points Autoclicker
    • Scholarscope
    • Location Guard
    • Offline-QR-Code-Generator
    • JSON Lite
    • JavaScript Toggle On and Off (WebExtension)
    • Empty Cache Button
    • Tab Mix - Links
    • Redirector
    • Reverso
    • Midnight Lizard
    • Proxy Toggle
    • Google™ Translator
    • WhatRuns
    • Telegram
  • Now with extensions