tristramb

6 ms·

31.
by tristramb 1y ago
Yes. When you are specifying a system you are building the category that you want it to live in.
32.
by tristramb 1y ago
Take a mapping a and precompose it with the identity mapping i. By the definition of the identity mapping the resulting composition is equal to a. i;a = a (Here ';' represents forward composition. Mathematicians tend to use
33.
by tristramb 1y ago
So category theory is really the theory of composition of mappings. I conjecture that all programming can be seen as just the composition of mappings. If this is correct then category theory is a theory of programming.
34.
by tristramb 1y ago
Category theory is what you get when you take mappings instead of sets as the primitive objects of your universe. At first this might seem a perverse thing to do as mappings seem more complex than sets, but that is just because traditionall
35.
by tristramb 1y ago
I would have thought that being superrich would free you from worrying about 'optimizing your taxes'.
36.
by tristramb 1y ago
..or for non-professional who want to mislead people into thinking that they have those credentials and expertise.
37.
by tristramb 1y ago
And I wouldn't expect it to be, given that were are the product of billions of years of an evolutionary process that has relied on 'scrap and rebuild from scratch' as a mechanism to control errors.
38.
by tristramb 1y ago
But that doesn't mean that it will be economically feasible.
39.
by tristramb 1y ago
And what do their insurance companies think about this?
40.
by tristramb 1y ago
Just look at Youtube.
41.
by tristramb 1y ago
This is how most of The Web was in the early days, with some of the clunkiness smoothed out.
42.
by tristramb 1y ago
I used to avoid the Discworld books because the first one I listened to as an audiobook had too many squeaky-voiced characters in it. But a few years later I read Mort and really liked it (might be something to do with the father-daughter r
43.
by tristramb 1y ago
Off topic but... "Zeynep Devrİm Gürsel" is one cool name. Sounds like she should be the heroine in an Iain M. Banks Culture novel.
44.
by tristramb 1y ago
I agree with you in that decisions like this are always the outcome of multiple forces pushing different ways. But I would lean more to thinking it would have been very difficult for Trueman to have not ordered the use of the bombs. It woul
45.
by tristramb 1y ago
All programming is just function composition. This is an idea that I got from studying category theory. Concatenative programming is just a first step in that direction. I leave the details an an exercise for the reader.
46.
by tristramb 1y ago
The 1913 edition will also have the advantage of not being polluted by AI-based definitions.
47.
by tristramb 1y ago
There are many other red supergiants in the sky, some of which have long secondary periods that could be due to close-in companion stars. For example Mu Cephei has a 12 year periodicity.
48.
by tristramb 1y ago
In my estimation this is amost certainly correct. It accounts for most if not all of the observed properties of these objects. The other suggestions only ever account for one or two. But lazy journalists, aided by AI, will no doubt continue
49.
by tristramb 1y ago
The idea that you should design programs with proof in mind goes back to T. J. Dekker's solution to the mutual exclusion problem in 1959. The story is told by Edgser Dijkstra in EWD1303 ( https://www.cs.utexas.edu/~EWD&#
50.
by tristramb 1y ago
‘In passing by the side of Mount Thai, Confucius came on a woman who was weeping bitterly by a grave. The Master pressed forward and drove quickly to her; then he sent Tze-lu to question her. “Your wailing,” said he, “is that of one who has
51.
by tristramb 1y ago
This is exactly the sort of behaviour you would expect from a greedy manipulative bully.
52.
by tristramb 1y ago
There are some things that you should not be tolerated. Greedy, manipulative, lying bullies are one of those things.
53.
by tristramb 1y ago
And 'summon' is just used for demons.
54.
by tristramb 1y ago
Back in 1987 I was standing outside Thorns Bookshop in Newcastle upon Tyne. In its window was a display of books by Professor Paul C. W. Davies. I was saying to someone beside me that Davies wrote too many books for them to be any good. The
55.
by tristramb 1y ago
And for extra credit, create it using an LLM.
56.
by tristramb 1y ago
Microtransactions for viewing news would just start a flood of AI generated sludge designed purely to harvest those microtransactions.
57.
by tristramb 1y ago
You might also appreciate W. W. Morgan's account of his discovery of the Perseus Spiral Arm of our Galaxy in his observational data on OB stars: "This was in the fall of 1951, and I was walking between the observatory and home, wh
58.
by tristramb 1y ago
Estimating location from hearing Big Ben strike thirteen: https://www.mscroggs.co.uk/blog/44
59.
by tristramb 1y ago
Have you any figures that indicate that is an issue?
60.
by tristramb 1y ago
Efforts are already underway to convert it to Rust!

More ›