01:02
jtojnar has quit [Ping timeout: 248 seconds]
01:05
jtojnar has joined #nixos-wiki
01:37
antislava has quit [Ping timeout: 260 seconds]
01:52
cransom has joined #nixos-wiki
04:43
orivej_ has quit [Ping timeout: 250 seconds]
07:50
<
makefu >
great to see someone also likes vim-better-whitespace and even found my nix-expression
09:05
orivej has joined #nixos-wiki
09:07
nixoswikibot has quit [Remote host closed the connection]
09:07
nixoswikibot has joined #nixos-wiki
10:48
<
Mic92_ >
U+180E MONGOLIAN VOWEL SEPARATOR
10:48
<
Mic92_ >
I had not idea
10:52
<
Mic92_ >
there is way to many whitespace
10:56
<
Mic92_ >
*there are
11:01
<
makefu >
should be enough space for everybody!
19:06
<
nixoswikibot >
[[IGVT-g]] !N
https://nixos.wiki/index.php?oldid=2314&rcid=2335 * Gnidorah * (+3100) Created page with "Intel GVT-g is a full GPU virtualization solution with mediated pass-through which allows host and multiple guests to share same Intel integrated videocard. Guest gets a near-..."
19:09
<
samueldr >
wow, I literally read about that earlier today
19:27
<
nixoswikibot >
[[Special:Log/patrol]] patrol * Samueldr * marked revision 2314 of [[IGVT-g]] patrolled
19:30
<
samueldr >
d'aw, I took my time because I was sure they were finished editing (and merging apparently is hell in mediawiki)
19:33
<
makefu >
merging is only theoretically possible
19:33
<
samueldr >
yay, they at least added back the link I added :)
19:34
<
samueldr >
I sometime would like to have all contributors here while they edit :)
23:20
<
infinisil >
Okay now this is really weird
23:20
<
infinisil >
Hover over the "Cross Compiling" link there
23:21
<
samueldr >
it's the title next
23:22
<
infinisil >
Oh damn
23:22
<
samueldr >
that's for the sticky header
23:22
<
infinisil >
Yeah the content pages links above don't work at all because of that
23:23
<
samueldr >
I may need to check 1) if it's
*my* fault 2) fix it
23:24
* samueldr
dislikes bootstrap for all the edge cases caused by defaults
23:24
<
infinisil >
edge cases \o/
23:24
<
samueldr >
for the record, web development has been my job for over 10 years
*dies*
23:25
<
infinisil >
Heh, you've been the main designer for nixos.wiki?
23:25
<
samueldr >
I did the integration work between an existing bootstrap using theme and the actual end product
23:26
<
samueldr >
that's because the main nixos website uses (an older) bootstrap
23:26
<
samueldr >
so I guessed it would be easier than creating a whole new look
23:27
<
infinisil >
> not using Idris for websites in 2018
23:29
<
samueldr >
> using existing platforms with which users are familiar in 20xx
23:31
<
samueldr >
and does idris allow you to ignore the fact that HTML and CSS (and somewhat JS) exists?
23:31
<
samueldr >
(not trolling, actually curious)
23:31
<
samueldr >
I know some efforts in the past at bringing platforms for the web also abstracted DOM+styles
23:32
<
infinisil >
I mean, idris can only compile to js, that's why I'm bringing it up, but of course you could construct html and css from it too
23:32
<
infinisil >
Maybe webassembly eventually :O
23:33
<
samueldr >
(webassembly still means DOM+style :) )
23:34
<
infinisil >
Aren't those the best parts of the web though? Would you want to get rid of them?
23:34
<
infinisil >
I'd only like js to die
23:35
<
samueldr >
some pretend CSS+DOM are, too, part of the problem
23:36
<
samueldr >
I think the way they use it is the problem :)
23:36
<
infinisil >
I guess I don't understand it well enough, I haven't been a webdev for more than a day or so at one point
23:36
<
samueldr >
but yeah, the multiple "JS" things are all problems imo, the VM, the concepts (in the DOM) and the language :/
23:37
<
infinisil >
What's your goto general purpose language?
23:44
<
samueldr >
it's like perl, without warts
23:54
* infinisil
tries not to judge