I hacked this by buying a Steam Deck and gaming on my 1-hour work commute!

Ryan George is awesome, I can recommend the whole channel plus the Pitch Meetings channel where he makes fun of movies :)

Relevant

https://www.youtube.com/watch?v=5t15a0im-_4

Hi PipedBot!

Pretty sure the exact opposite has been happening (vaguely gestures at everything)

Decided to write it in python for brevity.

if you.can_read_this():
    you.is_too_close = True 

though if you know what you’re doing, you’d be more likely to do something like

you.is_too_close = you.can_read_this()

I don’t get it. Is the treat the dog’s lawyer present? ^/j

Football fans

I really tried to switch to FF, but I need my vertical tabs, side-by-side/sidebar view and power user keyboard shortcuts.

I tried to use Tree Style Tabs, but that uses FF’s sidebar view and I need the sidebar for other things too. There’s a use case where I like to have two tabs open side by side, and the best way I found to do it in FF is the extension “Open in sidebar”. But that overwrites the tree style tabs view, so I can either use vertical tabs or display websites in the sidebar, but not both at the same time! Not to mention that when I drag a tab out from a window, the website opened in the sidebar is carried over to the new window with it, which is infuriating! Also, Tree Style Tabs is so damn wide.

Another pet peeve is that searching in open tabs is not trivial. When you want to search in the titles of your open tabs with the goal of switching to it, you need to:

• Focus the address bar (e.g. Ctrl+L)
• Type % (Shift+5, Space)
• Write the name of the open tab and press Arrow Down and Enter to switch to it

Which is just too many steps for this use case to be efficient, and I do this a lot in other browsers!

Despite all the privacy problems and other issues, Edge:

• supports vertical tabs natively, with an option to only display a thin panel with only the tab favicons and display a wider view with the tab titles on hover
• has a sidebar view on the right that I can use to display my utility tab, and it can be used with vertical tabs active; or I can open two tabs side by side in one browser window
• when I drag a tab out or open a new browser window, the sidebar view is closed in the new window by default, which is what I want
• searching in open tabs and switching to them is as easy as a single hotkey to bring up the search, type name, press Enter

I like the idea of switching to FF and ditching Chromium very much, but these things are deal breakers for me and they’re why I have to stay with Edge for now…

I wouldn’t be so negative. The first thing I saw after reading the parent comment was a reply refuting it, with a screenshot of the dark mode. I think that’s pretty good

Not many people know this, but cheese is already plural. The singular form is choose.

So ZRAM is RAM, but compressed? I didn’t know about it, thanks for sharing!

I was gonna suggest Ctrl+r as the most important bash shortcut, and also Alt+b/Alt+f and Ctrl+w.

Also, I would teach them the basics of viewing text files in less, with a seamless transition into editing in vim.

Tbh I see much more people mentioning the complaining than the actual complaining

I did not know that. Thanks!

Is it? I thought SteamOS was based on Debian

New York be like:

That is not a female deer

Can you comment on whether the Kreuznach is actually “Bad”?

Short answer: Imagine that the integer used in the for loop is a float instead.

Longer, a bit more precise answer: An integer can only have discrete values (i.e. -1, 0, 1, 2, …, 69, … etc.)

A real number (~float with infinite precision) can have an infinite amount of values between two discrete values.

An integral is, to put it simpy, a sum of all the results of taking those infinite values between two discrete values (an interval) and feeding them to the given function.

It’s a for loop over an infinite set of real numbers rather than over a finite set of integers => a non-discrete for loop