gylterud

13 ms·

61.
by gylterud 1y ago
Since games are all about artistic expression and entertainment, I would say yes, it matters to the end users. The thing is, if you don't have your hand in the code details you might not know the directions it can be taken (and which i
62.
by gylterud 1y ago
I love writing shaders and manually shovelling arrays into the graphics card as much as anyone, and I know first hand how this will give the game very much your own style. But is that the direction LLM coding goes? My experience is that LLM
63.
by gylterud 1y ago
For sure there would have to be a meta theory of some sort. But, I think that many classical mathematicians would be happy with that meta theory to be weaker, rather than stronger. I don't think there is a need for that theory to have
64.
by gylterud 1y ago
ASI meaning Artificial Super Intelligence, I guess.
65.
by gylterud 1y ago
I haven’t tried every version of make there is, but a few things about mk off the top of my head: - Readability: $target, $prereq, $stem is much easier to read than Make’s $@, $<. Any white space can be used to indent. - Flags after the
66.
by gylterud 1y ago
I love the make reimagination in plan 9: mk. In my experience ok is easier and slightly saner than make. On unix like systems you can get it from plan9port, along with other gems, such as acme. https://plan9.io/sys/doc&
67.
by gylterud 1y ago
Bringing in computability from an external point of view is a mistake here. Markov had no issue with a. He would only disagree with b.
68.
by gylterud 1y ago
There is nothing uncomputable with the cantor diagonalisation. The Russians gladly accept it, I assure you. Here is a Haskell implementation: diag :: (nat -> (nat -> Bool)) -> (nat -> Bool) diag f n = not (f n n) The following a
69.
by gylterud 1y ago
I would suggest Bishop’s Constructive Analysis. And a plug: I have a formalisation of models of constructive set theory in Homotopy Type Theory here: https://git.app.uib.no/hott/hott-set-theory
70.
by gylterud 1y ago
I agree, but I also want to clarify that cantors argument was about subsets of the naturals (N), or more precisely functions from N to Bool (the decidable subsets). This is where the diagonal argument makes sense. So to conclude that there
71.
by gylterud 1y ago
Category theory gives a structural framework for discussing these things. The various categories live side by side and can be related with functors. This allows a broader view and makes it easier perhaps, to understand that there isn’t a ri
72.
by gylterud 1y ago
In Haskell, I see mtl and algebraic effects (say freer-simple) as giving you the same kind of expressiveness. The difference to me is that for mtl you need to figure out and abstract a new type class for every kind of effect and then write
73.
by gylterud 1y ago
But the point is justice for the people put through curt. It does not matter to them whose mistake it was.
74.
by gylterud 2y ago
There are many axiom systems for natural numbers. My favorites are 1. Heyting Arithmetic, and 2. In category theory, one can characterise the natural numbers and the initial algebra of the X |–> X+1. functor.
75.
by gylterud 2y ago
I have always done both. Both as a child and now with my children. We buy the sets and build them when they are new. They stay intact for a while, but eventually they get extended, rebuilt and eventually join entropy in a big box. Then from
76.
by gylterud 2y ago
Vavr is nice! But I understand the want to make the get exception checked. It makes it so that you can use try/catch as a Java-man’s do-notation, and not fear having forgotten to deal with the None case. You can then make lots of utili
77.
by gylterud 2y ago
And on the Nordic countries you are employed and given a living wage while doing a PhD.
78.
by gylterud 2y ago
My youngest is fascinated by squares at the moment. Luckily for him, he is 4 years old, his older brother is 9, while I just turned 36. He will be delighted when I tell him that we are entering 45 squared!
79.
by gylterud 2y ago
It is interesting that HN commentators spotted this, while peer review didn’t. I often get great comments from peer review, but I used to worry that some critical mistake would be missed (one time there was!). My work is purely theoretical,
80.
by gylterud 2y ago
This is also what Agda does (though \ is synonymous).
81.
by gylterud 2y ago
I would like to point out that there is an implicit assumption here that we actually need a ticket system for public transport. The general concept is “the cost of the price”. Which is something to consider for public goods. If the prices w
82.
Applicative Logic(hakon.gylterud.net)
2 points by gylterud 2y ago|0 comments
83.
by gylterud 2y ago
Norway. At least most buildings where people live. That’s not exactly the same statement that most people live in wood buildings, since more people can live in a single concrete block. But I would venture that at least half the population l
84.
by gylterud 3y ago
In programming, a functor is a structure with “elements” which you can apply a function to. The idea is that the type of elements is a parameter, called A, say. Then you use functorialty to change all the elements to something of a differen
85.
by gylterud 3y ago
People are replying asking "Why call it Dune then? (If it does not have anything to do with the books)". That wasn't what I was talking about – some imaginary filmatisation which has nothing to do with the book. I was talking
86.
by gylterud 3y ago
Is a film only worth making if it stays accurate to the author’s vision? The books exist and can still be read after films are made. The movie must stand on its own merits. If the filmmakers have their own vision that might make a better fi
87.
by gylterud 3y ago
Yes, this is precisely the intuition I have. The oscillator is running through a waveform with a speed corresponding to its frequency. Frequency modulation speeds it up or slows it down. At negative frequency it goes backwards. With symmetr
88.
by gylterud 3y ago
Instruo Neoni is one oscillator which can do it. I think one can get on VCV rack (which I think is free). The Neoni is demonstrated here: https://youtu.be/kkAagua3NN4 (Symmetric TZFM starts around the 57 minute mark). Here
89.
by gylterud 3y ago
I love through-zero frequency modulation (TZFM). If your oscillator can do TZFM you can bring it’s frequency down to zero, where it stops oscillating and then to “negative frequency” where it starts oscillating again, but with a reversed wa
90.
by gylterud 3y ago
The trick is knowing which ones, and how to find a buyer.

More ›