Yeah, this is why I love OCaml. OCaml has static typing with type inference. You don't have to type the types out if you don't want to, but you still get those strong guarantees at compile time because of mathematical proofs.
My compilers professor said that he believed that type systems are the most important form of program verification that we have (See notes).
Yeah this is why I download the video with youtube-dl and then just play it back with mpv, because I can skip backward or forward 10 seconds at a time easily.
Yeah, I just use youtube-dl now. Sure I have to wait for the video to download, but it doesn't take that long for the videos I'm watching. And I always could use mpv for youtube which uses youtube-dl behind the scenes.
I use a Raspberry Pi as a firewall between the ISP's router and my network. And I could only allow specific access for certain devices while denying the rest of the access. The downside is that even a RPi3 has limits on bandwidth, but eh, my speeds are crap anyways. 11.8 Mbps download, and 9.8 MBps upload.
It's not actually surprising to see why this might be true if you look at this link, which explains that blue light suppresses secretion of melatonin and interferes with sleep. And I doubt everyone installs Twilight or CF.lumen on their phone if it's Android, and previous versions of iOS didn't have Night Mode if I remember correctly.
You might want to take a look at this. I don't recommend the C720 as it has defects that can lead to it randomly crashing. I haven't used crouton (as I've installed full firmware on mine. see link), but as far as I know, the main disadvantage is it runs alongside ChromeOS so it uses more resources.
I'm running Void Linux (which is rolling release like Arch) on my Pis, very happily, with runit, which follows the UNIX philosophy of doing one thing and doing it well:D. Runsvdir, the service manager, is basically a clone of daemontools, where each service has its own supervisor that waits on the child to die, and automatically restarts it if necessarily. It's also one of the fastest booting binary systems. And there's also Alpine (which is heavily focused on security) and Raspbian. I'm not sure what Fedora really brings to the table.
I dislike both of them, but if I have to pick, I pick corrupt politics/status quo president. I did vote for Bernie not Clinton to be nominated for president, but for some reason more people voted Clinton.
Totally agree with this. I'm glad I'm actually attending a real university instead of a tech school like ITT, because I had so many opportunities, and I'm actually marketable. I feel kind of sorry for those who attended ITT, because they were lead to believe they would land a job, and they spent so much money in vain. That being said, universities are pretty expensive too, but at least you gain marketable skills and the chance to get a good-paying job. My school had a computer science career fair last week, and about 100 employers or so attended. I doubt that happens at tech schools.
You either have a firewall or a HTTP proxy or something see the "/speedtest" and then mark it.
Have you heard of Differentiated Services and Expedited Forwarding? Yes, the routers need to be aware of it, but if they own the routers that's really not an issue. It's a simple idea of having two classes: Normal and Expedited. Most traffic is expected to be normal but a tiny fraction will be expedited. Expedited packets should be able to traverse the network as if no other packets existed.
From what I understand, Windows mounts removable media with sync and thus leads to very bad performance. I think the best solution in any case is to have people type sudo sync before removing the USB drive as a habit.
Removable drives are, by default, mounted as sync=true, so that very little buffering is done while writing to it, and the OS tries very hard to guarantee that if you pull it out immediately after a write() call has finished, you won't lose any data.
>or upgrading to sysvinit
You might be interested in runit/runsvdir (pid1/RC respectively), which is a clone of daemontools. Void uses it by default but it's also possible to install it on other systems such as Debian. Gentoo also supports it. Basically you *can* specify dependencies in the run script for a service if you want, but you don't have to. And like sysvinit, it won't unmount a filesystem automatically.
Ok sorry but you just lost the interest of 1billion people without finishing that first sentence. dir? what is that? The only time a Windows user types dir is when a scammer calls them up and offers to help "fix" their computer. The people who type dir are sys admins and power users. They aren't the ones that won't learn another OS, and chances are they already know multiple anyway.
Meh, there's always ChromeOS. I kind of wish more people would go to ChromeOS rather than Linux, because now we have Wayland, which locks stuff down "for your protection" like ChromeOS except it's security theater as you can still run arbitrary code which can modify the compositor for example, and boom, you have a keylogger. That's not Wayland's fault, but it's stupid to lock one door and hope someone else doesn't use the other door.
The problem is that in order for certain things to work, you have to extend the Wayland protocol and remove security features. A KDE developer explains the problem in his blog post. He does also say they'll address it in the future though.
Flatpak's Wayland security is passive, not active, it basically offloads the GUI sandboxing to the Wayland compositor and relies on the compositor to implement it. The problem is that the Wayland protocol leaves room for a compositor to expose this information to clients via a protocol extension though the core protocol defines no such channels.
If you use Flatpak with a hypothetical compositor that exposes surfaces and keypresses to clients via a protocol extension then Flatpak won't do much here. KWin exposes window placement and titles to clients via an extension and Flatpak doesn't stop that from happening.
Things like Subuser and Firejail implement active X11 sandboxing, they just Sandbox X11, whatever the server attempts to sandbox, they get in between the server and the client and decide what can be let through and what can't, no matter what protocol extensions the server implements.
You know what? I don't want a god damned app for everything I do on my smartphone. I don't want to have to download and take up gigs of space on my phone when you can just deliver a HTML5 web page that's going to effectively do everything some annoying app would have done.
Yeah, if speed isn't important to you. See link as to why mobile web apps are slow. You need to mobile native apps to get good performance.
According to this paper, bilinguals have an advantage when it comes to task switching. Also, according to this article, true bilinguals, aka "people who learned both languages in childhood, know them well and use them frequently throughout life", are the best at task switching.
No? Slackware's first release was in 1995. Ubuntu's first release was in 2004. How does a distro base itself off something that's released 9 years in the future?
I recommend trying out Void Linux as well. IMO, it's basically the lightweight foldable chair of Linux distributions. It's designed to work on small SoCs like the RPi, and it's also systemd free, although I think it's possible to replace runit with it. See chair analogy.
If you have the time, I recommend trying out Void Linux. It's designed for small SoCs. I even have it running on my Raspberry Pi. IMO Void Linux embodies sort of the same ideals Slackware does of a simple and effective system that puts the administrator in control rather than the corporation.
My main problem with systemd is the philosophy. If it was fully decouplable, then IMO it would be a fine piece of software.
It's also kind of suspicious that the only service manager that D-Bus talks to when it comes to D-Bus activation is systemd, leading to a malformed state in every other system that doesn't use systemd, because it starts services outside the service manager. That gentle push.
Slashdot Mirror
Yeah, this is why I love OCaml. OCaml has static typing with type inference. You don't have to type the types out if you don't want to, but you still get those strong guarantees at compile time because of mathematical proofs.
My compilers professor said that he believed that type systems are the most important form of program verification that we have (See notes).
Yeah, which is why I think Linus Torvalds was right when he said The whole "parallel computing is the future" is a bunch of crock.
Laptop coolers do exist, you know. In the worst case you could carry a bunch of books or something and put the laptop on top of that.
Yeah this is why I download the video with youtube-dl and then just play it back with mpv, because I can skip backward or forward 10 seconds at a time easily.
Yeah, I just use youtube-dl now. Sure I have to wait for the video to download, but it doesn't take that long for the videos I'm watching. And I always could use mpv for youtube which uses youtube-dl behind the scenes.
Apparently, there's even a Chrome Extension.
I use a Raspberry Pi as a firewall between the ISP's router and my network. And I could only allow specific access for certain devices while denying the rest of the access. The downside is that even a RPi3 has limits on bandwidth, but eh, my speeds are crap anyways. 11.8 Mbps download, and 9.8 MBps upload.
It's not actually surprising to see why this might be true if you look at this link, which explains that blue light suppresses secretion of melatonin and interferes with sleep. And I doubt everyone installs Twilight or CF.lumen on their phone if it's Android, and previous versions of iOS didn't have Night Mode if I remember correctly.
You might want to take a look at this. I don't recommend the C720 as it has defects that can lead to it randomly crashing. I haven't used crouton (as I've installed full firmware on mine. see link), but as far as I know, the main disadvantage is it runs alongside ChromeOS so it uses more resources.
That reminds of one movie where they packed so much technology into a watch yet it couldn't tell the time because there was no space or something.
I'm running Void Linux (which is rolling release like Arch) on my Pis, very happily, with runit, which follows the UNIX philosophy of doing one thing and doing it well :D. Runsvdir, the service manager, is basically a clone of daemontools, where each service has its own supervisor that waits on the child to die, and automatically restarts it if necessarily. It's also one of the fastest booting binary systems. And there's also Alpine (which is heavily focused on security) and Raspbian. I'm not sure what Fedora really brings to the table.
I dislike both of them, but if I have to pick, I pick corrupt politics/status quo president. I did vote for Bernie not Clinton to be nominated for president, but for some reason more people voted Clinton.
Totally agree with this. I'm glad I'm actually attending a real university instead of a tech school like ITT, because I had so many opportunities, and I'm actually marketable. I feel kind of sorry for those who attended ITT, because they were lead to believe they would land a job, and they spent so much money in vain. That being said, universities are pretty expensive too, but at least you gain marketable skills and the chance to get a good-paying job. My school had a computer science career fair last week, and about 100 employers or so attended. I doubt that happens at tech schools.
You either have a firewall or a HTTP proxy or something see the "/speedtest" and then mark it.
Have you heard of Differentiated Services and Expedited Forwarding? Yes, the routers need to be aware of it, but if they own the routers that's really not an issue. It's a simple idea of having two classes: Normal and Expedited. Most traffic is expected to be normal but a tiny fraction will be expedited. Expedited packets should be able to traverse the network as if no other packets existed.
That's why you should be using orange peels, which contain a natural pesticide called limonene. AFAIK it damages their respiratory systems.
Removable drives are, by default, mounted as sync=true, so that very little buffering is done while writing to it, and the OS tries very hard to guarantee that if you pull it out immediately after a write() call has finished, you won't lose any data.
>or upgrading to sysvinit You might be interested in runit/runsvdir (pid1/RC respectively), which is a clone of daemontools. Void uses it by default but it's also possible to install it on other systems such as Debian. Gentoo also supports it. Basically you *can* specify dependencies in the run script for a service if you want, but you don't have to. And like sysvinit, it won't unmount a filesystem automatically.
Ok sorry but you just lost the interest of 1billion people without finishing that first sentence. dir? what is that? The only time a Windows user types dir is when a scammer calls them up and offers to help "fix" their computer. The people who type dir are sys admins and power users. They aren't the ones that won't learn another OS, and chances are they already know multiple anyway.
Meh, there's always ChromeOS. I kind of wish more people would go to ChromeOS rather than Linux, because now we have Wayland, which locks stuff down "for your protection" like ChromeOS except it's security theater as you can still run arbitrary code which can modify the compositor for example, and boom, you have a keylogger. That's not Wayland's fault, but it's stupid to lock one door and hope someone else doesn't use the other door.
The problem is that in order for certain things to work, you have to extend the Wayland protocol and remove security features. A KDE developer explains the problem in his blog post. He does also say they'll address it in the future though.
Flatpak's Wayland security is passive, not active, it basically offloads the GUI sandboxing to the Wayland compositor and relies on the compositor to implement it. The problem is that the Wayland protocol leaves room for a compositor to expose this information to clients via a protocol extension though the core protocol defines no such channels.
If you use Flatpak with a hypothetical compositor that exposes surfaces and keypresses to clients via a protocol extension then Flatpak won't do much here. KWin exposes window placement and titles to clients via an extension and Flatpak doesn't stop that from happening.
Things like Subuser and Firejail implement active X11 sandboxing, they just Sandbox X11, whatever the server attempts to sandbox, they get in between the server and the client and decide what can be let through and what can't, no matter what protocol extensions the server implements.
You know what? I don't want a god damned app for everything I do on my smartphone. I don't want to have to download and take up gigs of space on my phone when you can just deliver a HTML5 web page that's going to effectively do everything some annoying app would have done.
Yeah, if speed isn't important to you. See link as to why mobile web apps are slow. You need to mobile native apps to get good performance.
Yep, I have a pair of amber tinted goggles that I wear to block blue light and it definitely helps with sleep.
According to this paper, bilinguals have an advantage when it comes to task switching. Also, according to this article, true bilinguals, aka "people who learned both languages in childhood, know them well and use them frequently throughout life", are the best at task switching.
No? Slackware's first release was in 1995. Ubuntu's first release was in 2004. How does a distro base itself off something that's released 9 years in the future?
I would assume Linux has the largest group of users with adblockers, thus Linux would have the smallest desktop share.
I recommend trying out Void Linux as well. IMO, it's basically the lightweight foldable chair of Linux distributions. It's designed to work on small SoCs like the RPi, and it's also systemd free, although I think it's possible to replace runit with it. See chair analogy.
If you have the time, I recommend trying out Void Linux. It's designed for small SoCs. I even have it running on my Raspberry Pi. IMO Void Linux embodies sort of the same ideals Slackware does of a simple and effective system that puts the administrator in control rather than the corporation.
My main problem with systemd is the philosophy. If it was fully decouplable, then IMO it would be a fine piece of software.
It's also kind of suspicious that the only service manager that D-Bus talks to when it comes to D-Bus activation is systemd, leading to a malformed state in every other system that doesn't use systemd, because it starts services outside the service manager. That gentle push.