Twitter | Pretraživanje | |
Burak Emir
systems, language, types, logic
409
Tweetovi
91
Pratim
268
Osobe koje vas prate
Tweetovi
Burak Emir 23 h
I like racket but I think it is limiting to think that functional programming techniques apply only in functional languages. Programming is everywhere and things like data models, abstraction, interfaces matter across many languages, it'd be better to emphasize that IMHO.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir proslijedio/la je tweet
rabble 4. velj
If you want to understand what happened with Shadow and the failure of the Iowa Caucus app you have to understand how electoral campaign tech work is done and funded. Let me tell you a story to make sense of it.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 4. velj
Odgovor korisniku/ci @_julesh_ @8ryceClarke i 2 ostali
You are right, so hom(X,Y) is in fact already {{}} when X or Y is {} and I was arguing against my own misunderstanding. Thanks for bearing with me. I know remember why I prefer type theory to set theory :o
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 4. velj
Odgovor korisniku/ci @_julesh_ @8ryceClarke i 2 ostali
Should hom({}, {}) not contain the identity for {}? The set of subsets of XxY with the function property is empty when X or Y is, but hom(X, Y) should contain the 'empty function.' Adding an extra "set of" to handle {} as special case probably works.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 4. velj
Odgovor korisniku/ci @_julesh_ @8ryceClarke i 2 ostali
The pair of empty sets would like to have a word with you.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 4. velj
"All professional education teaches the skills of the profession by critiqued practice. " Educating the Reflective Practioner Donald Schon [1984] Cited by Fred Brooks 'Teaching as Design'. Yes, the same Fred Brooks who wrote 'The Mythical Man-Month'
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 3. velj
Tried to write a tutorial relating algebraic type theory (syntax) and the "corresponding" cartesian categories. This isn't easy. Everything "goes too far" in way. I found some comfort in this page:
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 3. velj
Odgovor korisniku/ci @rob_rix
Well, that the model really accurately serves anything one wanted with the wrong preconception, of course. Like those elaborate things that were thought out to prove that the sun revolves around the earth.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 2. velj
Odgovor korisniku/ci @burakemir
"right", but the consensus on what constitutes the purpose of the modeling activity changed. This explains paradigm shift / "scientific revolution", "anything goes" but also ongoing debates. kthnxbye. 6/n=6
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 2. velj
Odgovor korisniku/ci @burakemir
or formal verifiability or concerns of ethical nature is not isolated from the question of purpose. Finally IV) The whole activity of modeling can "go wrong" in multiple ways: the pre-conceived "reality" is wrong, or the reality is right but the model is wrong, or both are 5/n
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 2. velj
Odgovor korisniku/ci @burakemir
the definition/positions of their colleagues match theirs, and many kinds of science are going to be subjective and not interesting. III) Once some notion of scientific purpose is fixed, it becomes possible to talk about "better" models. The value of reproducibility 4/n
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 2. velj
Odgovor korisniku/ci @burakemir
but by including the purpose, we admit that have different interests that they may legitimately express. We admit climate denial science, and how-can-I-construct-a-research-problem-that-I-can-get-funding-for kind of science. Actors need to constantly re-evaluate 3/n
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 2. velj
Odgovor korisniku/ci @burakemir
... reality it aims to capture, and that any model has a purpose. II) Scientists are those actors engaging in "scientific models", which we will simply define as having "scientific purpose". One may argue that I have just escaped the definition of science and scientists here, 2/n
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 2. velj
The only philosophy we will ever need: I) A model is an image of "some reality". Whether that reality is "objective", fictional, another model is of no concern here. What is of concern is that a model leaves out some parts of the ... 1/2
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 1. velj
Is philosophy of math not cozy, about platonism, formalism, logicism and intuitionism. It is philosophy of science that is messier. The world is pretty screwed up, so 'searching for objective truth' now appears naïve. Some seek knowledge for the sake of it, others to gain power.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 1. velj
Odgovor korisniku/ci @ejpatters @XenaProject
Science is a Good Thing but it can be instrumentalized, like religion. Math - applied math if you will - is not completely isolated from the problems of positivist philosophy, the Manhattan project and the rise of behaviorism in education.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 1. velj
Odgovor korisniku/ci @ejpatters @XenaProject
I think it is a very good thing to ask "is this science?" as long as it is done in the conscience that it cannot be fully and adequately answered. People won't agree on philosophy of science before doing science. Better IMHO to look at the pragmatic aspects, intentions, actors.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 1. velj
Odgovor korisniku/ci @ejpatters @XenaProject
It seems whenever there is a trade-off or hard decision - in this case, about use of formal, checked proof - there will be people not just taking sides, but elevating their choice into a concept providing identity, philosophy, or moral.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 31. sij
Rowan Davies, Frank Pfenning. A Modal Analysis of Staged Computation.
Reply Retweet Označi sa "sviđa mi se"
Burak Emir 31. sij
Martin Odersky, Matthias Zenger, Christoph Zenger. Colored Local Type Inference.
Reply Retweet Označi sa "sviđa mi se"