My thanks OVERFLOWS. For those who are 'older but not quite
Learn U Agda vs 'wiser strategies' HELPFUL.
Think eric raymond and too bad that perl is just another dead language -- your wisdom though as recompense.
When you are older, it becomes EASIER for crunchfit and yes,
it sometimes becomes harder to exercise to point of vomit -
"ad nauseum' in Latin, but the pain is much easier.
Don't you do three hundred (300) pushups a day?
So, the routine is simple. Get stuck running Haskell (another bump on the road to the true language of Coq)
- go ahead and flame - do the pushups. Then laugh
cause it releaxes and then refrshed back to AGDA.
PS. Engineering school was arduous and graduate school.
The personal private books/research were just hobbies and no
I will not mention my name. Even the so-called Yourdon
'death marches' are just a bump on the road.
It's worse than some females - over the period of a 'big city man.' - go ahead flame - Just take code from arxiv,
run it in Haskell and Agda and there are only three explanations
1.)the programmer is stupdi - yup that's me
2.)scientific fraud - always possible
3.)the 'compiler' or the strange AMD CPU is fickle in a
feminine way?
4.)the language paradigm is 'slightly broken.'
5.) all of the above
Fair Warning and Serpents be Here. Haskell, Agda and even
Coq are DEFINED as EXPERIMENTAL RESEARCH Languages.
Of course, you can always go Python (which version?) and
Javascript, which is the bubble gum and string that holds
together the Internet.. along with BAsh shellshock.
It this why they call it a bit of 'hacking'?
PPS. learn to ride bicycle in big city and survived with
most of my fingers intact.
Think eric raymond and too bad that perl is just another dead language -- your wisdom though as recompense. When you are older, it becomes EASIER for crunchfit and yes, it sometimes becomes harder to exercise to point of vomit - "ad nauseum' in Latin, but the pain is much easier. Don't you do three hundred (300) pushups a day?
So, the routine is simple. Get stuck running Haskell (another bump on the road to the true language of Coq) - go ahead and flame - do the pushups. Then laugh cause it releaxes and then refrshed back to AGDA.
PS. Engineering school was arduous and graduate school. The personal private books/research were just hobbies and no I will not mention my name. Even the so-called Yourdon 'death marches' are just a bump on the road.
It's worse than some females - over the period of a 'big city man.' - go ahead flame - Just take code from arxiv, run it in Haskell and Agda and there are only three explanations 1.)the programmer is stupdi - yup that's me 2.)scientific fraud - always possible 3.)the 'compiler' or the strange AMD CPU is fickle in a feminine way? 4.)the language paradigm is 'slightly broken.' 5.) all of the above
Fair Warning and Serpents be Here. Haskell, Agda and even Coq are DEFINED as EXPERIMENTAL RESEARCH Languages. Of course, you can always go Python (which version?) and Javascript, which is the bubble gum and string that holds together the Internet.. along with BAsh shellshock.
It this why they call it a bit of 'hacking'? PPS. learn to ride bicycle in big city and survived with most of my fingers intact.