Recent content on Gunnar Þór Magnússon
I want to use Nix flakes for some projects at work. Those projects live in private Gitlab repositories that I use SSH keys to access. Furthermore, the project layout doesn’t mirror the usual GitHub namespace/project convention, but is something more like Company/Prefix/Username/Something/project . Nix’s flake input mechanisms do not like this, and figuring out how to get them to cooperate was a…
It is well-known that the curvature properties of Kähler metrics 'flow downward'. To give meaning to this statement, let us say that a tensor \( \alpha \) dominates a tensor \( \beta \) if any of the following implications hold: \begin{align*} \alpha > 0 &\implies \beta > 0, & \alpha &\geq 0 \implies \beta \geq 0, \\ \alpha < 0 &\implies \beta < 0, & \alpha &\leq 0 \implies \beta \leq 0.…
If \(R\) is the curvature tensor of a Kähler metric, we define its holomorphic sectional curvature to be \[ H(x) = R(x, \bar x, x, \bar x) / |x|^4 \] for nonzero \(x\). If \( (e_1, \ldots, e_n) \) is a frame of the tangent bundle that is orthonormal at the center of a coordinate system, we also define the scalar curvature of \( R \) at the center to be \[ s = \sum_{j,k=1}^n R(e_j, \bar e_j, e_k,…
Suppose our job is to design a rate limiting system. It could be embedded in a service or be a service of its own. Given some details about a request from which we build a source identifier (an IP address is popular and we may assume that in what follows) our system should check how many requests have been made from that identifier in some interval of time and allow or deny the request based on…
Let \(V\) be a real finite-dimensional vector space, and let \(\bigwedge^\bullet V\) be the exterior algebra of \(V\). An inner product on \(V\) induces inner products on each component \(\bigwedge^k V\) of the exterior algebra. Recall that we have the exterior product \[ \bigwedge{}^{p} V \times \bigwedge{}^{q} V \to \bigwedge{}^{p+q} V, \quad (u, v) \mapsto u \wedge v. \] Since all the spaces…
In the category of 'people whose work ethic and output I can only envy from afar while failing to do anything of value', Protesilaos Stavrou takes the lead with his video Emacs is my 'favourite Emacs package' in which he demonstrates how bananas well he has come to understand Emacs in the single year (!!!) he has used it.
Anscombe’s quartet is a collection of four data sets of points in the plane. When graphed the data sets are obviously very different, but they have identical sets of descriptive statistics. Newer variations on the same theme include the delightful Datasaurus dozen , which includes animations of deformations from one step into another where the descriptive statistics are kept identical during the…
The trolley problem asks how to decide between the lives of people in two groups. At the moment, it comes up in our industry in discussions around self-driving cars: Suppose a car gets into a situation where it must risk injuring either its passengers or pedestrians; which ones should it prioritize saving? Always choosing one group leads to suboptimal outcomes. If we always save the pedestrians,…
I’m pleased to announce the release of my new card-drawing game Infosec . The rules of the game are simple. It is for two or more players. The player with the fewest friends is the Infosec Expert; the other players are the Coworkers. To start, the Infosec Expert deals three cards face down from a standard deck of cards. The Coworker on the Infosec Expert’s right hand should draw one card. 'Which…
Like so many things I’m supposed to do but don’t — getting exercise, eating right, sleeping well, standing up for women and minorities in public spaces — backing up my data has always been something I’ve half-assed at best. I’ve lugged around an external hard drive with a few hundred gigabytes of data for the last 10 years, and made backups to it once every three or four years or so. Every time…
A common theme among the people who fall in love with Nix (or its cousin NixOS ) is that they want it to manage everything for them. Finding out the limits of that capability and where it breaks down is part of each’s journey. An obvious enough limit to Nix’s reach is secret management. It can easily handle public keys, SSH or cryptographic ones, but the private keys cannot be managed by its store…
The path of least resistance to commandline flag parsing in Go is to use the flag package from the standard library. A lot of times the result looks like this: func main() { help := flags.Bool('help', false, 'HALP') frobinate := flags.Int('frobinate', 0, 'Amount to frobinate by') blargalarg := flags.String('blargalarg', '', 'Social media comment') // [713 variables later] flag.Parse() // Much…
I got picked in Kleroteria a couple of months ago. This is my contribution. Three years ago, my wife and I moved to Amsterdam. We wanted to have kids, and thought the Netherlands was a better place to do that than Mexico, where my wife is from and we lived. We’ve both moved around a lot, and have picked up the languages of the places we’ve lived. That’s how we speak French and Spanish, along with…
It is OK not to do all of these things for a given bug. Some bugs are trivial, or nontrivial to reproduce or write tests for. But you should explicitly decide not to do some of these things for any given bug, and be able to explain why. Is there a (possibly old, closed) issue for the bug? Can you reproduce the bug manually? Can you write a regression test for the bug? Did you check that your…
Have you ever found yourself using Git and thinking 'This is great, but I wish these filesystem operations were read-only and ten times slower?'. Well, friend, do I have news for you. API of a Golang codebase at different times in its history. To do this, I figured I’d clone the repo, check out commit A and analyze it, then check out commit B and analyze that, and boo! Hiss! That’s inelegant and…
My Lyttle Lytton entry for 2020: 'Actually, you do like this,' maverick CEO Eric Davies, Ph.D., insisted as he pulled my foreskin back and cunnilingussed my pee hole. I’m not exactly proud of it, but I’m glad it’s no longer in my head.
It’s hot tonight, and this is going to be mostly the whiskey talking while I wait for it to get cool enough to sleep. I’ve killed the mosquitos I’ve seen, however, so until then I have only Haskell to keep me company. This morning, tef tweeted about monads , which sent the Haskell pack his way with barks of not getting it. Just now, pinboard was reminded of some guy’s rage against Esperanto , from…
Here’s something I thought of when I couldn’t sleep last night. The curvature tensor of a Kähler metric can be viewed as a Hermitian form on \(\bigwedge^{1,1} T_X^*\) by mapping \(\operatorname{End} T_X \to \bigwedge^{1,1} T_X^*\) via the metric. If we’re on a compact Kähler manifold with zero first Chern class, then for each Kähler class \(\omega\) and \((1,1)\)-classes \(u, v\), we can pick the…
I only have time to work on the arXiv project so often, so I’m taking a lot of time between sessions to think about what I’m doing. When I look at my system design notes, I feel like all the decisions I’m making are the obvious choices, but they also were not at all obvious when I started thinking about them. It’s a good feeling.
I haven’t made a lot of progress on my projects. I did create a Scaleway VM and shoved an OAI harvester on there that’s happily downloading the arXiv’s backlog of metadata. I can also parse the XML it fetches, and have some ideas about how I’m going to store it. This lack of progress mostly comes from me being nerd-sniped into thinking about bounded queues under load. My old work project wanted to…
Point: You should not ignore the Mastodon social network any more . Counterpoint: I truly, madly, deeply want to ignore all new and existing social networks.
To motivate me to actually finish some of the projects I start, I’m going to try announcing them to the world. Shame me into finishing these: A nicer arXiv frontend of daily new additions. A modern typesetting of Beauville’s Surfaces algebriques complexes . Shame. Shame. Shame.
Suppose we have an HTTP service. The behaviour of service depends on some configuration that may change at runtime; it may reload a static configuration file on SIGHUP , need to react to changes in its service discovery mechanism, or have A/B test state or features toggled on and off. In Go, a naive way of handling this is by writing our configuration state to a struct and updating it in…
Sorrí með mig, síðasta vika er búin að vera svo leiðinleg að ég hef ekki haft neinn tíma til að skynsemast. Ég var á klósettinu í meira eða minna viku út af vafasömum næringarákvörðunum um síðustu helgi. Ofan á það bættist sápuóperulegt drama frá ákveðnum meðlim fjölskyldu kærustu minnar. Og í gær rændi einhver rafgeyminum úr bílnum okkar, svo allur dagurinn fór í að fá nýjan rafgeymi, keðju og…
Kæru lesendur, ef ég lærði eitthvað um helgina var það að kaupa ekki mat sem inniheldur kjöt úti á götu í litlum, sætum fjallaþorpum í Mexíkó. Eftir á að hyggja veit ég ekki af hverju ég gat ekki sagt mér það sjálfur fyrirfram. Í öðrum fréttum virðist umræða á Íslandi hafa verið óvenjulega yfirveguð síðustu daga. Jú, Vigdís Hauksdóttir og Bubbi Morthens tjáðu sig en aðrir ummælendur eru löngu…
Ég skrifaði ekkert í gær því ég var í brúðkaupi. Í dag er ég veikur. Við sjáum til á morgun.
Hver er vinsælasti kvenrithöfundur heims? Hver er um leið áhrifamesti kvenheimspekingur heims? Hún er rússnesk-bandaríski rithöfundurinn Ayn Rand, en bækur hennar hafa selst í 30 milljónum eintaka um allan heim. Svo ritar Hannes Hólmsteinn Gissurarson á Pressunni í dag . Markmið Hannesar er að auglýsa útkomu íslenskrar þýðingar á skáldsögu Rand We the living , sem þýðandi ákvað að kalla Kira…
Síðan ég byrjaði að lesa leiðara Morgunblaðsins hefur mig langað að skoða einhvern þeirra betur hér. Það er ekki vandkvæðalaust, því leiðararnir skiptast í tvo flokka. Í öðrum er talað af rósemi og skoðanir viðraðar með vísun í rök og ég hef ekkert út á þá leiðara að setja. Í hinum fara höfundar eins og kettir í kringum heitan graut, nefna fá ef einhver nöfn eða hugmyndir og skjóta ómerkilega á…
Góðvinur minn og fyrirmynd Björn Bjarnason skrifaði í gær pistil á vef Evrópuvaktarinnar . Tilefnið var Youtube myndband Láru Hönnu Einarsdóttur, fyrrverandi blaðamanns og núverandi varaformanns í stjórn RÚV, þar sem hún gagnrýndi nýjan sunnudagsþátt Gísla Marteins Baldurssonar. (Sanngirnissvigi: Svo jafnt gangi yfir alla skal ég taka fram að ég er ekki sáttur við allt í myndbandi Láru; sumar…
Um helgina birtist leiðarinn Það sem þig raunverulega langar eftir Ólaf Þ. Stephensen í Fréttablaðinu. Ólafur er ritstjóri Fréttablaðsins, fyrir þá sem ekki vissu. Í þessari grein talar Ólafur fyrir því að veitur eins og Hulu og Netflix séu og verði lokaðar fyrir íslenskum neytendum, því noktun þeirra brjóti í bága við höfundarréttarlög. Athugið að Ólafur leggur ekki til að breyta…
Þegar rignir, þá hellirignir. Í gær fann ég engar rökvillur sem ég gat hugsað mér að tala um en í dag flæðir á þeirra yfir bakka sína og útbíar okkur upp að hnjám. Skrifum þetta flóð í bili upp á almenna föstudagsstemmingu. Við fáum tvo aðskilda mola í dag: (1) Erlendar IP tölur stela störfum og konum okkar Fyrst er frétt Vísi.is sem ber fyrirsögnina Bjóða útlendar IP tölur sem nota má til að hala…
Þegar ég byrjaði á þessu bloggi ákvað ég að taka aðeins fyrir skrif hvers dags fyrir sig en leggjast ekki í fornleifauppgröft á rökvillum. Það verkefni tæki aldrei enda. Því hlaut að koma að því að einhvern daginn fyndi ég ekkert til að tala um; fallegur og fullkominn dagur þar sem engin rökvilla sem tekur því að tala um var framin í íslenskri umræðu. Ef mér skjátlast ekki er sá dagur í dag. Eins…
Guðbjörg Snót Jónsdóttir er ekki hamingjusöm í Morgunblaðinu í dag: Það kom nýlega fram í fréttum, hvað Kirkjuráð hefur verið að gera. Þeir ætla sér að ausa stórfé í þessa svokölluðu miðaldadómkirkju, og það á sama tíma og margar sóknir eru nærri gjaldþrota og geta vart sinnt því starfi, sem þær eiga að sinna, eins og kom fram í grein eftir sr. Gísla Jónasson, prófast, hér í blaðinu í sumar. Þeir…
Stefán Gunnar Sveinsson, höfundur Frá Kasakstan til Dýrafjarðar sem ég fjallaði um í gær, hafði samband við mig í dag. Hann benti mér góðfúslega á að í pistli hans er utanríkisráðherra aldrei borinn saman við Steve Jobs, Henry Ford og Thomas Edison, og útskýrði frekar að markmið hans hafi verið að kalla eftir málefnalegum umræðum í stað hrópa um afsagnir á litlum sem engum forsendum. Ég gerði…
Við ætlum að breyta aðeins frá hefðbundinni dagskrá í dag. Í staðinn fyrir að skoða texta og benda á rökvillur í honum ætlum við að lesa textann á aðeins hærra plani og meta röksemdafærslur í honum í heild sinni. Þetta er ekki alveg sami hluturinn; að finna rökvillu er eins og að finna tvo víra í húsi sem ekki eru tengdir saman og leiða engan rafstraum sín á milli en að skoða röksemdafærslu er að…
Nýlega mistókst utanríkisráðherra vorum að bera fram nafn landsins Kasakstan við opinbert tilefni. Þetta er neyðarlegt mjög fyrir ráðherrann, sem hefur verið gagnrýndur fyrir reynsluleysi og vanþekkingu á viðfangsefni ráðuneyti síns: útlöndum. Stefán Gunnar Sveinsson tekur upp hanskann fyrir ráðherrann í Morgunblaðinu í dag: Barack Obama hefur heimsótt öll 58 ríki Bandaríkjanna. Dan Quayle sagði…
Fallegasta orð íslenkrar tungu finnst mér vera 'heimska'. Það lýsir viðfangsefni sínu svo ótrúlega vel. Að vera heimskur er að hafa sleggjudóma um efni sem maður þekkir ekki og neita að fullnægja grunnforvitni sinni um heiminn. Besta leiðin til að verða svona er að halda sig heima hjá sér, trúa því sem manni er sagt og skoða heiminn ekki sjálfur. Því er þessu ástandi svo vel lýst með 'heimsku';…
Viðar Guðjohnsen skrifar grein í Morgunblaðið í dag þar sem hann talar um samgöngur í Reykjavík. Þar sem ólíklegt er að allir lesendur hér séu áskrifendur að Morgunblaðinu og mér finnst ósanngjarnt að tala um hluti sem ekki allir geta lesið læt ég grein Viðars fylgja hér fyrir neðan. Ég held við getum flest verið sammála upphafsorðum Viðars: Ekki þarf að skoða meira en eins dags mælingu á…
Látum oss í dag byrja á ómálefnalegu niðurrakki. Ég hata markaðsfólk. Ég hef óbeit á þessu innantóma feel-good pakki sem býr ekki til neitt og eyðir tíma sínum í að pússa TED sýningarnar, LinkedIn prófælana og Twitter fóðrið sitt. Að hlusta á orðræðu markaðsmanneskju er í besta falli eins og að borða kassa af kókosbollum; eftir á liggur maður á gólfinu, finnur kaldan svita og svima af…
Hin daglega rökvilla er í boði Halldórs Halldórssonar (einnig þekktur sem Dóri DNA). Ég er ekki ósammála mörgu í pistli hans á vísi.is, en vegna dræmrar rökvilluveiði í dag verðum við að tala um það sem hægt er. Eins og titillinn „Skoðanasamfélagið“ ber með sér fjallar pistillinn um umræðu á Íslandi. Sú hugmynd sem Halldór minnir á og ver er að ekki allar skoðanir séu jafngildar. Við hittum…
Guðmundur Andri Thorsson skrifar pistil á vísi.is í dag. Hann má lesa í heild sinni hér . Markmið þessa pistils er að sannfæra okkur, lesendur, um að á Vogi sé hin góða barátta gegn alkahólisma á Íslandi unnin. Athugum hvernig Guðmundi tekst til. Guðmundur skiptir pistli sínum í þrjá hluta eins og klassískt er. Fyrsti hluti hans kynnir málefnið sem á að tala um, en ekki áður en hann gerir tilraun…
Kæru vinir, Mér er annt um rökfræði. Ekki bara þurru og akademísku tegund hennar, heldur hvernig henni er beitt í daglegu lífi. Ýmsir aðilar beita henni til að sannfæra okkur um að hitt og þetta sé rétt; henni er otað til í umræðum um flugvelli, spítala, fjármál, borgarskipulag, cha-cha-cha og allt. Vandamálið er að þeir sem beita rökfræði á almennum vettvangi fara oft illa með hana. Þeir skera að…
There’s a type of citation that we should agree to kill. Come on, let’s light torches, strew gasoline on the ground, lock the children in the barn for their protection, and hope that our plan doesn’t have any unintended consequences. I speak of the hated 'personal communication': ..., which is a consequence of uber fancy dream result [85]. [85] McSwanky, M. Personal communication. This annoys the…
… hingað . Nýja síðan verður meira að segja uppfærð! Ég lofa!
The title of a paper I’m working on includes the words 'colored Jones polynomial'. Every time, every single time I see it a voice in my head goes: <img class='aligncenter' alt='' src='http://www.clevescene.com/binary/3e89/1349813923-thats-racist.gif' width='265' height='236' />
One of the authors of a paper I’m working on is called 'Hurtubise'. I can’t help but pronounce his name with a French accent in my head. Heeuuuuurtubeeeeze. If he was my rival for the affections of a woman I wouldn’t pull any punches. Dirt would get thrown. I’d make a youtube video of Boy George’s classic 'Do you really want to hurt me', but change the chorus lyrics to 'Do you really want…
Ítalski meðleigjandinn minn var að vakna á hádegi á sunnudegi. Hún er búin að ráfa fram og aftur úr stofunni síðasta hálftímann, dæsa og reyna að myrða lyklaborðið á símanum sínum. Ég geri ráð fyrir að hún hafi hætt með jólafrísstráknum sínum í gærkvöldi. Ég geri ráð fyrir því, en ég mun ekki spyrja út í það undir neinum kringumstæðum. Ekki að mér sé sama um andlega líðan hennar, en ég nenni…
Á eftir fer ég í helgarferð til Grenoble. Hjá heilbrigðu fólki hefði staðið 'Á morgun …', en við vitum öll hvers konar bransi er stundaður hér. Eftir fjóra klukkutíma þarf ég að vakna og taka lest til að taka rútu einhvert, sem væri allt í lagi ef ég hefði ekki farið út að drekka með félaga mínum eftir kóræfingu okkar. Ó, þú spillta líf. Ég myndi lofa að eyða helginni í heilbrigðari hluti, en ég…
Sem betur fer er Montpellier við Miðjarðahafið, svo hér er alltaf gott veður. Þetta er ákveðin nauðsyn, því við erum ekki ennþá komin með internet í íbúðinni okkar. Ég vinn að heiman gegnum netið, svo þetta skapar visst vandamál. Hingað til hefur mín lausn verið að brjótast inn í þráðlausa netið hjá nágrönnum mínum og vinna þaðan. Þetta er hin besta lausn, nema að ég næ netinu þeirra aðeins frá…
Til allrar hamingju var 'First day of my life' með Bright Eyes að detta inn í slembilistann sem er í gangi heima. Það minnir mig á þegar ég bjó niðri í miðbæ í stórri íbúð með góðu fólki. Í kvöld er lognið á undan storminum. Á næstu viku þarf ég að finna íbúð í Montpellier, skila 20 tímum af ritstjórnarvinnu, skrá mig aftur í doktorsnám til þess eins að verja, og koma við í Marseille til að standa…