ealhad

29 ms·

91.
by ealhad 8y ago
Nice! It seems there are some things I overlooked on the websites I manage — HTTP headers for XSS, HSTS and such, which are going to be easy enough to add. Kudos to the authors, thank you for helping making the web a better place.
92.
by ealhad 8y ago
This runs directly in the browser, whereas Jupyter needs a server.
93.
by ealhad 8y ago
https://pythonclock.org/
94.
by ealhad 8y ago
The server is not properly configured. https://developer.mozilla.org/en-US/docs/Web/HTTP/CORS
95.
by ealhad 8y ago
Especially considering the existing tools are great! intero (types and suggestions from ghc): https://github.com/commercialhaskell/intero hlint (well, lint): https://github.com/ndmitchell/hlint Bo
96.
by ealhad 8y ago
Indeed.
97.
by ealhad 8y ago
I see. I tried using a proportional font for ~15 minutes and didn't encounter these problems, I guess I'll try a bit longer and keep your point in mind.
98.
by ealhad 8y ago
I see. That's kinda specific though, and not all code has matrices in it. But I get your point.
99.
by ealhad 8y ago
Do you often use j or k? I know I don't. Text objects (word, paragraph, brackets, quotes, sentence, etc) usually do everything I need.
100.
by ealhad 8y ago
I don't understand. Doesn't vertical pattern matching works the same for monospaced and proportional fonts? The same words are still the same size.
101.
by ealhad 8y ago
For the Emacs users wanting to try this… M-x variable-pitch-mode Vim users, I can assure you that Evil is a really good implementation of Vim, which happens to run in a really good environment.
102.
by ealhad 8y ago
I thought the whole point of using vim was having access to powerful, mnemonics and highly composable commands to edit text efficiently… Guess I was wrong.
103.
by ealhad 8y ago
That would be amazing. How come Google hasn't invented something like that yet?
104.
by ealhad 8y ago
Moreover, they don't really show anything to make their point — I can't see any type annotations on the frontpage.
105.
by ealhad 8y ago
You need an encrypted connection, period. If you only use an encrypted connection when you need it, then one can know that, well, you need it. You have nothing to hide... until you do.
106.
by ealhad 8y ago
When using HTTPS, our ISP can only see the server you're connecting to, not what you're doing.
107.
by ealhad 8y ago
This, exactly.
108.
by ealhad 8y ago
All legacy content that is hosted using http protocol is, in fact, not secure. It's definitely not a bad thing to warn people.
109.
by ealhad 8y ago
Firefox has been doing that for some time now, but you have to click on the information logo left of the address bar to see the “Connection is not secure” warning.
110.
by ealhad 8y ago
This is a real diamond.
111.
by ealhad 8y ago
https://screenshotscdn.firefoxusercontent.com/images/8fde028... A few others indeed.
112.
by ealhad 8y ago
As stated in the article: > Mozilla developers can distribute addons to users without their knowledge
113.
by ealhad 8y ago
You've got it backwards, the Mozilla Corporation is owned by the Mozilla Foundation (non-profit).
114.
by ealhad 8y ago
Cool! Before FF 57 I used Vimperator, so I might give Tridactyl a try.
115.
by ealhad 8y ago
Absolutely! I wonder why this isn't the default...
116.
by ealhad 8y ago
Have you tried Vimium[0]? It brings vim-like shortcuts to your browser. Despite what the Readme says, I find it perfectly usable on Firefox. [0]: https://github.com/philc/vimium
117.
by ealhad 8y ago
(Firefox) 800px with system and browser bars, 900px in fullscreen, both missing text at 100% zoom level Also, I noticed when the display area is resized, the slider resets (with animation) to the first slide, while the bottom text stays the
118.
by ealhad 8y ago
FYI, your site is kinda broken on my laptop (both Firefox and Chromium), I can only see part of the text at the bottom. You might want to tinker with that middle section with the slides.
119.
by ealhad 8y ago
And you should also consider contributing ! It’s Typescript on client and server. https://github.com/Chocobozzz/PeerTube
120.
by ealhad 8y ago
And that's already great!

More ›