about summary refs log tree commit diff
path: root/web/tvl
AgeCommit message (Collapse)AuthorFilesLines
2021-12-01 r/3123 fix(web/tvl/blog): Include only published posts in listings & feedVincent Ambo1-1/+4
Change-Id: I76c9c2c5cc82c7d0f59f907b6f1abee92a92cbf7
2021-12-01 r/3122 refactor(web/tvl/blog): Update Tvix intro blog postVincent Ambo1-17/+24
This incorporates feedback from sterni from cl/4052 and chipb on IRC. Change-Id: I0547d130dcd578746d5183c563be4b1d042cb5f8
2021-11-30 r/3120 fix(web/tvl/blog): Fix link to embedded imageVincent Ambo1-2/+2
Change-Id: I8bec643267785c6d3523380a2a17ab5e9213b51c
2021-11-30 r/3119 feat(web/tvl/blog): Write Tvix introduction blog postVincent Ambo3-4/+82
This post is intended to just let people know about the existence of Tvix, tell them a bit about the background and how to follow along. Change-Id: Ib5194d3aa385a0e30b4768ba28cb063784f6e0a3
2021-11-30 r/3117 chore(web): Correct URLs for assets & feeds on TVL blogVincent Ambo1-0/+1
Change-Id: I8720d49f8f3f4010f57a53e763a4f246bf4eb3d8
2021-11-23 r/3088 refactor(readTree): Move 'drvTargets' into readTreeVincent Ambo1-1/+1
This function is also generally useful for readTree consumers that have the concept of subtargets. Change-Id: Ic7fc03380dec6953fb288763a28e50ab3624d233
2021-11-13 r/3055 feat(web/tvl/template): add title to derivation namesterni1-2/+2
This should help when debugging template generated derivations. Change-Id: I9958a7e67c8442c5ad97da2a9d3622a0556b6a1a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3861 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-12 r/3038 fix(tvl/logo): Fix rendering of PNG filesVincent Ambo1-1/+1
The previous format for entering the shape of the 'V' (as exported by Inkscape) is incompatible with the PDF rendering process, somehow. This reverts the letter back to the old path definition format with the offending point manually removed. Change-Id: I6ff3310afb5a757d657f2f0d8a761f355a8e50c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3843 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-11-12 r/3037 fix(tvl/logo): Fix shape of 'V'Vincent Ambo1-1/+1
There was an additional point in this letter's path, which led to a small fragment of the "buttcrack" remaining. Change-Id: I4aa25190c2f2d5fbae55d85c499939ec72a25add Reviewed-on: https://cl.tvl.fyi/c/depot/+/3842 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-11-08 r/3025 fix(web/blog): make base URL configurable for atom feedsVincent Ambo2-9/+11
This was previously hardcoded to tazj.in, which is not going to work of course. Instead it now takes the blog config which has a new baseUrl parameter. For ease of use, the configs of my and the TVL blog have been moved into a location that is accessible in the tree for reuse. Change-Id: I94e71aaa7859db4380eb7013740a17f6b6a02620 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3777 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-05 r/3006 feat(web/tvl): Render blog posts and atom feed for TVLVincent Ambo1-2/+33
Includes the blog posts and feed in the $out directory, but without linking them from the TVL homepage yet. Change-Id: If9c094b29e43e9a81b0cc3d731261dc4b10557c1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3776 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-05 r/3004 feat(web/tvl/blog): Add scaffolding for first blog postVincent Ambo2-0/+14
No content yet, but I need this in place to chop up the other changes nicely. Change-Id: I4302e14ab513d6d4dd23e9e8ab5493223b9a80b4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3774 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-05 r/3003 refactor(web/tvl/template): Move footer into a separate targetVincent Ambo2-15/+22
This makes it possible for the footer to be reused in other places, e.g. when templating blog posts (which do not go through //web/tvl/template (yet)). Change-Id: Ia8ab0e1c6db4f76b4de49239e11a4474038f60ae Reviewed-on: https://cl.tvl.fyi/c/depot/+/3773 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-07 r/2953 refactor(web): use static.tvl.{fyi|su} for static assetsVincent Ambo1-3/+1
Replaces all uses of relative static paths in TVL pages with the static.tvl.fyi domain. Where possible, the drv hash is directly embedded in the content. Change-Id: Ia882dd37ceae9d047cd81cf1eb37a856b339643a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3682 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-05 r/2949 refactor(web/tvl/template): default staticUrl to static.tvl.{fyi|su}Vincent Ambo1-1/+1
Change-Id: Ibccb690dc1371499e9800d4414002ce586490a91 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3681 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-01 r/2942 refactor(web/tvl/template): Make static asset URL configurableVincent Ambo1-6/+4
Change-Id: I168924cd7b15103d64c9ad72172f72304e1d3a7d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3659 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-28 r/2933 feat(web/tvl/template): Support `extraFooter` argumentVincent Ambo1-0/+3
Change-Id: If42bb8476cd513d7844ef3494e82563a5786c670 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3649 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-27 r/2931 fix(web/tvl/logo): Make the logo slightly ... fasterVincent Ambo1-1/+1
grfn pointed out that the previous animation was so subtle that it could be mistaken for a symptom of perceptual distortion, which is not ideal. This doubles the speed of the animation to make it more obvious that animation is not taking place in the viewer's head. Change-Id: Icd836e91677dfab44357932b53673d701ac6b9f3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3647 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-09-27 r/2928 docs(web/tvl): Update copy on the TVL websiteVincent Ambo1-4/+22
Pointing people at IRC and mentioning that there's technology involved, etc. Change-Id: I414c006952d60b1fff619edda5016bb2a8714dfb Reviewed-on: https://cl.tvl.fyi/c/depot/+/3640 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi>
2021-09-27 r/2927 chore(web/tvl): Prune urbint from TVL graphVincent Ambo1-5/+1
This isn't really adding anything and I don't think anyone particularly wants us to link to them. Change-Id: I6c1c8949d8e64e8c50cc8220a911183b2a166232 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3632 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-09-26 r/2918 refactor(web/tvl/logo): Convert lambdas into <use> elementsVincent Ambo2-12/+15
Some mostly manual refactoring of the logo, assisted by inkscape to determine some details. Changes: * grid-aligned lambda & virus body shape * replaced all lambdas except the top-left one with <use> statements of that lambda, this ensures that they actually have the same shape * flipped the feet ... I think it looks better like this? * split the virus body and lambda into different groups, which also easily allows styling them separately Change-Id: Idaf1e3fe273b8c5461f5e433c1b0124fc534d9c5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3634 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-26 r/2917 style(web/tvl/logo): Add dark & light versions, dim backgroundVincent Ambo2-24/+46
Currently the pitch black colour of the logo outline looks a bit strange on the homepage, dimming this to the same colour as the text is nicer. While poking around in that colouring segment I also made a way to spit out light logos instead (to use on dark backgrounds). Note: The light colours are just picked from our web CSS, but they don't actually look good yet - it also needs a different palette. For now nothing uses the light version. Change-Id: Ibfe7fa252cd40b803ac96047d0627dad0d6d9ac2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3633 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-24 r/2913 feat(web/tvl): Use new TVL logo on the main homepageVincent Ambo1-8/+17
Change-Id: I4b12b33bab54dbb099d97eaa4c14ca3072c4cd66 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3628 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-24 r/2912 fix(web/tvl/logo): Fix bounding box of the SVG fileVincent Ambo1-1/+1
This trims the huge amount of whitespace on all sides of the logo. Change-Id: Ic14247e002839db729131550f7c7528d080ab519 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3627 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-22 feat(web/tvl): Check in first version of new TVL logoVincent Ambo2-0/+95
The exported SVG was hand-edited to make it as understandable as possible, the components within it are grouped sensibly. We noticed that it looks best with different fill colours for the armchair, so some included Nix code generates a colour animation (e.g. for the homepage) and differently coloured export PNGs (for different places). Thanks Varia <3 Change-Id: Ifdb5f4ff7827caf10d193b99e81b7c8498b35ce4
2021-09-22 r/2905 refactor(web/tvl/template): Don't forcefully embed title in pageVincent Ambo2-4/+5
This hands more layout control back to the page content instead of the template. There are cases (currently experimenting with logo layout) where it's visually nicer if there isn't a page title, but the rest of the template still applies. Change-Id: Ia3cd0c750beec5408e631760f1faeea8efec91db
2021-09-18 r/2886 fix(web/tvl): consistently uppercase Profpatschsterni1-2/+2
Him and me floating on our own is kinda cute, but breaks the graph. Change-Id: I043b327172781447bd0ce923e78e72f34bbff41b Reviewed-on: https://cl.tvl.fyi/c/depot/+/3573 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-15 r/2866 refactor(web/tvl): translate to markdownsterni1-15/+21
This is mostly equivalent, but we need to accomodate cheddar a bit: * cheddar doesn't like markdown inside of HTML, so the <main> tag around the image needs to go. * cheddar messes with a top-level SVG for some reason, so we need to wrap it in a <div> in order to prevent that. Change-Id: If9ed516623e81e24f600ee9f1b6d4d611b5bcedd Reviewed-on: https://cl.tvl.fyi/c/depot/+/3117 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-15 r/2863 feat(web/template): Link to CI in TVL page footersVincent Ambo1-0/+2
Change-Id: I53229374605774f34d3cfda2b071f65b79227a24 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3555 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-08-31 r/2805 chore(web/tvl): Update some of the members in the TVL graphVincent Ambo1-20/+13
Some leavers, some newcomers (some of which aren't actually new) and so on. There are some lurkers in the IRC channel who I didn't include. Change-Id: I9bf6b83ef1fadfb19bc6836f6f5946f115af30f5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3482 Tested-by: BuildkiteCI Reviewed-by: Mike Johnson <mdj@mikejohnson.xyz> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-08-26 r/2795 fix(web): tazjin.css -> tvl.cssVincent Ambo1-1/+1
Bug introduced by the previous static asset move. Change-Id: I827976e468e4ce877a12dfbca6126b3a7445e783 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3440 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-08-26 r/2788 chore(web/tvl): Move TVL static assets out of //users/tazjinVincent Ambo3-6/+2
It's now more like my personal homepage depends on TVL assets, not the other way around. Change-Id: Ifb9d61aa8ec2cab549e25de3a3dfbbd08f3d336c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3435 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-05-12 r/2590 feat(tvl/template): use atward for dispatching to README.mdsterni1-1/+1
Ideally this means everyone gets to use their preferred code viewer. Change-Id: I11005023c33eb111afd6c19b36d05dc581494ceb Reviewed-on: https://cl.tvl.fyi/c/depot/+/3118 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-05-12 r/2587 feat(tvl/template): support markdown via cheddarsterni1-19/+29
Since the template already was a derivation we can just reimplement a specialized writeText which runs cheddar on parts of its input to avoid import from derivation. Change-Id: I0cffd0e86fd23a749599174260d04269379f4b5f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3114 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-05-12 r/2586 feat(tvl/template): link to atward in footersterni1-0/+2
Change-Id: I929b8344251ceaba5a22c735c599407a0ec162a6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3113 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-05-12 r/2585 refactor(web): common template for index pages of tvl and atwardsterni2-38/+65
Use simple string interpolation based approach to templating and allow changing the main body, the title and to inject extra HTML into the head element. Additionally we can use `https://tvl.fyi/` instead of `/` when referring to assets. One limitation currently is that the template only works for index pages (it link to self using `href="/"`), but this should be easy to fix. For atward, instead of using the `onload` attribute of `body`, we now register an event listener in JavaScript which makes the template code less complicated. When building the derivation the template is rendered to HTML and injected into the source. Change-Id: I2ea0c5bf5f6286e781285ade7751a348bab3bdc8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3112 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-05-11 r/2580 fix(web/tvl): add two pixels to make favicon squareFlorian Klink1-0/+0
Fixes b/126. Change-Id: I5caac45797738bccdbc346288fdf891dafdcefbb Reviewed-on: https://cl.tvl.fyi/c/depot/+/3106 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-04-11 r/2474 feat(tvl): remove aranea from tvl.doteta1-3/+0
I've been told that they don't want to be in this any more, so references are removed in this CL by request. Change-Id: I80a04b714fc57781e57e8dce977d0aec2da4f009 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2927 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: eta <eta@theta.eu.org> Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
2021-03-31 r/2376 chore(web/tvl): Remove some former membersVincent Ambo1-6/+0
Change-Id: I11d3f473142a9b15c5fed6b213c825ccf1c70491 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2714 Reviewed-by: adisbladis <adisbladis@gmail.com> Tested-by: BuildkiteCI
2021-03-31 r/2369 chore(web/tvl): Point footer links at useful thingsVincent Ambo1-3/+5
These were actually just copy&pasted from the layout of my blog (//users/tazjin/blog), even including a dead link. This commit adds more relevant links instead. Change-Id: Ib55aac492f1f9bff650edfa43b52d3d5d611410c Reviewed-on: https://cl.tvl.fyi/c/depot/+/2713 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-03-31 r/2367 revert(web/tvl): Revert 's/The V/tazjin's v/"'Vincent Ambo1-5/+5
This was originally done when "the purge" happened, and I don't think it's quite accurate anymore. This reverts commit 94846503c59b4155cc98280ef1c5cbcf69696ff9. Change-Id: I4be2bccfa68505a2f663ab1695e547321d2dd0b8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2709 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
2021-01-23 r/2140 chore(users/multi): remove user from the depot.multi1-6/+0
This commit removes my user directory in the depot, my user account on whitby, my entry in the LDAP database, and my entry in the website graph. I've had my fun with TVL, but I want to move on to spending time on some other things. This additionally removes aranea from the website graph, which they have requested in private. Change-Id: I2d098c8fe239f20d9f6c6cbf66a3dfb4a955a4cf Reviewed-on: https://cl.tvl.fyi/c/depot/+/2436 Tested-by: BuildkiteCI Reviewed-by: multi <depot@in-addr.xyz> Reviewed-by: lukegb <lukegb@tvl.fyi>
2021-01-19 r/2133 chore: Remove banned userV1-2/+0
Change-Id: Icd61f7c567a327c74a4f381168e94737b2b30702 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2422 Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu> Reviewed-by: tazjin <mail@tazj.in>
2020-10-27 r/1866 feat(web/tvl): graph implrBartosz Stebel1-2/+2
Considered adding hswaw, but after q3k left it'd be a single edge, so perhaps no point. Change-Id: Ifd8609a5227e5c3bee1d5726bb5cf70ebb2cefdf Reviewed-on: https://cl.tvl.fyi/c/depot/+/2053 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2020-10-27 r/1861 fix(web/tvl): Fix TVL graphV1-1/+1
Change-Id: I6ce3be85a0248841837d18fdd4d251729061bfc8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2062 Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: firefly <firefly@firefly.nu> Tested-by: BuildkiteCI
2020-10-20 r/1852 feat(web/tvl): Add graph nodes for AfRA & friendsVincent Ambo1-0/+8
Change-Id: Iac50cea9277167b28695dd908af66548e0e414b1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2052 Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu>
2020-10-20 r/1851 feat(web/tvl): Accommodate the passage of time in TVL's graphVincent Ambo1-17/+15
Some overdue updates: People leaving, people joining. Not all new people are in here yet either, but you have to start somewhere. Change-Id: I66dfae443f60d090c02c619d09c12599b936b2dc Reviewed-on: https://cl.tvl.fyi/c/depot/+/2051 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-12 r/1258 docs(web/tvl): update tvl graphCameron Kingsbury1-2/+9
Change-Id: I60d90f59839bb68a1ae95770c014932e9e7afa51 Reviewed-on: https://cl.tvl.fyi/c/depot/+/940 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2020-06-26 r/1088 fix(tazjin/homepage): Fix configuration settings after page movesVincent Ambo1-3/+3
My personal pages have moved out of //web, and various changes were necessary to keep everything working. Change-Id: I2f81fdd8ba2ce2ce6fea7e329bbdcda6092cc8a6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/604 Reviewed-by: tazjin <mail@tazj.in>
2020-06-24 r/1077 refactor(web/tvl): Point code link to SourcegraphGriffin Smith1-1/+1
Since this is replacing cgit now Change-Id: I72da8cb30ed70445eb90adf38bb24d4f7b9782a8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/573 Reviewed-by: tazjin <mail@tazj.in>